evaluation

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl
Class evaluation_defns

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.evaluation_defns

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class evaluation_defns
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`evaluation_defns.$cyc_different$UnaryFunction`

Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
`SubLTranslatedFile.SubL`

Field Summary
`static SubLObject`	`$const107$isa`
`static SubLObject`	`$const109$TheSetOf`
`static SubLObject`	`$const110$definingMt`
`static SubLObject`	`$const111$resultIsa`
`static SubLObject`	`$const114$resultGenl`
`static SubLObject`	`$const118$UnaryFunction`
`static SubLObject`	`$const119$IndividualDenotingFunction`
`static SubLObject`	`$const122$geopoliticalSubdivision`
`static SubLObject`	`$const123$State_UnitedStates`
`static SubLObject`	`$const124$CanadianProvince`
`static SubLObject`	`$const149$SchemaObjectFn`
`static SubLObject`	`$const153$City`
`static SubLObject`	`$const154$CityNamedFn`
`static SubLObject`	`$const162$baseSet`
`static SubLObject`	`$const165$orderingRelation`
`static SubLObject`	`$const169$elementOf`
`static SubLObject`	`$const177$genls`
`static SubLObject`	`$const178$assertedUsingTool`
`static SubLObject`	`$const181$AssertionGeneratingRKFTool`
`static SubLObject`	`$const19$EvaluatableFunction`
`static SubLObject`	`$const2$EverythingPSC`
`static SubLObject`	`$const3$evaluationDefn`
`static SubLObject`	`$const4$EvaluatablePredicate`
`static SubLObject`	`$const64$URLFn`
`static SubLObject`	`$const70$TheList`
`static SubLObject`	`$const72$TheSet`
`static SubLObject`	`$const77$Kappa`
`static SubLObject`	`$const82$SymmetricAnatomicalPartType`
`static SubLObject`	`$const83$LeftObjectOfPairFn`
`static SubLObject`	`$const86$RightObjectOfPairFn`
`static SubLObject`	`$const90$Quote`
`static SubLInteger`	`$int128$255`
`static SubLInteger`	`$int134$80`
`static SubLInteger`	`$int33$128`
`static SubLInteger`	`$int47$1000`
`static SubLSymbol`	`$kw133$DEFAULT`
`static SubLSymbol`	`$kw135$PRIVATE`
`static SubLSymbol`	`$kw136$MACHINE`
`static SubLSymbol`	`$kw137$PORT`
`static SubLSymbol`	`$kw138$METHOD`
`static SubLSymbol`	`$kw139$GET`
`static SubLSymbol`	`$kw140$URL`
`static SubLSymbol`	`$kw142$QUERY`
`static SubLSymbol`	`$kw143$KEEP_ALIVE_`
`static SubLSymbol`	`$kw144$WIDE_NEWLINES_`
`static SubLSymbol`	`$kw145$ACCEPT_TYPES`
`static SubLSymbol`	`$kw159$IGNORE_ERRORS_TARGET`
`static SubLSymbol`	`$kw161$BASE_SET`
`static SubLSymbol`	`$kw164$ORDERING_RELATION`
`static SubLSymbol`	`$kw168$ELEMENT`
`static SubLSymbol`	`$kw176$GAF`
`static SubLSymbol`	`$kw194$TEST`
`static SubLSymbol`	`$kw195$OWNER`
`static SubLSymbol`	`$kw196$CLASSES`
`static SubLSymbol`	`$kw197$KB`
`static SubLSymbol`	`$kw198$FULL`
`static SubLSymbol`	`$kw199$WORKING_`
`static SubLSymbol`	`$kw6$UNKNOWN`
`static SubLList`	`$list0`
`static SubLList`	`$list105`
`static SubLList`	`$list156`
`static SubLList`	`$list163`
`static SubLList`	`$list166`
`static SubLList`	`$list200`
`static SubLList`	`$list23`
`static SubLList`	`$list59`
`static SubLList`	`$list60`
`static SubLList`	`$list61`
`static SubLString`	`$str101$WordStringsFn`
`static SubLString`	`$str102$WordSequenceFn`
`static SubLString`	`$str131$charset_utf_8`
`static SubLString`	`$str141$simple_http_get`
`static SubLString`	`$str147$_`
`static SubLString`	`$str148$_`
`static SubLString`	`$str150$_`
`static SubLString`	`$str151$_`
`static SubLString`	`$str16$Could_not_find_constant__A_`
`static SubLString`	`$str17$Arg1_of___FindConstantFn_must_be_`
`static SubLString`	`$str183$_b_`
`static SubLString`	`$str186$term____isg_table_lock`
`static SubLString`	`$str189$term____isg_w__start_table_lock`
`static SubLString`	`$str205$_a_doesn_t_start_with___TheList`
`static SubLString`	$str29$
`static SubLString`	`$str30$_`
`static SubLString`	`$str41$_`
`static SubLString`	`$str62$_`
`static SubLSymbol`	`$sym1$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym10$CYC_SUBSTRING_PREDICATE`
`static SubLSymbol`	`$sym100$CYC_WORD_STRINGS`
`static SubLSymbol`	`$sym103$CYC_STRINGS_OF_WORD_SEQUENCE`
`static SubLSymbol`	`$sym104$CYC_INSTANTIATE`
`static SubLSymbol`	`$sym106$CYC_FIND_OR_INSTANTIATE`
`static SubLSymbol`	`$sym108$_OBJ`
`static SubLSymbol`	`$sym11$CHAR_EQUAL`
`static SubLSymbol`	`$sym112$INDIVIDUAL_DENOTING_FN_`
`static SubLSymbol`	`$sym113$CYC_INDIVIDUAL_DENOTING_UNARY_FUNCTION_FOR`
`static SubLSymbol`	`$sym115$CYC_COLLECTION_DENOTING_UNARY_FUNCTION_FOR`
`static SubLSymbol`	`$sym116$UNARY_FUNCTION_`
`static SubLSymbol`	`$sym117$SKOLEM_FUNCTION_`
`static SubLSymbol`	`$sym12$CYC_SUBSTRING_CASE_INSENSITIVE_PREDICATE`
`static SubLSymbol`	`$sym120$CYC_EL_VARIABLE_FN`
`static SubLSymbol`	`$sym121$CYC_ADD_ENGLISH_SUFFIX`
`static SubLSymbol`	`$sym125$STATE_OR_PROVINCE_FOR_CITY_DEFN`
`static SubLSymbol`	`$sym126$CYC_HTML_URL_ENCODE`
`static SubLSymbol`	`$sym127$CATCH_ERROR_MESSAGE_HANDLER`
`static SubLSymbol`	`$sym129$_`
`static SubLSymbol`	`$sym13$CYC_PREFIX_SUBSTRING`
`static SubLSymbol`	`$sym130$CHAR_CODE`
`static SubLSymbol`	`$sym132$CYC_URL_SOURCE`
`static SubLSymbol`	`$sym14$CYC_SUFFIX_SUBSTRING`
`static SubLSymbol`	`$sym146$CYC_GET_FROM_HTTP_SOURCE`
`static SubLSymbol`	`$sym15$CYC_SUBWORD_PREDICATE`
`static SubLSymbol`	`$sym152$CYC_TERM_URI_FN`
`static SubLSymbol`	`$sym155$CITY_NAMED_FN_DEFN`
`static SubLSymbol`	`$sym157$TEXT_TOPIC_STRUCTURE`
`static SubLSymbol`	`$sym158$EL_LIST_TO_SUBL_LIST`
`static SubLSymbol`	`$sym160$IGNORE_ERRORS_HANDLER`
`static SubLSymbol`	`$sym167$CYC_ORDERING_RESULT`
`static SubLSymbol`	`$sym170$ORDERING__`
`static SubLSymbol`	`$sym171$CYC_SECONDS_SINCE_1970_TO_DATE`
`static SubLSymbol`	`$sym172$CYC_TYPES_MOST_OFTEN_ASSERTED_USING_TOOL`
`static SubLSymbol`	`$sym173$ASSERTION_GENERATING_TOOL_P`
`static SubLSymbol`	`$sym174$NON_NEGATIVE_INTEGER_P`
`static SubLSymbol`	`$sym175$NON_DOTTED_LIST_P`
`static SubLSymbol`	`$sym179$_`
`static SubLSymbol`	`$sym18$CYC_FIND_CONSTANT`
`static SubLSymbol`	`$sym180$CAR`
`static SubLSymbol`	`$sym182$CYC_HTML_FOR_TEXT_CONTAINING_STRINGS`
`static SubLSymbol`	`$sym184$FORMAT`
`static SubLSymbol`	`$sym185$CYC_FORMAT`
`static SubLSymbol`	`$sym187$_TERM_TO_ISG_TABLE_`
`static SubLSymbol`	`$sym188$CYC_NEXT_INTEGER_IN_SEQUENCE`
`static SubLSymbol`	`$sym190$_TERM_TO_ISG_W_START_TABLE_`
`static SubLSymbol`	`$sym191$CYC_NEXT_INTEGER_IN_SEQUENCE_STARTING_AT`
`static SubLSymbol`	`$sym192$UNICODE_NAUT_P`
`static SubLSymbol`	`$sym193$CYC_CONCATENATE_STRINGS`
`static SubLSymbol`	`$sym20$CYC_EVALUATE_SUBL`
`static SubLSymbol`	`$sym201$CYC_TERM_SIMILARITY_METRIC`
`static SubLSymbol`	`$sym202$CYC_KB_ORTHOGONAL`
`static SubLSymbol`	`$sym203$CYC_CONTENT_OF_FILE`
`static SubLSymbol`	`$sym204$CYC_TRANSFORM_RELATION_TUPLES`
`static SubLSymbol`	`$sym21$CYC_STRING_UPCASE`
`static SubLSymbol`	`$sym22$STRING_UPCASE_DEFN`
`static SubLSymbol`	`$sym24$CYC_STRING_DOWNCASE`
`static SubLSymbol`	`$sym25$CYC_SUBSTRING`
`static SubLSymbol`	`$sym26$STRINGP`
`static SubLSymbol`	`$sym27$CCONCATENATE`
`static SubLSymbol`	`$sym28$CYC_STRING_CONCAT`
`static SubLSymbol`	`$sym31$CYC_STRINGS_TO_PHRASE`
`static SubLSymbol`	`$sym32$CYC_PRE_REMOVE`
`static SubLSymbol`	`$sym34$__`
`static SubLSymbol`	`$sym35$CYC_REPLACE_SUBSTRING`
`static SubLSymbol`	`$sym36$CYC_REMOVE_SUBSTRING`
`static SubLSymbol`	`$sym37$CYC_POST_REMOVE`
`static SubLSymbol`	`$sym38$CYC_TRIM_WHITESPACE`
`static SubLSymbol`	`$sym39$CYC_STRING_SEARCH`
`static SubLSymbol`	`$sym40$CYC_LENGTH`
`static SubLSymbol`	`$sym42$CYC_STRING_TO_INTEGER`
`static SubLSymbol`	`$sym43$CYC_INTEGER_TO_STRING`
`static SubLSymbol`	`$sym44$CYC_STRING_TO_REAL_NUMBER`
`static SubLSymbol`	`$sym45$DOUBLE_FLOAT`
`static SubLSymbol`	`$sym46$CYC_REAL_NUMBER_TO_STRING`
`static SubLSymbol`	`$sym48$CYC_STRING_TOKENIZE`
`static SubLSymbol`	`$sym49$CYC_HTTP_URL_ENCODE`
`static SubLSymbol`	`$sym5$CYC_TRUE_SUBL`
`static SubLSymbol`	`$sym50$CYC_HTML_IMAGE`
`static SubLSymbol`	`$sym51$CYC_HTML_TABLE_DATA`
`static SubLSymbol`	`$sym52$CYC_HTML_TABLE_DATA_VARIABLE_ARITY`
`static SubLSymbol`	`$sym53$CYC_HTML_TABLE_ROW`
`static SubLSymbol`	`$sym54$CYC_HTML_TABLE_ROW_VARIABLE_ARITY`
`static SubLSymbol`	`$sym55$CYC_HTML_TABLE`
`static SubLSymbol`	`$sym56$CYC_HTML_TABLE_VARIABLE_ARITY`
`static SubLSymbol`	`$sym57$CYC_HTML_DIVISION`
`static SubLSymbol`	`$sym58$CYC_HTML_DIVISION_VARIABLE_ARITY`
`static SubLSymbol`	`$sym63$PARSE_HTML_ATTRIBUTE_VALUE`
`static SubLSymbol`	`$sym65$CYC_CONTEXTUAL_URL`
`static SubLSymbol`	`$sym66$CYC_REMOVE_HTML_TAGS`
`static SubLSymbol`	`$sym67$CYC_CAPITALIZE_SMART`
`static SubLSymbol`	`$sym68$CYC_RECAPITALIZE_SMART`
`static SubLSymbol`	`$sym69$CYC_RELATION_ARG`
`static SubLSymbol`	`$sym7$CYC_DIFFERENT`
`static SubLSymbol`	`$sym71$CYC_RELATION_ARGS_LIST`
`static SubLSymbol`	`$sym73$CYC_RELATION_ARG_SET`
`static SubLSymbol`	`$sym74$CYC_RELATION_EXPRESSION_ARITY`
`static SubLSymbol`	`$sym75$CYC_IDENTITY`
`static SubLSymbol`	`$sym76$CYC_RELATION_TUPLES`
`static SubLSymbol`	`$sym78$CYC_SUBSTITUTE_FORMULA`
`static SubLSymbol`	`$sym79$SYMMETRIC_PART_TYPE_`
`static SubLSymbol`	`$sym8$CYC_DIFFERENT_SYMBOLS`
`static SubLSymbol`	`$sym80$LEFT_FORM_OF_SYMMETRIC_PART_TYPE`
`static SubLSymbol`	`$sym81$CYC_BILATERAL_FORM_OF_SENTENCE_LEFT`
`static SubLSymbol`	`$sym84$RIGHT_FORM_OF_SYMMETRIC_PART_TYPE`
`static SubLSymbol`	`$sym85$CYC_BILATERAL_FORM_OF_SENTENCE_RIGHT`
`static SubLSymbol`	`$sym87$SIDE_FN_NAUT_P`
`static SubLSymbol`	`$sym88$NAT_ARG1`
`static SubLSymbol`	`$sym89$_SIDEFN`
`static SubLSymbol`	`$sym9$CHAR_`
`static SubLSymbol`	`$sym91$CYC_SUBSTITUTE_FORMULA_ARG`
`static SubLSymbol`	`$sym92$CYC_SUBSTITUTE_FORMULA_ARG_POSITION`
`static SubLSymbol`	`$sym93$CYC_MAKE_FORMULA`
`static SubLSymbol`	`$sym94$CYC_SUBSTITUTE_QUOTED_FORMULA_ARG`
`static SubLSymbol`	`$sym95$CYC_SUBSTITUTE_QUOTED_FORMULA_ARG_POSITION`
`static SubLSymbol`	`$sym96$CYC_MAKE_QUOTED_FORMULA`
`static SubLSymbol`	`$sym97$CYCL_TO_EL_FN`
`static SubLSymbol`	`$sym98$CYC_SUBSTITUTE_NLTE`
`static SubLSymbol`	`$sym99$SEM_TRANS_TEMPLATE_DEFN`
`static SubLFile`	`me`
`static java.lang.String`	`myName`

Fields inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
`EMPTY_SUBL_OBJECT_ARRAY`

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols
ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols

ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER

Method Summary
`static SubLObject`	`cyc_different(SubLObject args)` #$evaluationDefn for #$different
`static SubLObject`	`declare_evaluation_defns_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`init_evaluation_defns_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_evaluation_defns_file()`

Methods inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
`extractFunctionNamed`

Methods inherited from class com.cyc.tool.subl.util.SubLTrampolineFile
`checkType, enforceType, extractBinaryFunc, extractCount, extractEnd, extractEndUsingSize, extractPackage, extractStart, extractUnaryFunc, main`

Methods inherited from class java.lang.Object
`equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Field Detail

me

public static final SubLFile me

myName

public static final java.lang.String myName

See Also:: Constant Field Values

$list0

public static final SubLList $list0

$sym1$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym1$RELEVANT_MT_IS_EVERYTHING

$const2$EverythingPSC

public static final SubLObject $const2$EverythingPSC

$const3$evaluationDefn

public static final SubLObject $const3$evaluationDefn

$const4$EvaluatablePredicate

public static final SubLObject $const4$EvaluatablePredicate

$sym5$CYC_TRUE_SUBL

public static final SubLSymbol $sym5$CYC_TRUE_SUBL

$kw6$UNKNOWN

public static final SubLSymbol $kw6$UNKNOWN

$sym7$CYC_DIFFERENT

public static final SubLSymbol $sym7$CYC_DIFFERENT

$sym8$CYC_DIFFERENT_SYMBOLS

public static final SubLSymbol $sym8$CYC_DIFFERENT_SYMBOLS

$sym9$CHAR_

public static final SubLSymbol $sym9$CHAR_

$sym10$CYC_SUBSTRING_PREDICATE

public static final SubLSymbol $sym10$CYC_SUBSTRING_PREDICATE

$sym11$CHAR_EQUAL

public static final SubLSymbol $sym11$CHAR_EQUAL

$sym12$CYC_SUBSTRING_CASE_INSENSITIVE_PREDICATE

public static final SubLSymbol $sym12$CYC_SUBSTRING_CASE_INSENSITIVE_PREDICATE

$sym13$CYC_PREFIX_SUBSTRING

public static final SubLSymbol $sym13$CYC_PREFIX_SUBSTRING

$sym14$CYC_SUFFIX_SUBSTRING

public static final SubLSymbol $sym14$CYC_SUFFIX_SUBSTRING

$sym15$CYC_SUBWORD_PREDICATE

public static final SubLSymbol $sym15$CYC_SUBWORD_PREDICATE

$str16$Could_not_find_constant__A_

public static final SubLString $str16$Could_not_find_constant__A_

$str17$Arg1_of___FindConstantFn_must_be_

public static final SubLString $str17$Arg1_of___FindConstantFn_must_be_

$sym18$CYC_FIND_CONSTANT

public static final SubLSymbol $sym18$CYC_FIND_CONSTANT

$const19$EvaluatableFunction

public static final SubLObject $const19$EvaluatableFunction

$sym20$CYC_EVALUATE_SUBL

public static final SubLSymbol $sym20$CYC_EVALUATE_SUBL

$sym21$CYC_STRING_UPCASE

public static final SubLSymbol $sym21$CYC_STRING_UPCASE

$sym22$STRING_UPCASE_DEFN

public static final SubLSymbol $sym22$STRING_UPCASE_DEFN

$list23

public static final SubLList $list23

$sym24$CYC_STRING_DOWNCASE

public static final SubLSymbol $sym24$CYC_STRING_DOWNCASE

$sym25$CYC_SUBSTRING

public static final SubLSymbol $sym25$CYC_SUBSTRING

$sym26$STRINGP

public static final SubLSymbol $sym26$STRINGP

$sym27$CCONCATENATE

public static final SubLSymbol $sym27$CCONCATENATE

$sym28$CYC_STRING_CONCAT

public static final SubLSymbol $sym28$CYC_STRING_CONCAT

$str29$

public static final SubLString $str29$

$str30$_

public static final SubLString $str30$_

$sym31$CYC_STRINGS_TO_PHRASE

public static final SubLSymbol $sym31$CYC_STRINGS_TO_PHRASE

$sym32$CYC_PRE_REMOVE

public static final SubLSymbol $sym32$CYC_PRE_REMOVE

$int33$128

public static final SubLInteger $int33$128

$sym34$__

public static final SubLSymbol $sym34$__

$sym35$CYC_REPLACE_SUBSTRING

public static final SubLSymbol $sym35$CYC_REPLACE_SUBSTRING

$sym36$CYC_REMOVE_SUBSTRING

public static final SubLSymbol $sym36$CYC_REMOVE_SUBSTRING

$sym37$CYC_POST_REMOVE

public static final SubLSymbol $sym37$CYC_POST_REMOVE

$sym38$CYC_TRIM_WHITESPACE

public static final SubLSymbol $sym38$CYC_TRIM_WHITESPACE

$sym39$CYC_STRING_SEARCH

public static final SubLSymbol $sym39$CYC_STRING_SEARCH

$sym40$CYC_LENGTH

public static final SubLSymbol $sym40$CYC_LENGTH

$str41$_

public static final SubLString $str41$_

$sym42$CYC_STRING_TO_INTEGER

public static final SubLSymbol $sym42$CYC_STRING_TO_INTEGER

$sym43$CYC_INTEGER_TO_STRING

public static final SubLSymbol $sym43$CYC_INTEGER_TO_STRING

$sym44$CYC_STRING_TO_REAL_NUMBER

public static final SubLSymbol $sym44$CYC_STRING_TO_REAL_NUMBER

$sym45$DOUBLE_FLOAT

public static final SubLSymbol $sym45$DOUBLE_FLOAT

$sym46$CYC_REAL_NUMBER_TO_STRING

public static final SubLSymbol $sym46$CYC_REAL_NUMBER_TO_STRING

$int47$1000

public static final SubLInteger $int47$1000

$sym48$CYC_STRING_TOKENIZE

public static final SubLSymbol $sym48$CYC_STRING_TOKENIZE

$sym49$CYC_HTTP_URL_ENCODE

public static final SubLSymbol $sym49$CYC_HTTP_URL_ENCODE

$sym50$CYC_HTML_IMAGE

public static final SubLSymbol $sym50$CYC_HTML_IMAGE

$sym51$CYC_HTML_TABLE_DATA

public static final SubLSymbol $sym51$CYC_HTML_TABLE_DATA

$sym52$CYC_HTML_TABLE_DATA_VARIABLE_ARITY

public static final SubLSymbol $sym52$CYC_HTML_TABLE_DATA_VARIABLE_ARITY

$sym53$CYC_HTML_TABLE_ROW

public static final SubLSymbol $sym53$CYC_HTML_TABLE_ROW

$sym54$CYC_HTML_TABLE_ROW_VARIABLE_ARITY

public static final SubLSymbol $sym54$CYC_HTML_TABLE_ROW_VARIABLE_ARITY

$sym55$CYC_HTML_TABLE

public static final SubLSymbol $sym55$CYC_HTML_TABLE

$sym56$CYC_HTML_TABLE_VARIABLE_ARITY

public static final SubLSymbol $sym56$CYC_HTML_TABLE_VARIABLE_ARITY

$sym57$CYC_HTML_DIVISION

public static final SubLSymbol $sym57$CYC_HTML_DIVISION

$sym58$CYC_HTML_DIVISION_VARIABLE_ARITY

public static final SubLSymbol $sym58$CYC_HTML_DIVISION_VARIABLE_ARITY

$list59

public static final SubLList $list59

$list60

public static final SubLList $list60

$list61

public static final SubLList $list61

$str62$_

public static final SubLString $str62$_

$sym63$PARSE_HTML_ATTRIBUTE_VALUE

public static final SubLSymbol $sym63$PARSE_HTML_ATTRIBUTE_VALUE

$const64$URLFn

public static final SubLObject $const64$URLFn

$sym65$CYC_CONTEXTUAL_URL

public static final SubLSymbol $sym65$CYC_CONTEXTUAL_URL

$sym66$CYC_REMOVE_HTML_TAGS

public static final SubLSymbol $sym66$CYC_REMOVE_HTML_TAGS

$sym67$CYC_CAPITALIZE_SMART

public static final SubLSymbol $sym67$CYC_CAPITALIZE_SMART

$sym68$CYC_RECAPITALIZE_SMART

public static final SubLSymbol $sym68$CYC_RECAPITALIZE_SMART

$sym69$CYC_RELATION_ARG

public static final SubLSymbol $sym69$CYC_RELATION_ARG

$const70$TheList

public static final SubLObject $const70$TheList

$sym71$CYC_RELATION_ARGS_LIST

public static final SubLSymbol $sym71$CYC_RELATION_ARGS_LIST

$const72$TheSet

public static final SubLObject $const72$TheSet

$sym73$CYC_RELATION_ARG_SET

public static final SubLSymbol $sym73$CYC_RELATION_ARG_SET

$sym74$CYC_RELATION_EXPRESSION_ARITY

public static final SubLSymbol $sym74$CYC_RELATION_EXPRESSION_ARITY

$sym75$CYC_IDENTITY

public static final SubLSymbol $sym75$CYC_IDENTITY

$sym76$CYC_RELATION_TUPLES

public static final SubLSymbol $sym76$CYC_RELATION_TUPLES

$const77$Kappa

public static final SubLObject $const77$Kappa

$sym78$CYC_SUBSTITUTE_FORMULA

public static final SubLSymbol $sym78$CYC_SUBSTITUTE_FORMULA

$sym79$SYMMETRIC_PART_TYPE_

public static final SubLSymbol $sym79$SYMMETRIC_PART_TYPE_

$sym80$LEFT_FORM_OF_SYMMETRIC_PART_TYPE

public static final SubLSymbol $sym80$LEFT_FORM_OF_SYMMETRIC_PART_TYPE

$sym81$CYC_BILATERAL_FORM_OF_SENTENCE_LEFT

public static final SubLSymbol $sym81$CYC_BILATERAL_FORM_OF_SENTENCE_LEFT

$const82$SymmetricAnatomicalPartType

public static final SubLObject $const82$SymmetricAnatomicalPartType

$const83$LeftObjectOfPairFn

public static final SubLObject $const83$LeftObjectOfPairFn

$sym84$RIGHT_FORM_OF_SYMMETRIC_PART_TYPE

public static final SubLSymbol $sym84$RIGHT_FORM_OF_SYMMETRIC_PART_TYPE

$sym85$CYC_BILATERAL_FORM_OF_SENTENCE_RIGHT

public static final SubLSymbol $sym85$CYC_BILATERAL_FORM_OF_SENTENCE_RIGHT

$const86$RightObjectOfPairFn

public static final SubLObject $const86$RightObjectOfPairFn

$sym87$SIDE_FN_NAUT_P

public static final SubLSymbol $sym87$SIDE_FN_NAUT_P

$sym88$NAT_ARG1

public static final SubLSymbol $sym88$NAT_ARG1

$sym89$_SIDEFN

public static final SubLSymbol $sym89$_SIDEFN

$const90$Quote

public static final SubLObject $const90$Quote

$sym91$CYC_SUBSTITUTE_FORMULA_ARG

public static final SubLSymbol $sym91$CYC_SUBSTITUTE_FORMULA_ARG

$sym92$CYC_SUBSTITUTE_FORMULA_ARG_POSITION

public static final SubLSymbol $sym92$CYC_SUBSTITUTE_FORMULA_ARG_POSITION

$sym93$CYC_MAKE_FORMULA

public static final SubLSymbol $sym93$CYC_MAKE_FORMULA

$sym94$CYC_SUBSTITUTE_QUOTED_FORMULA_ARG

public static final SubLSymbol $sym94$CYC_SUBSTITUTE_QUOTED_FORMULA_ARG

$sym95$CYC_SUBSTITUTE_QUOTED_FORMULA_ARG_POSITION

public static final SubLSymbol $sym95$CYC_SUBSTITUTE_QUOTED_FORMULA_ARG_POSITION

$sym96$CYC_MAKE_QUOTED_FORMULA

public static final SubLSymbol $sym96$CYC_MAKE_QUOTED_FORMULA

$sym97$CYCL_TO_EL_FN

public static final SubLSymbol $sym97$CYCL_TO_EL_FN

$sym98$CYC_SUBSTITUTE_NLTE

public static final SubLSymbol $sym98$CYC_SUBSTITUTE_NLTE

$sym99$SEM_TRANS_TEMPLATE_DEFN

public static final SubLSymbol $sym99$SEM_TRANS_TEMPLATE_DEFN

$sym100$CYC_WORD_STRINGS

public static final SubLSymbol $sym100$CYC_WORD_STRINGS

$str101$WordStringsFn

public static final SubLString $str101$WordStringsFn

$str102$WordSequenceFn

public static final SubLString $str102$WordSequenceFn

$sym103$CYC_STRINGS_OF_WORD_SEQUENCE

public static final SubLSymbol $sym103$CYC_STRINGS_OF_WORD_SEQUENCE

$sym104$CYC_INSTANTIATE

public static final SubLSymbol $sym104$CYC_INSTANTIATE

$list105

public static final SubLList $list105

$sym106$CYC_FIND_OR_INSTANTIATE

public static final SubLSymbol $sym106$CYC_FIND_OR_INSTANTIATE

$const107$isa

public static final SubLObject $const107$isa

$sym108$_OBJ

public static final SubLSymbol $sym108$_OBJ

$const109$TheSetOf

public static final SubLObject $const109$TheSetOf

$const110$definingMt

public static final SubLObject $const110$definingMt

$const111$resultIsa

public static final SubLObject $const111$resultIsa

$sym112$INDIVIDUAL_DENOTING_FN_

public static final SubLSymbol $sym112$INDIVIDUAL_DENOTING_FN_

$sym113$CYC_INDIVIDUAL_DENOTING_UNARY_FUNCTION_FOR

public static final SubLSymbol $sym113$CYC_INDIVIDUAL_DENOTING_UNARY_FUNCTION_FOR

$const114$resultGenl

public static final SubLObject $const114$resultGenl

$sym115$CYC_COLLECTION_DENOTING_UNARY_FUNCTION_FOR

public static final SubLSymbol $sym115$CYC_COLLECTION_DENOTING_UNARY_FUNCTION_FOR

$sym116$UNARY_FUNCTION_

public static final SubLSymbol $sym116$UNARY_FUNCTION_

$sym117$SKOLEM_FUNCTION_

public static final SubLSymbol $sym117$SKOLEM_FUNCTION_

$const118$UnaryFunction

public static final SubLObject $const118$UnaryFunction

$const119$IndividualDenotingFunction

public static final SubLObject $const119$IndividualDenotingFunction

$sym120$CYC_EL_VARIABLE_FN

public static final SubLSymbol $sym120$CYC_EL_VARIABLE_FN

$sym121$CYC_ADD_ENGLISH_SUFFIX

public static final SubLSymbol $sym121$CYC_ADD_ENGLISH_SUFFIX

$const122$geopoliticalSubdivision

public static final SubLObject $const122$geopoliticalSubdivision

$const123$State_UnitedStates

public static final SubLObject $const123$State_UnitedStates

$const124$CanadianProvince

public static final SubLObject $const124$CanadianProvince

$sym125$STATE_OR_PROVINCE_FOR_CITY_DEFN

public static final SubLSymbol $sym125$STATE_OR_PROVINCE_FOR_CITY_DEFN

$sym126$CYC_HTML_URL_ENCODE

public static final SubLSymbol $sym126$CYC_HTML_URL_ENCODE

$sym127$CATCH_ERROR_MESSAGE_HANDLER

public static final SubLSymbol $sym127$CATCH_ERROR_MESSAGE_HANDLER

$int128$255

public static final SubLInteger $int128$255

$sym129$_

public static final SubLSymbol $sym129$_

$sym130$CHAR_CODE

public static final SubLSymbol $sym130$CHAR_CODE

$str131$charset_utf_8

public static final SubLString $str131$charset_utf_8

$sym132$CYC_URL_SOURCE

public static final SubLSymbol $sym132$CYC_URL_SOURCE

$kw133$DEFAULT

public static final SubLSymbol $kw133$DEFAULT

$int134$80

public static final SubLInteger $int134$80

$kw135$PRIVATE

public static final SubLSymbol $kw135$PRIVATE

$kw136$MACHINE

public static final SubLSymbol $kw136$MACHINE

$kw137$PORT

public static final SubLSymbol $kw137$PORT

$kw138$METHOD

public static final SubLSymbol $kw138$METHOD

$kw139$GET

public static final SubLSymbol $kw139$GET

$kw140$URL

public static final SubLSymbol $kw140$URL

$str141$simple_http_get

public static final SubLString $str141$simple_http_get

$kw142$QUERY

public static final SubLSymbol $kw142$QUERY

$kw143$KEEP_ALIVE_

public static final SubLSymbol $kw143$KEEP_ALIVE_

$kw144$WIDE_NEWLINES_

public static final SubLSymbol $kw144$WIDE_NEWLINES_

$kw145$ACCEPT_TYPES

public static final SubLSymbol $kw145$ACCEPT_TYPES

$sym146$CYC_GET_FROM_HTTP_SOURCE

public static final SubLSymbol $sym146$CYC_GET_FROM_HTTP_SOURCE

$str147$_

public static final SubLString $str147$_

$str148$_

public static final SubLString $str148$_

$const149$SchemaObjectFn

public static final SubLObject $const149$SchemaObjectFn

$str150$_

public static final SubLString $str150$_

$str151$_

public static final SubLString $str151$_

$sym152$CYC_TERM_URI_FN

public static final SubLSymbol $sym152$CYC_TERM_URI_FN

$const153$City

public static final SubLObject $const153$City

$const154$CityNamedFn

public static final SubLObject $const154$CityNamedFn

$sym155$CITY_NAMED_FN_DEFN

public static final SubLSymbol $sym155$CITY_NAMED_FN_DEFN

$list156

public static final SubLList $list156

$sym157$TEXT_TOPIC_STRUCTURE

public static final SubLSymbol $sym157$TEXT_TOPIC_STRUCTURE

$sym158$EL_LIST_TO_SUBL_LIST

public static final SubLSymbol $sym158$EL_LIST_TO_SUBL_LIST

$kw159$IGNORE_ERRORS_TARGET

public static final SubLSymbol $kw159$IGNORE_ERRORS_TARGET

$sym160$IGNORE_ERRORS_HANDLER

public static final SubLSymbol $sym160$IGNORE_ERRORS_HANDLER

$kw161$BASE_SET

public static final SubLSymbol $kw161$BASE_SET

$const162$baseSet

public static final SubLObject $const162$baseSet

$list163

public static final SubLList $list163

$kw164$ORDERING_RELATION

public static final SubLSymbol $kw164$ORDERING_RELATION

$const165$orderingRelation

public static final SubLObject $const165$orderingRelation

$list166

public static final SubLList $list166

$sym167$CYC_ORDERING_RESULT

public static final SubLSymbol $sym167$CYC_ORDERING_RESULT

$kw168$ELEMENT

public static final SubLSymbol $kw168$ELEMENT

$const169$elementOf

public static final SubLObject $const169$elementOf

$sym170$ORDERING__

public static final SubLSymbol $sym170$ORDERING__

$sym171$CYC_SECONDS_SINCE_1970_TO_DATE

public static final SubLSymbol $sym171$CYC_SECONDS_SINCE_1970_TO_DATE

$sym172$CYC_TYPES_MOST_OFTEN_ASSERTED_USING_TOOL

public static final SubLSymbol $sym172$CYC_TYPES_MOST_OFTEN_ASSERTED_USING_TOOL

$sym173$ASSERTION_GENERATING_TOOL_P

public static final SubLSymbol $sym173$ASSERTION_GENERATING_TOOL_P

$sym174$NON_NEGATIVE_INTEGER_P

public static final SubLSymbol $sym174$NON_NEGATIVE_INTEGER_P

$sym175$NON_DOTTED_LIST_P

public static final SubLSymbol $sym175$NON_DOTTED_LIST_P

$kw176$GAF

public static final SubLSymbol $kw176$GAF

$const177$genls

public static final SubLObject $const177$genls

$const178$assertedUsingTool

public static final SubLObject $const178$assertedUsingTool

$sym179$_

public static final SubLSymbol $sym179$_

$sym180$CAR

public static final SubLSymbol $sym180$CAR

$const181$AssertionGeneratingRKFTool

public static final SubLObject $const181$AssertionGeneratingRKFTool

$sym182$CYC_HTML_FOR_TEXT_CONTAINING_STRINGS

public static final SubLSymbol $sym182$CYC_HTML_FOR_TEXT_CONTAINING_STRINGS

$str183$_b_

public static final SubLString $str183$_b_

$sym184$FORMAT

public static final SubLSymbol $sym184$FORMAT

$sym185$CYC_FORMAT

public static final SubLSymbol $sym185$CYC_FORMAT

$str186$term____isg_table_lock

public static final SubLString $str186$term____isg_table_lock

$sym187$_TERM_TO_ISG_TABLE_

public static final SubLSymbol $sym187$_TERM_TO_ISG_TABLE_

$sym188$CYC_NEXT_INTEGER_IN_SEQUENCE

public static final SubLSymbol $sym188$CYC_NEXT_INTEGER_IN_SEQUENCE

$str189$term____isg_w__start_table_lock

public static final SubLString $str189$term____isg_w__start_table_lock

$sym190$_TERM_TO_ISG_W_START_TABLE_

public static final SubLSymbol $sym190$_TERM_TO_ISG_W_START_TABLE_

$sym191$CYC_NEXT_INTEGER_IN_SEQUENCE_STARTING_AT

public static final SubLSymbol $sym191$CYC_NEXT_INTEGER_IN_SEQUENCE_STARTING_AT

$sym192$UNICODE_NAUT_P

public static final SubLSymbol $sym192$UNICODE_NAUT_P

$sym193$CYC_CONCATENATE_STRINGS

public static final SubLSymbol $sym193$CYC_CONCATENATE_STRINGS

$kw194$TEST

public static final SubLSymbol $kw194$TEST

$kw195$OWNER

public static final SubLSymbol $kw195$OWNER

$kw196$CLASSES

public static final SubLSymbol $kw196$CLASSES

$kw197$KB

public static final SubLSymbol $kw197$KB

$kw198$FULL

public static final SubLSymbol $kw198$FULL

$kw199$WORKING_

public static final SubLSymbol $kw199$WORKING_

$list200

public static final SubLList $list200

$sym201$CYC_TERM_SIMILARITY_METRIC

public static final SubLSymbol $sym201$CYC_TERM_SIMILARITY_METRIC

$sym202$CYC_KB_ORTHOGONAL

public static final SubLSymbol $sym202$CYC_KB_ORTHOGONAL

$sym203$CYC_CONTENT_OF_FILE

public static final SubLSymbol $sym203$CYC_CONTENT_OF_FILE

$sym204$CYC_TRANSFORM_RELATION_TUPLES

public static final SubLSymbol $sym204$CYC_TRANSFORM_RELATION_TUPLES

$str205$_a_doesn_t_start_with___TheList

public static final SubLString $str205$_a_doesn_t_start_with___TheList

Method Detail

cyc_different

public static final SubLObject cyc_different(SubLObject args)

#$evaluationDefn for #$different

declare_evaluation_defns_file

public static final SubLObject declare_evaluation_defns_file()

init_evaluation_defns_file

public static final SubLObject init_evaluation_defns_file()

setup_evaluation_defns_file

public static final SubLObject setup_evaluation_defns_file()

declareFunctions

public void declareFunctions()

Description copied from interface: SubLFile

Declares the mapping between functions and symbols for all named functions defined in the file. Like CRTL define.

initializeVariables

public void initializeVariables()

Description copied from interface: SubLFile

Initializes all global variables and private internal variables for constants defined in the file. Like CRTL init.

runTopLevelForms

public void runTopLevelForms()

Description copied from interface: SubLFile

Runs all top-level forms in order. Like CRTL setup.

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl Class evaluation_defns

me

myName

$list0

$sym1$RELEVANT_MT_IS_EVERYTHING

$const2$EverythingPSC

$const3$evaluationDefn

$const4$EvaluatablePredicate

$sym5$CYC_TRUE_SUBL

$kw6$UNKNOWN

$sym7$CYC_DIFFERENT

$sym8$CYC_DIFFERENT_SYMBOLS

$sym9$CHAR_

$sym10$CYC_SUBSTRING_PREDICATE

$sym11$CHAR_EQUAL

$sym12$CYC_SUBSTRING_CASE_INSENSITIVE_PREDICATE

$sym13$CYC_PREFIX_SUBSTRING

$sym14$CYC_SUFFIX_SUBSTRING

$sym15$CYC_SUBWORD_PREDICATE

$str16$Could_not_find_constant__A_

$str17$Arg1_of___FindConstantFn_must_be_

$sym18$CYC_FIND_CONSTANT

$const19$EvaluatableFunction

$sym20$CYC_EVALUATE_SUBL

$sym21$CYC_STRING_UPCASE

$sym22$STRING_UPCASE_DEFN

$list23

$sym24$CYC_STRING_DOWNCASE

$sym25$CYC_SUBSTRING

$sym26$STRINGP

$sym27$CCONCATENATE

$sym28$CYC_STRING_CONCAT

$str29$

$str30$_

$sym31$CYC_STRINGS_TO_PHRASE

$sym32$CYC_PRE_REMOVE

$int33$128

$sym34$__

$sym35$CYC_REPLACE_SUBSTRING

$sym36$CYC_REMOVE_SUBSTRING

$sym37$CYC_POST_REMOVE

$sym38$CYC_TRIM_WHITESPACE

$sym39$CYC_STRING_SEARCH

$sym40$CYC_LENGTH

$str41$_

$sym42$CYC_STRING_TO_INTEGER

$sym43$CYC_INTEGER_TO_STRING

$sym44$CYC_STRING_TO_REAL_NUMBER

$sym45$DOUBLE_FLOAT

$sym46$CYC_REAL_NUMBER_TO_STRING

$int47$1000

$sym48$CYC_STRING_TOKENIZE

$sym49$CYC_HTTP_URL_ENCODE

$sym50$CYC_HTML_IMAGE

$sym51$CYC_HTML_TABLE_DATA

$sym52$CYC_HTML_TABLE_DATA_VARIABLE_ARITY

$sym53$CYC_HTML_TABLE_ROW

$sym54$CYC_HTML_TABLE_ROW_VARIABLE_ARITY

$sym55$CYC_HTML_TABLE

$sym56$CYC_HTML_TABLE_VARIABLE_ARITY

$sym57$CYC_HTML_DIVISION

$sym58$CYC_HTML_DIVISION_VARIABLE_ARITY

$list59

$list60

$list61

$str62$_

$sym63$PARSE_HTML_ATTRIBUTE_VALUE

$const64$URLFn

$sym65$CYC_CONTEXTUAL_URL

$sym66$CYC_REMOVE_HTML_TAGS

$sym67$CYC_CAPITALIZE_SMART

$sym68$CYC_RECAPITALIZE_SMART

$sym69$CYC_RELATION_ARG

$const70$TheList

$sym71$CYC_RELATION_ARGS_LIST

$const72$TheSet

$sym73$CYC_RELATION_ARG_SET

$sym74$CYC_RELATION_EXPRESSION_ARITY

$sym75$CYC_IDENTITY

$sym76$CYC_RELATION_TUPLES

com.cyc.cycjava.cycl
Class evaluation_defns