collection

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 collection_defns

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class collection_defns
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`collection_defns.$clear_extensional_setP$ZeroArityFunction`
`static class`	`collection_defns.$cyc_1_byte_integer$UnaryFunction`
`static class`	`collection_defns.$cyc_2_byte_integer$UnaryFunction`
`static class`	`collection_defns.$cyc_4_byte_integer$UnaryFunction`
`static class`	`collection_defns.$cyc_8_byte_integer$UnaryFunction`
`static class`	`collection_defns.$cyc_ascii_string_p$UnaryFunction`
`static class`	`collection_defns.$cyc_bit_datatype$UnaryFunction`
`static class`	`collection_defns.$cyc_guid_string_p$UnaryFunction`
`static class`	`collection_defns.$cyc_individual_necessary$UnaryFunction`
`static class`	`collection_defns.$cyc_ip4_address$UnaryFunction`
`static class`	`collection_defns.$cyc_ip4_network_address$UnaryFunction`
`static class`	`collection_defns.$cyc_list_is_minimum_length$UnaryFunction`
`static class`	`collection_defns.$cyc_list_of_lists$UnaryFunction`
`static class`	`collection_defns.$cyc_list_of_type_necessary$UnaryFunction`
`static class`	`collection_defns.$cyc_list_of_type_sufficient$UnaryFunction`
`static class`	`collection_defns.$cyc_numeric_string_necessary$UnaryFunction`
`static class`	`collection_defns.$cyc_string_is_length$UnaryFunction`
`static class`	`collection_defns.$cyc_string_is_maximum_length$UnaryFunction`
`static class`	`collection_defns.$cyc_string_is_minimum_length$UnaryFunction`
`static class`	`collection_defns.$cyc_subl_hl_support_module_p$UnaryFunction`
`static class`	`collection_defns.$cyc_subl_query_property_p$UnaryFunction`
`static class`	`collection_defns.$cyc_subl_tv_p$UnaryFunction`
`static class`	`collection_defns.$cyc_typicality_reference_set_propertyP$UnaryFunction`
`static class`	`collection_defns.$cyc_zip_code_five_digit$UnaryFunction`
`static class`	`collection_defns.$cyc_zip_code_nine_digit$UnaryFunction`
`static class`	`collection_defns.$cycl_canonicalizer_directiveP$UnaryFunction`
`static class`	`collection_defns.$cycl_sentence_assertibleP$UnaryFunction`

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

Field Summary
`static SubLObject`	`$const112$instanceElementType`
`static SubLObject`	`$const114$Set_Extensional`
`static SubLObject`	`$const119$TheSet`
`static SubLObject`	`$const120$List_Extensional`
`static SubLObject`	`$const121$instanceListMemberType`
`static SubLObject`	`$const122$TheList`
`static SubLObject`	`$const150$UnitOfMeasure`
`static SubLObject`	`$const158$instanceListLength`
`static SubLObject`	`$const160$instanceListMinLength`
`static SubLObject`	`$const162$instanceListMaxLength`
`static SubLObject`	`$const175$BitData`
`static SubLObject`	`$const67$CanonicalizerDirectivePredicate`
`static SubLObject`	`$const69$ReformulatorDirectivePredicate`
`static SubLObject`	`$const71$CycLReformulationRulePredicate`
`static SubLObject`	`$const72$ist`
`static SubLObject`	`$const74$SimplifierDirectivePredicate`
`static SubLFloat`	`$float86$100_0`
`static SubLFloat`	`$float88$1_0`
`static SubLFloat`	`$float90$_1_0`
`static SubLInteger`	`$int116$32`
`static SubLInteger`	`$int169$63`
`static SubLInteger`	`$int171$31`
`static SubLInteger`	`$int179$256`
`static SubLInteger`	`$int182$33`
`static SubLSymbol`	`$kw108$AGNOSTIC`
`static SubLSymbol`	`$kw118$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw155$IGNORE`
`static SubLSymbol`	`$kw41$TERM`
`static SubLList`	`$list0`
`static SubLList`	`$list1`
`static SubLList`	`$list129`
`static SubLList`	`$list178`
`static SubLList`	`$list181`
`static SubLSymbol`	`$sym10$HL_CLOSED_DENOTATIONAL_TERM_P`
`static SubLSymbol`	`$sym100$CYC_NEGATIVE_INTEGER`
`static SubLSymbol`	`$sym101$CYC_NON_POSITIVE_INTEGER`
`static SubLSymbol`	`$sym102$CYC_NON_NEGATIVE_INTEGER`
`static SubLSymbol`	`$sym103$CYC_EVEN_NUMBER`
`static SubLSymbol`	`$sym104$CYC_ODD_NUMBER`
`static SubLSymbol`	`$sym105$CYC_UNIVERSAL_DATE`
`static SubLSymbol`	`$sym106$CYC_UNIVERSAL_SECOND`
`static SubLSymbol`	`$sym107$CYC_SET_OF_TYPE_NECESSARY`
`static SubLSymbol`	`$sym109$CYC_SET_OF_TYPE_SUFFICIENT`
`static SubLSymbol`	`$sym11$CYCL_REPRESENTED_ATOMIC_TERM_P`
`static SubLSymbol`	`$sym110$CYC_LIST_OF_TYPE_NECESSARY`
`static SubLSymbol`	`$sym111$CYC_LIST_OF_TYPE_SUFFICIENT`
`static SubLSymbol`	`$sym113$EXTENSIONAL_SET_`
`static SubLSymbol`	`$sym115$_EXTENSIONAL_SET__CACHING_STATE_`
`static SubLSymbol`	`$sym117$CLEAR_EXTENSIONAL_SET_`
`static SubLSymbol`	`$sym12$CYCL_REPRESENTED_TERM_`
`static SubLSymbol`	`$sym123$CYC_LIST_WITHOUT_REPETITION`
`static SubLSymbol`	`$sym124$CYC_NUMERIC_STRING_NECESSARY`
`static SubLSymbol`	`$sym125$CYC_NUMERAL_STRING`
`static SubLSymbol`	`$sym126$CYC_NUMERIC_STRING`
`static SubLSymbol`	`$sym127$CYC_NUMBER_STRING`
`static SubLSymbol`	`$sym128$CYC_ZIP_CODE_FIVE_DIGIT`
`static SubLSymbol`	`$sym13$CYC_SYSTEM_TERM_P`
`static SubLSymbol`	`$sym130$CYC_ZIP_CODE_NINE_DIGIT`
`static SubLSymbol`	`$sym131$CYC_GUID_STRING_P`
`static SubLSymbol`	`$sym132$CYC_UNICODE_DENOTING_ASCII_STRING_P`
`static SubLSymbol`	`$sym133$CYC_ASCII_STRING_P`
`static SubLSymbol`	`$sym134$CYC_URL`
`static SubLSymbol`	`$sym135$DOCTOR_ME_ID_`
`static SubLSymbol`	`$sym136$CLPE_`
`static SubLSymbol`	`$sym137$CYC_QUERY_`
`static SubLSymbol`	`$sym138$CYC_SYNTACTIC_FORMULA_ARITY_OK`
`static SubLSymbol`	`$sym139$CYC_SYNTACTIC_FORMULA`
`static SubLSymbol`	`$sym14$CYC_SYSTEM_CHARACTER_P`
`static SubLSymbol`	`$sym140$FUNCTION_EXPRESSION_`
`static SubLSymbol`	`$sym141$CYC_RELATION_EXPRESSION_`
`static SubLSymbol`	`$sym142$EL_VARIABLE_`
`static SubLSymbol`	`$sym143$CYC_SUBL_EXPRESSION`
`static SubLSymbol`	`$sym144$CYC_SUBL_ESCAPE`
`static SubLSymbol`	`$sym145$CYC_SUBL_TEMPLATE`
`static SubLSymbol`	`$sym146$IBQE_`
`static SubLSymbol`	`$sym147$SCALAR_POINT_VALUE_`
`static SubLSymbol`	`$sym148$NON_NEGATIVE_SCALAR_INTERVAL_`
`static SubLSymbol`	`$sym149$POSITIVE_SCALAR_INTERVAL_`
`static SubLSymbol`	`$sym15$CYC_SYSTEM_STRING_P`
`static SubLSymbol`	`$sym151$TERM_SET_`
`static SubLSymbol`	`$sym152$CYCL_VAR_LIST_`
`static SubLSymbol`	`$sym153$CYC_EL_VAR_LIST_`
`static SubLSymbol`	`$sym154$CYC_SYSTEM_ATOM`
`static SubLSymbol`	`$sym156$CYC_LIST_OF_LISTS`
`static SubLSymbol`	`$sym157$CYC_STRING_IS_LENGTH`
`static SubLSymbol`	`$sym159$CYC_STRING_IS_MINIMUM_LENGTH`
`static SubLSymbol`	`$sym16$CYC_SYSTEM_REAL_NUMBER_P`
`static SubLSymbol`	`$sym161$CYC_STRING_IS_MAXIMUM_LENGTH`
`static SubLSymbol`	`$sym163$CYC_LIST_IS_LENGTH`
`static SubLSymbol`	`$sym164$CYC_SUBL_QUERY_PROPERTY_P`
`static SubLSymbol`	`$sym165$CYC_SUBL_TV_P`
`static SubLSymbol`	`$sym166$CYC_SUBL_HL_SUPPORT_MODULE_P`
`static SubLSymbol`	`$sym167$CYC_SUBL_ASSERTED_ARGUMENT_TOKEN_P`
`static SubLSymbol`	`$sym168$CYC_SUBL_KCT_METRIC_IDENTIFIER_P`
`static SubLSymbol`	`$sym17$CYC_SYSTEM_NON_VARIABLE_SYMBOL_P`
`static SubLSymbol`	`$sym170$CYC_8_BYTE_INTEGER`
`static SubLSymbol`	`$sym172$CYC_4_BYTE_INTEGER`
`static SubLSymbol`	`$sym173$CYC_2_BYTE_INTEGER`
`static SubLSymbol`	`$sym174$CYC_1_BYTE_INTEGER`
`static SubLSymbol`	`$sym176$CYC_BIT_DATATYPE`
`static SubLSymbol`	`$sym177$CYC_BIT_STRING`
`static SubLSymbol`	`$sym18$CYCL_SUBL_SYMBOL_P`
`static SubLSymbol`	`$sym180$CYC_IP4_ADDRESS`
`static SubLSymbol`	`$sym183$CYC_IP4_NETWORK_ADDRESS`
`static SubLSymbol`	`$sym184$CYC_LIST_IS_MINIMUM_LENGTH`
`static SubLSymbol`	`$sym185$CYC_LIST_IS_MAXIMUM_LENGTH`
`static SubLSymbol`	`$sym19$CYCL_ATOMIC_TERM_P`
`static SubLSymbol`	`$sym2$CYC_INDIVIDUAL_NECESSARY`
`static SubLSymbol`	`$sym20$CYCL_CLOSED_ATOMIC_TERM_P`
`static SubLSymbol`	`$sym21$HL_NON_ATOMIC_TERM_P`
`static SubLSymbol`	`$sym22$CYCL_NON_ATOMIC_TERM_`
`static SubLSymbol`	`$sym23$EL_NON_ATOMIC_TERM_`
`static SubLSymbol`	`$sym24$HL_INDEXED_TERM_P`
`static SubLSymbol`	`$sym25$CYCL_INDEXED_TERM_`
`static SubLSymbol`	`$sym26$CYCL_OPEN_NON_ATOMIC_TERM_`
`static SubLSymbol`	`$sym27$CYCL_CLOSED_NON_ATOMIC_TERM_`
`static SubLSymbol`	`$sym28$CYCL_REIFIABLE_NON_ATOMIC_TERM_`
`static SubLSymbol`	`$sym29$CYCL_NON_ATOMIC_REIFIED_TERM_`
`static SubLSymbol`	`$sym3$CYCL_EXPRESSION_`
`static SubLSymbol`	`$sym30$EL_REIFIABLE_NON_ATOMIC_TERM_`
`static SubLSymbol`	`$sym31$CYCL_CLOSED_EXPRESSION_`
`static SubLSymbol`	`$sym32$CYCL_OPEN_EXPRESSION_`
`static SubLSymbol`	`$sym33$CYCL_FORMULA_`
`static SubLSymbol`	`$sym34$CYCL_OPEN_FORMULA_`
`static SubLSymbol`	`$sym35$CYCL_CLOSED_FORMULA_`
`static SubLSymbol`	`$sym36$HL_FORMULA_P`
`static SubLSymbol`	`$sym37$CYCL_UNBOUND_RELATION_FORMULA_P`
`static SubLSymbol`	`$sym38$CYCL_SENTENCE_`
`static SubLSymbol`	`$sym39$CYCL_OPEN_SENTENCE_`
`static SubLSymbol`	`$sym4$EL_EXPRESSION_`
`static SubLSymbol`	`$sym40$CYCL_CLOSED_SENTENCE_`
`static SubLSymbol`	`$sym42$CYC_TYPICALITY_REFERENCE_SET_PROPERTY_`
`static SubLSymbol`	`$sym43$EL_SENTENCE_`
`static SubLSymbol`	`$sym44$CYCL_ATOMIC_SENTENCE_`
`static SubLSymbol`	`$sym45$CYCL_CLOSED_ATOMIC_SENTENCE_`
`static SubLSymbol`	`$sym46$CYCL_PROPOSITIONAL_SENTENCE_`
`static SubLSymbol`	`$sym47$CYCL_SENTENCE_ASKABLE_`
`static SubLSymbol`	`$sym48$CYCL_SENTENCE_ASSERTIBLE_`
`static SubLSymbol`	`$sym49$EL_SENTENCE_ASKABLE_`
`static SubLSymbol`	`$sym5$HL_EXPRESSION_P`
`static SubLSymbol`	`$sym50$EL_SENTENCE_ASSERTIBLE_`
`static SubLSymbol`	`$sym51$CYCL_NON_ATOMIC_TERM_ASKABLE_`
`static SubLSymbol`	`$sym52$CYCL_NON_ATOMIC_TERM_ASSERTIBLE_`
`static SubLSymbol`	`$sym53$EL_NON_ATOMIC_TERM_ASKABLE_`
`static SubLSymbol`	`$sym54$EL_NON_ATOMIC_TERM_ASSERTIBLE_`
`static SubLSymbol`	`$sym55$CYCL_EXPRESSION_ASKABLE_`
`static SubLSymbol`	`$sym56$CYCL_EXPRESSION_ASSERTIBLE_`
`static SubLSymbol`	`$sym57$EL_EXPRESSION_ASKABLE_`
`static SubLSymbol`	`$sym58$EL_EXPRESSION_ASSERTIBLE_`
`static SubLSymbol`	`$sym59$CYCL_QUERY_`
`static SubLSymbol`	`$sym6$CYCL_OPEN_DENOTATIONAL_TERM_`
`static SubLSymbol`	`$sym60$CYCL_ASSERTION_`
`static SubLSymbol`	`$sym61$CYCL_ATOMIC_ASSERTION_`
`static SubLSymbol`	`$sym62$CYCL_GAF_ASSERTION_`
`static SubLSymbol`	`$sym63$CYCL_RULE_ASSERTION_`
`static SubLSymbol`	`$sym64$CYCL_ASSERTED_ASSERTION_`
`static SubLSymbol`	`$sym65$CYCL_DEDUCED_ASSERTION_`
`static SubLSymbol`	`$sym66$CYCL_NL_SEMANTIC_ASSERTION_`
`static SubLSymbol`	`$sym68$CYCL_CANONICALIZER_DIRECTIVE_`
`static SubLSymbol`	`$sym7$CYCL_CLOSED_DENOTATIONAL_TERM_`
`static SubLSymbol`	`$sym70$CYCL_REFORMULATOR_DIRECTIVE_`
`static SubLSymbol`	`$sym73$CYCL_REFORMULATOR_RULE_`
`static SubLSymbol`	`$sym75$CYCL_SIMPLIFIER_DIRECTIVE_`
`static SubLSymbol`	`$sym76$HL_ASSERTION_P`
`static SubLSymbol`	`$sym77$EL_ASSERTION_`
`static SubLSymbol`	`$sym78$CYC_GROUND_TERM`
`static SubLSymbol`	`$sym79$CYC_REAL_NUMBER`
`static SubLSymbol`	`$sym8$CYCL_REIFIABLE_DENOTATIONAL_TERM_`
`static SubLSymbol`	`$sym80$CYC_SYSTEM_REAL_NUMBER`
`static SubLSymbol`	`$sym81$CYC_POSITIVE_NUMBER`
`static SubLSymbol`	`$sym82$CYC_NEGATIVE_NUMBER`
`static SubLSymbol`	`$sym83$CYC_NON_POSITIVE_NUMBER`
`static SubLSymbol`	`$sym84$CYC_NON_NEGATIVE_NUMBER`
`static SubLSymbol`	`$sym85$CYC_RATIONAL_NUMBER`
`static SubLSymbol`	`$sym87$CYC_REAL_0_100`
`static SubLSymbol`	`$sym89$CYC_REAL_0_1`
`static SubLSymbol`	`$sym9$CYCL_REIFIED_DENOTATIONAL_TERM_`
`static SubLSymbol`	`$sym91$CYC_REAL_MINUS_1_TO_PLUS_1`
`static SubLSymbol`	`$sym92$CYC_REAL_1_INFINITY`
`static SubLSymbol`	`$sym93$CYC_NONZERO_NUMBER`
`static SubLSymbol`	`$sym94$CYC_INTEGER`
`static SubLSymbol`	`$sym95$CYC_SYSTEM_INTEGER`
`static SubLSymbol`	`$sym96$CYC_POSITIVE_INTEGER`
`static SubLSymbol`	`$sym97$CYC_PRIME_NUMBER_`
`static SubLSymbol`	`$sym98$CONSTANT_P`
`static SubLSymbol`	`$sym99$CYC_MAYBE_PRIME_NUMBER_`
`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_individual_necessary(SubLObject object)` #$defnNecessary for #$Individual
`static SubLObject`	`cyc_integer(SubLObject integer)` defnIff for #$Integer
`static SubLObject`	`cyc_list_of_type_guts(SubLObject list)`
`static SubLObject`	`cyc_list_of_type_necessary(SubLObject list)` #$defnNecessary for #$List
`static SubLObject`	`cyc_negative_integer(SubLObject integer)` defnIff for #$NegativeInteger
`static SubLObject`	`cyc_non_negative_integer(SubLObject integer)` defnIff for #$NonNegativeInteger
`static SubLObject`	`cyc_positive_integer(SubLObject integer)` defnIff for #$PositiveInteger
`static SubLObject`	`cyc_subl_template(SubLObject obj)` defnIff for #$SubLTemplate
`static SubLObject`	`cyc_system_integer(SubLObject integer)` defnIff for #$SubLInteger
`static SubLObject`	`cyc_system_string_p(SubLObject object)`
`static SubLObject`	`cycl_subl_symbol_p(SubLObject object)`
`static SubLObject`	`declare_collection_defns_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`hl_formula_p(SubLObject object)`
`static SubLObject`	`init_collection_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_collection_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

$list1

public static final SubLList $list1

$sym2$CYC_INDIVIDUAL_NECESSARY

public static final SubLSymbol $sym2$CYC_INDIVIDUAL_NECESSARY

$sym3$CYCL_EXPRESSION_

public static final SubLSymbol $sym3$CYCL_EXPRESSION_

$sym4$EL_EXPRESSION_

public static final SubLSymbol $sym4$EL_EXPRESSION_

$sym5$HL_EXPRESSION_P

public static final SubLSymbol $sym5$HL_EXPRESSION_P

$sym6$CYCL_OPEN_DENOTATIONAL_TERM_

public static final SubLSymbol $sym6$CYCL_OPEN_DENOTATIONAL_TERM_

$sym7$CYCL_CLOSED_DENOTATIONAL_TERM_

public static final SubLSymbol $sym7$CYCL_CLOSED_DENOTATIONAL_TERM_

$sym8$CYCL_REIFIABLE_DENOTATIONAL_TERM_

public static final SubLSymbol $sym8$CYCL_REIFIABLE_DENOTATIONAL_TERM_

$sym9$CYCL_REIFIED_DENOTATIONAL_TERM_

public static final SubLSymbol $sym9$CYCL_REIFIED_DENOTATIONAL_TERM_

$sym10$HL_CLOSED_DENOTATIONAL_TERM_P

public static final SubLSymbol $sym10$HL_CLOSED_DENOTATIONAL_TERM_P

$sym11$CYCL_REPRESENTED_ATOMIC_TERM_P

public static final SubLSymbol $sym11$CYCL_REPRESENTED_ATOMIC_TERM_P

$sym12$CYCL_REPRESENTED_TERM_

public static final SubLSymbol $sym12$CYCL_REPRESENTED_TERM_

$sym13$CYC_SYSTEM_TERM_P

public static final SubLSymbol $sym13$CYC_SYSTEM_TERM_P

$sym14$CYC_SYSTEM_CHARACTER_P

public static final SubLSymbol $sym14$CYC_SYSTEM_CHARACTER_P

$sym15$CYC_SYSTEM_STRING_P

public static final SubLSymbol $sym15$CYC_SYSTEM_STRING_P

$sym16$CYC_SYSTEM_REAL_NUMBER_P

public static final SubLSymbol $sym16$CYC_SYSTEM_REAL_NUMBER_P

$sym17$CYC_SYSTEM_NON_VARIABLE_SYMBOL_P

public static final SubLSymbol $sym17$CYC_SYSTEM_NON_VARIABLE_SYMBOL_P

$sym18$CYCL_SUBL_SYMBOL_P

public static final SubLSymbol $sym18$CYCL_SUBL_SYMBOL_P

$sym19$CYCL_ATOMIC_TERM_P

public static final SubLSymbol $sym19$CYCL_ATOMIC_TERM_P

$sym20$CYCL_CLOSED_ATOMIC_TERM_P

public static final SubLSymbol $sym20$CYCL_CLOSED_ATOMIC_TERM_P

$sym21$HL_NON_ATOMIC_TERM_P

public static final SubLSymbol $sym21$HL_NON_ATOMIC_TERM_P

$sym22$CYCL_NON_ATOMIC_TERM_

public static final SubLSymbol $sym22$CYCL_NON_ATOMIC_TERM_

$sym23$EL_NON_ATOMIC_TERM_

public static final SubLSymbol $sym23$EL_NON_ATOMIC_TERM_

$sym24$HL_INDEXED_TERM_P

public static final SubLSymbol $sym24$HL_INDEXED_TERM_P

$sym25$CYCL_INDEXED_TERM_

public static final SubLSymbol $sym25$CYCL_INDEXED_TERM_

$sym26$CYCL_OPEN_NON_ATOMIC_TERM_

public static final SubLSymbol $sym26$CYCL_OPEN_NON_ATOMIC_TERM_

$sym27$CYCL_CLOSED_NON_ATOMIC_TERM_

public static final SubLSymbol $sym27$CYCL_CLOSED_NON_ATOMIC_TERM_

$sym28$CYCL_REIFIABLE_NON_ATOMIC_TERM_

public static final SubLSymbol $sym28$CYCL_REIFIABLE_NON_ATOMIC_TERM_

$sym29$CYCL_NON_ATOMIC_REIFIED_TERM_

public static final SubLSymbol $sym29$CYCL_NON_ATOMIC_REIFIED_TERM_

$sym30$EL_REIFIABLE_NON_ATOMIC_TERM_

public static final SubLSymbol $sym30$EL_REIFIABLE_NON_ATOMIC_TERM_

$sym31$CYCL_CLOSED_EXPRESSION_

public static final SubLSymbol $sym31$CYCL_CLOSED_EXPRESSION_

$sym32$CYCL_OPEN_EXPRESSION_

public static final SubLSymbol $sym32$CYCL_OPEN_EXPRESSION_

$sym33$CYCL_FORMULA_

public static final SubLSymbol $sym33$CYCL_FORMULA_

$sym34$CYCL_OPEN_FORMULA_

public static final SubLSymbol $sym34$CYCL_OPEN_FORMULA_

$sym35$CYCL_CLOSED_FORMULA_

public static final SubLSymbol $sym35$CYCL_CLOSED_FORMULA_

$sym36$HL_FORMULA_P

public static final SubLSymbol $sym36$HL_FORMULA_P

$sym37$CYCL_UNBOUND_RELATION_FORMULA_P

public static final SubLSymbol $sym37$CYCL_UNBOUND_RELATION_FORMULA_P

$sym38$CYCL_SENTENCE_

public static final SubLSymbol $sym38$CYCL_SENTENCE_

$sym39$CYCL_OPEN_SENTENCE_

public static final SubLSymbol $sym39$CYCL_OPEN_SENTENCE_

$sym40$CYCL_CLOSED_SENTENCE_

public static final SubLSymbol $sym40$CYCL_CLOSED_SENTENCE_

$kw41$TERM

public static final SubLSymbol $kw41$TERM

$sym42$CYC_TYPICALITY_REFERENCE_SET_PROPERTY_

public static final SubLSymbol $sym42$CYC_TYPICALITY_REFERENCE_SET_PROPERTY_

$sym43$EL_SENTENCE_

public static final SubLSymbol $sym43$EL_SENTENCE_

$sym44$CYCL_ATOMIC_SENTENCE_

public static final SubLSymbol $sym44$CYCL_ATOMIC_SENTENCE_

$sym45$CYCL_CLOSED_ATOMIC_SENTENCE_

public static final SubLSymbol $sym45$CYCL_CLOSED_ATOMIC_SENTENCE_

$sym46$CYCL_PROPOSITIONAL_SENTENCE_

public static final SubLSymbol $sym46$CYCL_PROPOSITIONAL_SENTENCE_

$sym47$CYCL_SENTENCE_ASKABLE_

public static final SubLSymbol $sym47$CYCL_SENTENCE_ASKABLE_

$sym48$CYCL_SENTENCE_ASSERTIBLE_

public static final SubLSymbol $sym48$CYCL_SENTENCE_ASSERTIBLE_

$sym49$EL_SENTENCE_ASKABLE_

public static final SubLSymbol $sym49$EL_SENTENCE_ASKABLE_

$sym50$EL_SENTENCE_ASSERTIBLE_

public static final SubLSymbol $sym50$EL_SENTENCE_ASSERTIBLE_

$sym51$CYCL_NON_ATOMIC_TERM_ASKABLE_

public static final SubLSymbol $sym51$CYCL_NON_ATOMIC_TERM_ASKABLE_

$sym52$CYCL_NON_ATOMIC_TERM_ASSERTIBLE_

public static final SubLSymbol $sym52$CYCL_NON_ATOMIC_TERM_ASSERTIBLE_

$sym53$EL_NON_ATOMIC_TERM_ASKABLE_

public static final SubLSymbol $sym53$EL_NON_ATOMIC_TERM_ASKABLE_

$sym54$EL_NON_ATOMIC_TERM_ASSERTIBLE_

public static final SubLSymbol $sym54$EL_NON_ATOMIC_TERM_ASSERTIBLE_

$sym55$CYCL_EXPRESSION_ASKABLE_

public static final SubLSymbol $sym55$CYCL_EXPRESSION_ASKABLE_

$sym56$CYCL_EXPRESSION_ASSERTIBLE_

public static final SubLSymbol $sym56$CYCL_EXPRESSION_ASSERTIBLE_

$sym57$EL_EXPRESSION_ASKABLE_

public static final SubLSymbol $sym57$EL_EXPRESSION_ASKABLE_

$sym58$EL_EXPRESSION_ASSERTIBLE_

public static final SubLSymbol $sym58$EL_EXPRESSION_ASSERTIBLE_

$sym59$CYCL_QUERY_

public static final SubLSymbol $sym59$CYCL_QUERY_

$sym60$CYCL_ASSERTION_

public static final SubLSymbol $sym60$CYCL_ASSERTION_

$sym61$CYCL_ATOMIC_ASSERTION_

public static final SubLSymbol $sym61$CYCL_ATOMIC_ASSERTION_

$sym62$CYCL_GAF_ASSERTION_

public static final SubLSymbol $sym62$CYCL_GAF_ASSERTION_

$sym63$CYCL_RULE_ASSERTION_

public static final SubLSymbol $sym63$CYCL_RULE_ASSERTION_

$sym64$CYCL_ASSERTED_ASSERTION_

public static final SubLSymbol $sym64$CYCL_ASSERTED_ASSERTION_

$sym65$CYCL_DEDUCED_ASSERTION_

public static final SubLSymbol $sym65$CYCL_DEDUCED_ASSERTION_

$sym66$CYCL_NL_SEMANTIC_ASSERTION_

public static final SubLSymbol $sym66$CYCL_NL_SEMANTIC_ASSERTION_

$const67$CanonicalizerDirectivePredicate

public static final SubLObject $const67$CanonicalizerDirectivePredicate

$sym68$CYCL_CANONICALIZER_DIRECTIVE_

public static final SubLSymbol $sym68$CYCL_CANONICALIZER_DIRECTIVE_

$const69$ReformulatorDirectivePredicate

public static final SubLObject $const69$ReformulatorDirectivePredicate

$sym70$CYCL_REFORMULATOR_DIRECTIVE_

public static final SubLSymbol $sym70$CYCL_REFORMULATOR_DIRECTIVE_

$const71$CycLReformulationRulePredicate

public static final SubLObject $const71$CycLReformulationRulePredicate

$const72$ist

public static final SubLObject $const72$ist

$sym73$CYCL_REFORMULATOR_RULE_

public static final SubLSymbol $sym73$CYCL_REFORMULATOR_RULE_

$const74$SimplifierDirectivePredicate

public static final SubLObject $const74$SimplifierDirectivePredicate

$sym75$CYCL_SIMPLIFIER_DIRECTIVE_

public static final SubLSymbol $sym75$CYCL_SIMPLIFIER_DIRECTIVE_

$sym76$HL_ASSERTION_P

public static final SubLSymbol $sym76$HL_ASSERTION_P

$sym77$EL_ASSERTION_

public static final SubLSymbol $sym77$EL_ASSERTION_

$sym78$CYC_GROUND_TERM

public static final SubLSymbol $sym78$CYC_GROUND_TERM

$sym79$CYC_REAL_NUMBER

public static final SubLSymbol $sym79$CYC_REAL_NUMBER

$sym80$CYC_SYSTEM_REAL_NUMBER

public static final SubLSymbol $sym80$CYC_SYSTEM_REAL_NUMBER

$sym81$CYC_POSITIVE_NUMBER

public static final SubLSymbol $sym81$CYC_POSITIVE_NUMBER

$sym82$CYC_NEGATIVE_NUMBER

public static final SubLSymbol $sym82$CYC_NEGATIVE_NUMBER

$sym83$CYC_NON_POSITIVE_NUMBER

public static final SubLSymbol $sym83$CYC_NON_POSITIVE_NUMBER

$sym84$CYC_NON_NEGATIVE_NUMBER

public static final SubLSymbol $sym84$CYC_NON_NEGATIVE_NUMBER

$sym85$CYC_RATIONAL_NUMBER

public static final SubLSymbol $sym85$CYC_RATIONAL_NUMBER

$float86$100_0

public static final SubLFloat $float86$100_0

$sym87$CYC_REAL_0_100

public static final SubLSymbol $sym87$CYC_REAL_0_100

$float88$1_0

public static final SubLFloat $float88$1_0

$sym89$CYC_REAL_0_1

public static final SubLSymbol $sym89$CYC_REAL_0_1

$float90$_1_0

public static final SubLFloat $float90$_1_0

$sym91$CYC_REAL_MINUS_1_TO_PLUS_1

public static final SubLSymbol $sym91$CYC_REAL_MINUS_1_TO_PLUS_1

$sym92$CYC_REAL_1_INFINITY

public static final SubLSymbol $sym92$CYC_REAL_1_INFINITY

$sym93$CYC_NONZERO_NUMBER

public static final SubLSymbol $sym93$CYC_NONZERO_NUMBER

$sym94$CYC_INTEGER

public static final SubLSymbol $sym94$CYC_INTEGER

$sym95$CYC_SYSTEM_INTEGER

public static final SubLSymbol $sym95$CYC_SYSTEM_INTEGER

$sym96$CYC_POSITIVE_INTEGER

public static final SubLSymbol $sym96$CYC_POSITIVE_INTEGER

$sym97$CYC_PRIME_NUMBER_

public static final SubLSymbol $sym97$CYC_PRIME_NUMBER_

$sym98$CONSTANT_P

public static final SubLSymbol $sym98$CONSTANT_P

$sym99$CYC_MAYBE_PRIME_NUMBER_

public static final SubLSymbol $sym99$CYC_MAYBE_PRIME_NUMBER_

$sym100$CYC_NEGATIVE_INTEGER

public static final SubLSymbol $sym100$CYC_NEGATIVE_INTEGER

$sym101$CYC_NON_POSITIVE_INTEGER

public static final SubLSymbol $sym101$CYC_NON_POSITIVE_INTEGER

$sym102$CYC_NON_NEGATIVE_INTEGER

public static final SubLSymbol $sym102$CYC_NON_NEGATIVE_INTEGER

$sym103$CYC_EVEN_NUMBER

public static final SubLSymbol $sym103$CYC_EVEN_NUMBER

$sym104$CYC_ODD_NUMBER

public static final SubLSymbol $sym104$CYC_ODD_NUMBER

$sym105$CYC_UNIVERSAL_DATE

public static final SubLSymbol $sym105$CYC_UNIVERSAL_DATE

$sym106$CYC_UNIVERSAL_SECOND

public static final SubLSymbol $sym106$CYC_UNIVERSAL_SECOND

$sym107$CYC_SET_OF_TYPE_NECESSARY

public static final SubLSymbol $sym107$CYC_SET_OF_TYPE_NECESSARY

$kw108$AGNOSTIC

public static final SubLSymbol $kw108$AGNOSTIC

$sym109$CYC_SET_OF_TYPE_SUFFICIENT

public static final SubLSymbol $sym109$CYC_SET_OF_TYPE_SUFFICIENT

$sym110$CYC_LIST_OF_TYPE_NECESSARY

public static final SubLSymbol $sym110$CYC_LIST_OF_TYPE_NECESSARY

$sym111$CYC_LIST_OF_TYPE_SUFFICIENT

public static final SubLSymbol $sym111$CYC_LIST_OF_TYPE_SUFFICIENT

$const112$instanceElementType

public static final SubLObject $const112$instanceElementType

$sym113$EXTENSIONAL_SET_

public static final SubLSymbol $sym113$EXTENSIONAL_SET_

$const114$Set_Extensional

public static final SubLObject $const114$Set_Extensional

$sym115$_EXTENSIONAL_SET__CACHING_STATE_

public static final SubLSymbol $sym115$_EXTENSIONAL_SET__CACHING_STATE_

$int116$32

public static final SubLInteger $int116$32

$sym117$CLEAR_EXTENSIONAL_SET_

public static final SubLSymbol $sym117$CLEAR_EXTENSIONAL_SET_

$kw118$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw118$_MEMOIZED_ITEM_NOT_FOUND_

$const119$TheSet

public static final SubLObject $const119$TheSet

$const120$List_Extensional

public static final SubLObject $const120$List_Extensional

$const121$instanceListMemberType

public static final SubLObject $const121$instanceListMemberType

$const122$TheList

public static final SubLObject $const122$TheList

$sym123$CYC_LIST_WITHOUT_REPETITION

public static final SubLSymbol $sym123$CYC_LIST_WITHOUT_REPETITION

$sym124$CYC_NUMERIC_STRING_NECESSARY

public static final SubLSymbol $sym124$CYC_NUMERIC_STRING_NECESSARY

$sym125$CYC_NUMERAL_STRING

public static final SubLSymbol $sym125$CYC_NUMERAL_STRING

$sym126$CYC_NUMERIC_STRING

public static final SubLSymbol $sym126$CYC_NUMERIC_STRING

$sym127$CYC_NUMBER_STRING

public static final SubLSymbol $sym127$CYC_NUMBER_STRING

$sym128$CYC_ZIP_CODE_FIVE_DIGIT

public static final SubLSymbol $sym128$CYC_ZIP_CODE_FIVE_DIGIT

$list129

public static final SubLList $list129

$sym130$CYC_ZIP_CODE_NINE_DIGIT

public static final SubLSymbol $sym130$CYC_ZIP_CODE_NINE_DIGIT

$sym131$CYC_GUID_STRING_P

public static final SubLSymbol $sym131$CYC_GUID_STRING_P

$sym132$CYC_UNICODE_DENOTING_ASCII_STRING_P

public static final SubLSymbol $sym132$CYC_UNICODE_DENOTING_ASCII_STRING_P

$sym133$CYC_ASCII_STRING_P

public static final SubLSymbol $sym133$CYC_ASCII_STRING_P

$sym134$CYC_URL

public static final SubLSymbol $sym134$CYC_URL

$sym135$DOCTOR_ME_ID_

public static final SubLSymbol $sym135$DOCTOR_ME_ID_

$sym136$CLPE_

public static final SubLSymbol $sym136$CLPE_

$sym137$CYC_QUERY_

public static final SubLSymbol $sym137$CYC_QUERY_

$sym138$CYC_SYNTACTIC_FORMULA_ARITY_OK

public static final SubLSymbol $sym138$CYC_SYNTACTIC_FORMULA_ARITY_OK

$sym139$CYC_SYNTACTIC_FORMULA

public static final SubLSymbol $sym139$CYC_SYNTACTIC_FORMULA

$sym140$FUNCTION_EXPRESSION_

public static final SubLSymbol $sym140$FUNCTION_EXPRESSION_

$sym141$CYC_RELATION_EXPRESSION_

public static final SubLSymbol $sym141$CYC_RELATION_EXPRESSION_

$sym142$EL_VARIABLE_

public static final SubLSymbol $sym142$EL_VARIABLE_

$sym143$CYC_SUBL_EXPRESSION

public static final SubLSymbol $sym143$CYC_SUBL_EXPRESSION

$sym144$CYC_SUBL_ESCAPE

public static final SubLSymbol $sym144$CYC_SUBL_ESCAPE

$sym145$CYC_SUBL_TEMPLATE

public static final SubLSymbol $sym145$CYC_SUBL_TEMPLATE

$sym146$IBQE_

public static final SubLSymbol $sym146$IBQE_

$sym147$SCALAR_POINT_VALUE_

public static final SubLSymbol $sym147$SCALAR_POINT_VALUE_

$sym148$NON_NEGATIVE_SCALAR_INTERVAL_

public static final SubLSymbol $sym148$NON_NEGATIVE_SCALAR_INTERVAL_

$sym149$POSITIVE_SCALAR_INTERVAL_

public static final SubLSymbol $sym149$POSITIVE_SCALAR_INTERVAL_

$const150$UnitOfMeasure

public static final SubLObject $const150$UnitOfMeasure

$sym151$TERM_SET_

public static final SubLSymbol $sym151$TERM_SET_

$sym152$CYCL_VAR_LIST_

public static final SubLSymbol $sym152$CYCL_VAR_LIST_

$sym153$CYC_EL_VAR_LIST_

public static final SubLSymbol $sym153$CYC_EL_VAR_LIST_

$sym154$CYC_SYSTEM_ATOM

public static final SubLSymbol $sym154$CYC_SYSTEM_ATOM

$kw155$IGNORE

public static final SubLSymbol $kw155$IGNORE

$sym156$CYC_LIST_OF_LISTS

public static final SubLSymbol $sym156$CYC_LIST_OF_LISTS

$sym157$CYC_STRING_IS_LENGTH

public static final SubLSymbol $sym157$CYC_STRING_IS_LENGTH

$const158$instanceListLength

public static final SubLObject $const158$instanceListLength

$sym159$CYC_STRING_IS_MINIMUM_LENGTH

public static final SubLSymbol $sym159$CYC_STRING_IS_MINIMUM_LENGTH

$const160$instanceListMinLength

public static final SubLObject $const160$instanceListMinLength

$sym161$CYC_STRING_IS_MAXIMUM_LENGTH

public static final SubLSymbol $sym161$CYC_STRING_IS_MAXIMUM_LENGTH

$const162$instanceListMaxLength

public static final SubLObject $const162$instanceListMaxLength

$sym163$CYC_LIST_IS_LENGTH

public static final SubLSymbol $sym163$CYC_LIST_IS_LENGTH

$sym164$CYC_SUBL_QUERY_PROPERTY_P

public static final SubLSymbol $sym164$CYC_SUBL_QUERY_PROPERTY_P

$sym165$CYC_SUBL_TV_P

public static final SubLSymbol $sym165$CYC_SUBL_TV_P

$sym166$CYC_SUBL_HL_SUPPORT_MODULE_P

public static final SubLSymbol $sym166$CYC_SUBL_HL_SUPPORT_MODULE_P

$sym167$CYC_SUBL_ASSERTED_ARGUMENT_TOKEN_P

public static final SubLSymbol $sym167$CYC_SUBL_ASSERTED_ARGUMENT_TOKEN_P

$sym168$CYC_SUBL_KCT_METRIC_IDENTIFIER_P

public static final SubLSymbol $sym168$CYC_SUBL_KCT_METRIC_IDENTIFIER_P

$int169$63

public static final SubLInteger $int169$63

$sym170$CYC_8_BYTE_INTEGER

public static final SubLSymbol $sym170$CYC_8_BYTE_INTEGER

$int171$31

public static final SubLInteger $int171$31

$sym172$CYC_4_BYTE_INTEGER

public static final SubLSymbol $sym172$CYC_4_BYTE_INTEGER

$sym173$CYC_2_BYTE_INTEGER

public static final SubLSymbol $sym173$CYC_2_BYTE_INTEGER

$sym174$CYC_1_BYTE_INTEGER

public static final SubLSymbol $sym174$CYC_1_BYTE_INTEGER

$const175$BitData

public static final SubLObject $const175$BitData

$sym176$CYC_BIT_DATATYPE

public static final SubLSymbol $sym176$CYC_BIT_DATATYPE

$sym177$CYC_BIT_STRING

public static final SubLSymbol $sym177$CYC_BIT_STRING

$list178

public static final SubLList $list178

$int179$256

public static final SubLInteger $int179$256

$sym180$CYC_IP4_ADDRESS

public static final SubLSymbol $sym180$CYC_IP4_ADDRESS

$list181

public static final SubLList $list181

$int182$33

public static final SubLInteger $int182$33

$sym183$CYC_IP4_NETWORK_ADDRESS

public static final SubLSymbol $sym183$CYC_IP4_NETWORK_ADDRESS

$sym184$CYC_LIST_IS_MINIMUM_LENGTH

public static final SubLSymbol $sym184$CYC_LIST_IS_MINIMUM_LENGTH

$sym185$CYC_LIST_IS_MAXIMUM_LENGTH

public static final SubLSymbol $sym185$CYC_LIST_IS_MAXIMUM_LENGTH

Method Detail

cyc_individual_necessary

public static final SubLObject cyc_individual_necessary(SubLObject object)

#$defnNecessary for #$Individual

cyc_system_string_p

public static final SubLObject cyc_system_string_p(SubLObject object)

cycl_subl_symbol_p

public static final SubLObject cycl_subl_symbol_p(SubLObject object)

hl_formula_p

public static final SubLObject hl_formula_p(SubLObject object)

cyc_integer

public static final SubLObject cyc_integer(SubLObject integer)

defnIff for #$Integer

cyc_system_integer

public static final SubLObject cyc_system_integer(SubLObject integer)

defnIff for #$SubLInteger

cyc_positive_integer

public static final SubLObject cyc_positive_integer(SubLObject integer)

defnIff for #$PositiveInteger

cyc_negative_integer

public static final SubLObject cyc_negative_integer(SubLObject integer)

defnIff for #$NegativeInteger

cyc_non_negative_integer

public static final SubLObject cyc_non_negative_integer(SubLObject integer)

defnIff for #$NonNegativeInteger

cyc_list_of_type_necessary

public static final SubLObject cyc_list_of_type_necessary(SubLObject list)

#$defnNecessary for #$List

cyc_list_of_type_guts

public static final SubLObject cyc_list_of_type_guts(SubLObject list)

Returns:: t, nil, or :agnostic

cyc_subl_template

public static final SubLObject cyc_subl_template(SubLObject obj)

defnIff for #$SubLTemplate

declare_collection_defns_file

public static final SubLObject declare_collection_defns_file()

init_collection_defns_file

public static final SubLObject init_collection_defns_file()

setup_collection_defns_file

public static final SubLObject setup_collection_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 collection_defns

me

myName

$list0

$list1

$sym2$CYC_INDIVIDUAL_NECESSARY

$sym3$CYCL_EXPRESSION_

$sym4$EL_EXPRESSION_

$sym5$HL_EXPRESSION_P

$sym6$CYCL_OPEN_DENOTATIONAL_TERM_

$sym7$CYCL_CLOSED_DENOTATIONAL_TERM_

$sym8$CYCL_REIFIABLE_DENOTATIONAL_TERM_

$sym9$CYCL_REIFIED_DENOTATIONAL_TERM_

$sym10$HL_CLOSED_DENOTATIONAL_TERM_P

$sym11$CYCL_REPRESENTED_ATOMIC_TERM_P

$sym12$CYCL_REPRESENTED_TERM_

$sym13$CYC_SYSTEM_TERM_P

$sym14$CYC_SYSTEM_CHARACTER_P

$sym15$CYC_SYSTEM_STRING_P

$sym16$CYC_SYSTEM_REAL_NUMBER_P

$sym17$CYC_SYSTEM_NON_VARIABLE_SYMBOL_P

$sym18$CYCL_SUBL_SYMBOL_P

$sym19$CYCL_ATOMIC_TERM_P

$sym20$CYCL_CLOSED_ATOMIC_TERM_P

$sym21$HL_NON_ATOMIC_TERM_P

$sym22$CYCL_NON_ATOMIC_TERM_

$sym23$EL_NON_ATOMIC_TERM_

$sym24$HL_INDEXED_TERM_P

$sym25$CYCL_INDEXED_TERM_

$sym26$CYCL_OPEN_NON_ATOMIC_TERM_

$sym27$CYCL_CLOSED_NON_ATOMIC_TERM_

$sym28$CYCL_REIFIABLE_NON_ATOMIC_TERM_

$sym29$CYCL_NON_ATOMIC_REIFIED_TERM_

$sym30$EL_REIFIABLE_NON_ATOMIC_TERM_

$sym31$CYCL_CLOSED_EXPRESSION_

$sym32$CYCL_OPEN_EXPRESSION_

$sym33$CYCL_FORMULA_

$sym34$CYCL_OPEN_FORMULA_

$sym35$CYCL_CLOSED_FORMULA_

$sym36$HL_FORMULA_P

$sym37$CYCL_UNBOUND_RELATION_FORMULA_P

$sym38$CYCL_SENTENCE_

$sym39$CYCL_OPEN_SENTENCE_

$sym40$CYCL_CLOSED_SENTENCE_

$kw41$TERM

$sym42$CYC_TYPICALITY_REFERENCE_SET_PROPERTY_

$sym43$EL_SENTENCE_

$sym44$CYCL_ATOMIC_SENTENCE_

$sym45$CYCL_CLOSED_ATOMIC_SENTENCE_

$sym46$CYCL_PROPOSITIONAL_SENTENCE_

$sym47$CYCL_SENTENCE_ASKABLE_

$sym48$CYCL_SENTENCE_ASSERTIBLE_

$sym49$EL_SENTENCE_ASKABLE_

$sym50$EL_SENTENCE_ASSERTIBLE_

$sym51$CYCL_NON_ATOMIC_TERM_ASKABLE_

$sym52$CYCL_NON_ATOMIC_TERM_ASSERTIBLE_

$sym53$EL_NON_ATOMIC_TERM_ASKABLE_

$sym54$EL_NON_ATOMIC_TERM_ASSERTIBLE_

$sym55$CYCL_EXPRESSION_ASKABLE_

$sym56$CYCL_EXPRESSION_ASSERTIBLE_

$sym57$EL_EXPRESSION_ASKABLE_

$sym58$EL_EXPRESSION_ASSERTIBLE_

$sym59$CYCL_QUERY_

$sym60$CYCL_ASSERTION_

$sym61$CYCL_ATOMIC_ASSERTION_

$sym62$CYCL_GAF_ASSERTION_

$sym63$CYCL_RULE_ASSERTION_

$sym64$CYCL_ASSERTED_ASSERTION_

$sym65$CYCL_DEDUCED_ASSERTION_

$sym66$CYCL_NL_SEMANTIC_ASSERTION_

$const67$CanonicalizerDirectivePredicate

$sym68$CYCL_CANONICALIZER_DIRECTIVE_

$const69$ReformulatorDirectivePredicate

$sym70$CYCL_REFORMULATOR_DIRECTIVE_

$const71$CycLReformulationRulePredicate

$const72$ist

$sym73$CYCL_REFORMULATOR_RULE_

$const74$SimplifierDirectivePredicate

$sym75$CYCL_SIMPLIFIER_DIRECTIVE_

$sym76$HL_ASSERTION_P

com.cyc.cycjava.cycl
Class collection_defns