isa

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 isa

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class isa
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`isa.$instanceof_after_adding$BinaryFunction`
`static class`	`isa.$instanceof_after_removing$BinaryFunction`

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

Field Summary
`static SubLObject`	`$const0$isa`
`static SubLObject`	`$const10$True_JustificationTruth`
`static SubLObject`	`$const117$quotedIsa`
`static SubLObject`	`$const120$CollectionIntersectionFn`
`static SubLObject`	`$const134$Collection`
`static SubLObject`	`$const148$termOfUnit`
`static SubLObject`	`$const150$resultIsa`
`static SubLObject`	`$const151$resultIsaArg`
`static SubLObject`	`$const152$interArgResultIsa`
`static SubLObject`	`$const153$interArgResultIsaReln`
`static SubLObject`	`$const160$Thing`
`static SubLObject`	`$const169$resultQuotedIsa`
`static SubLObject`	`$const170$evaluationResultQuotedIsa`
`static SubLObject`	`$const173$TheSet`
`static SubLObject`	`$const178$CollectionSubsetFn`
`static SubLObject`	`$const181$TheCollectionOf`
`static SubLObject`	`$const42$genls`
`static SubLObject`	`$const52$EverythingPSC`
`static SubLInteger`	`$int88$50`
`static SubLInteger`	`$int89$25`
`static SubLSymbol`	`$kw108$BREADTH`
`static SubLSymbol`	`$kw109$QUEUE`
`static SubLSymbol`	`$kw110$STACK`
`static SubLSymbol`	`$kw166$TRUE`
`static SubLSymbol`	`$kw183$FORWARD`
`static SubLSymbol`	`$kw207$GAF`
`static SubLSymbol`	`$kw21$INVALID_ITERATION_TERM`
`static SubLSymbol`	`$kw30$ERROR`
`static SubLSymbol`	`$kw33$CERROR`
`static SubLSymbol`	`$kw35$WARN`
`static SubLSymbol`	`$kw37$OLD`
`static SubLSymbol`	`$kw39$RESOURCE`
`static SubLList`	`$list101`
`static SubLList`	`$list103`
`static SubLList`	`$list106`
`static SubLList`	`$list111`
`static SubLList`	`$list114`
`static SubLList`	`$list116`
`static SubLList`	`$list122`
`static SubLList`	`$list124`
`static SubLList`	`$list126`
`static SubLList`	`$list129`
`static SubLList`	`$list13`
`static SubLList`	`$list138`
`static SubLList`	`$list140`
`static SubLList`	`$list143`
`static SubLList`	`$list145`
`static SubLList`	`$list147`
`static SubLList`	`$list149`
`static SubLList`	`$list15`
`static SubLList`	`$list162`
`static SubLList`	`$list17`
`static SubLList`	`$list174`
`static SubLList`	`$list177`
`static SubLList`	`$list179`
`static SubLList`	`$list180`
`static SubLList`	`$list182`
`static SubLList`	`$list199`
`static SubLList`	`$list28`
`static SubLList`	`$list3`
`static SubLList`	`$list41`
`static SubLList`	`$list43`
`static SubLList`	`$list46`
`static SubLList`	`$list48`
`static SubLList`	`$list5`
`static SubLList`	`$list56`
`static SubLList`	`$list58`
`static SubLList`	`$list6`
`static SubLList`	`$list60`
`static SubLList`	`$list62`
`static SubLList`	`$list65`
`static SubLList`	`$list68`
`static SubLList`	`$list70`
`static SubLList`	`$list73`
`static SubLList`	`$list75`
`static SubLList`	`$list77`
`static SubLList`	`$list79`
`static SubLList`	`$list81`
`static SubLList`	`$list83`
`static SubLList`	`$list85`
`static SubLList`	`$list87`
`static SubLList`	`$list97`
`static SubLList`	`$list99`
`static SubLString`	`$str102$Apply_FUNCTION_to_each_unique_ins`
`static SubLString`	`$str105$Return_the_first_encountered_non_`
`static SubLString`	`$str112$Node__a_does_not_pass_sbhl_type_t`
`static SubLString`	`$str115$Counts_the_number_of_instances_in`
`static SubLString`	`$str119$Counts_the_number_of_quoted_insta`
`static SubLString`	`$str123$Returns_whether_TERM_is_an_instan`
`static SubLString`	`$str127$is__term__an_element_of__collecti`
`static SubLString`	`$str130$is__term__an_element_of__collecti`
`static SubLString`	`$str132$Returns_whether_TERM_is_an_instan`
`static SubLString`	`$str135$_A_is_not_a_collection`
`static SubLString`	`$str139$_return_booleanp__whether_any_ter`
`static SubLString`	`$str14$Returns_the_asserted_instances_of`
`static SubLString`	`$str142$_return_booleanp__whether_TERM_is`
`static SubLString`	`$str146$Returns_justification_of__isa_TER`
`static SubLString`	`$str155$Returns_justification_of__not__is`
`static SubLString`	`$str157$Returns_whether_COLLECTION_has_an`
`static SubLString`	`$str163$Returns_in_what__most_genl__mts_T`
`static SubLString`	`$str18$Returns_the_maximal_among_the_ass`
`static SubLString`	`$str187$Returns_whether_TERM_is_a_quoted_`
`static SubLString`	`$str192$Returns_whether_TERM_is_a_quoted_`
`static SubLString`	`$str196$Returns_set_of_all_quoted_instanc`
`static SubLString`	`$str198$Apply_FUNCTION_to_every_all_quote`
`static SubLString`	`$str204$Returns_those_elements_of_COLLECT`
`static SubLString`	`$str23$Returns_the_most_specific_negated`
`static SubLString`	`$str25$Returns_the_direct_isas_of_those_`
`static SubLString`	`$str27$Returns_the_direct_instances_of_t`
`static SubLString`	`$str31$_A_is_not_a__A`
`static SubLString`	`$str34$continue_anyway`
`static SubLString`	`$str36$_A_is_not_a_valid__sbhl_type_erro`
`static SubLString`	`$str38$attempting_to_bind_direction_link`
`static SubLString`	`$str4$Returns_most_specific_collections`
`static SubLString`	`$str47$apply_FUNCTION_to_every__least_ge`
`static SubLString`	`$str50$Returns_all_collections_that_incl`
`static SubLString`	`$str55$Returns_all_instances_of_COLLECTI`
`static SubLString`	`$str59$_return_listp__all_instances_of_C`
`static SubLString`	`$str69$Returns_all_isa_of_term_TERM_that`
`static SubLString`	`$str74$Returns_all_collections_that_incl`
`static SubLString`	`$str78$Returns_set_of_all_instances_of_e`
`static SubLString`	`$str82$Returns_those_elements_of_COLLECT`
`static SubLString`	`$str86$Returns_those_elements_of_TERMS_t`
`static SubLString`	`$str9$Returns_most_general_collections_`
`static SubLString`	`$str91$Returns_all_collections_that_do_n`
`static SubLString`	`$str93$Returns_all_terms_that_are_not_me`
`static SubLString`	`$str95$Returns_those_elements_of_COLLECT`
`static SubLString`	`$str98$Apply_FUNCTION_to_every_all_isa_o`
`static SubLSymbol`	`$sym1$HL_TERM_P`
`static SubLSymbol`	`$sym100$MAP_ALL_INSTANCES`
`static SubLSymbol`	`$sym104$ANY_WRT_ALL_ISA`
`static SubLSymbol`	`$sym107$ISA__GOAL`
`static SubLSymbol`	`$sym11$EL_FORT_P`
`static SubLSymbol`	`$sym113$COUNT_ALL_INSTANCES`
`static SubLSymbol`	`$sym118$COUNT_ALL_QUOTED_INSTANCES`
`static SubLSymbol`	`$sym12$INSTANCES`
`static SubLSymbol`	`$sym121$ISA_`
`static SubLSymbol`	`$sym125$ISA_IN_MTS_`
`static SubLSymbol`	`$sym128$ISA_IN_ANY_MT_`
`static SubLSymbol`	`$sym131$ANY_ISA_`
`static SubLSymbol`	`$sym133$ISA_ANY_`
`static SubLSymbol`	`$sym136$ISA_STORED_NAUT_ARG2_P`
`static SubLSymbol`	`$sym137$ANY_ISA_ANY_`
`static SubLSymbol`	`$sym141$NOT_ISA_`
`static SubLSymbol`	`$sym144$WHY_ISA_`
`static SubLSymbol`	`$sym154$WHY_NOT_ISA_`
`static SubLSymbol`	`$sym156$INSTANCES_`
`static SubLSymbol`	`$sym158$GATHER_GENLS_MTS`
`static SubLSymbol`	`$sym159$HLMT_P`
`static SubLSymbol`	`$sym16$MAX_INSTANCES`
`static SubLSymbol`	`$sym161$MAX_FLOOR_MTS_OF_ISA_PATHS`
`static SubLSymbol`	`$sym164$LIST`
`static SubLSymbol`	`$sym165$GATHER_MIN_MTS_OF_PATHS_BETWEEN`
`static SubLSymbol`	`$sym167$CACHE_MTS_OF_ARG`
`static SubLSymbol`	`$sym168$SETS_EQUAL_`
`static SubLSymbol`	`$sym171$HLMT_EQUAL`
`static SubLSymbol`	`$sym172$KB_SET_OR_COLLECTION_P`
`static SubLSymbol`	`$sym175$INSTANCEOF_AFTER_ADDING`
`static SubLSymbol`	`$sym176$ISA_AFTER_ADDING`
`static SubLSymbol`	`$sym184$INSTANCEOF_AFTER_REMOVING`
`static SubLSymbol`	`$sym185$ISA_AFTER_REMOVING`
`static SubLSymbol`	`$sym186$QUOTED_ISA_`
`static SubLSymbol`	`$sym188$QUOTED_ISA_IN_ANY_MT_`
`static SubLSymbol`	`$sym189$ANY_QUOTED_ISA_`
`static SubLSymbol`	`$sym19$ALL_INSTANCES_WITH_MAX`
`static SubLSymbol`	`$sym190$QUOTED_ISA_ANY_`
`static SubLSymbol`	`$sym191$ALL_QUOTED_ISA_`
`static SubLSymbol`	`$sym193$NOT_QUOTED_ISA_`
`static SubLSymbol`	`$sym194$QUOTED_INSTANCES`
`static SubLSymbol`	`$sym195$UNION_ALL_QUOTED_INSTANCES`
`static SubLSymbol`	`$sym197$MAP_ALL_QUOTED_ISA`
`static SubLSymbol`	`$sym2$MIN_ISA`
`static SubLSymbol`	`$sym20$INTEGERP`
`static SubLSymbol`	`$sym200$ALL_QUOTED_ISA`
`static SubLSymbol`	`$sym201$ALL_QUOTED_ISAS_WRT`
`static SubLSymbol`	`$sym202$ALL_QUOTED_INSTANCES`
`static SubLSymbol`	`$sym203$ALL_QUOTED_ISA_AMONG`
`static SubLSymbol`	`$sym205$QUOTED_INSTANCEOF_AFTER_ADDING`
`static SubLSymbol`	`$sym206$QUOTED_INSTANCEOF_AFTER_REMOVING`
`static SubLSymbol`	`$sym22$MIN_NOT_INSTANCES`
`static SubLSymbol`	`$sym24$ISA_SIBLINGS`
`static SubLSymbol`	`$sym26$INSTANCE_SIBLINGS`
`static SubLSymbol`	`$sym29$RELEVANT_SBHL_TV_IS_GENERAL_TV`
`static SubLSymbol`	`$sym32$SBHL_TRUE_TV_P`
`static SubLSymbol`	`$sym40$SBHL_SEARCH_TRUTH_VALUE_P`
`static SubLSymbol`	`$sym44$FUNCTION_SPEC_P`
`static SubLSymbol`	`$sym45$MAP_INSTANCES`
`static SubLSymbol`	`$sym49$ALL_ISA`
`static SubLSymbol`	`$sym51$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym53$RELEVANT_MT_IS_GENL_MT_OF_LIST_MEMBER`
`static SubLSymbol`	`$sym54$ALL_INSTANCES`
`static SubLSymbol`	`$sym57$ALL_INSTANCES_IN_ALL_MTS`
`static SubLSymbol`	`$sym61$ALL_FORT_INSTANCES`
`static SubLSymbol`	`$sym63$FORT_P`
`static SubLSymbol`	`$sym64$ALL_FORT_INSTANCES_IN_ALL_MTS`
`static SubLSymbol`	`$sym66$GATHER_ISA_WRT_ISA`
`static SubLSymbol`	`$sym67$ALL_ISAS_WRT`
`static SubLSymbol`	`$sym7$RELEVANT_MT_IS_EQ`
`static SubLSymbol`	`$sym71$LISTP`
`static SubLSymbol`	`$sym72$UNION_ALL_ISA`
`static SubLSymbol`	`$sym76$UNION_ALL_INSTANCES`
`static SubLSymbol`	`$sym8$MAX_NOT_ISA`
`static SubLSymbol`	`$sym80$ALL_ISA_AMONG`
`static SubLSymbol`	`$sym84$ALL_INSTANCES_AMONG`
`static SubLSymbol`	`$sym90$ALL_NOT_ISA`
`static SubLSymbol`	`$sym92$ALL_NOT_INSTANCES`
`static SubLSymbol`	`$sym94$NOT_ISA_AMONG`
`static SubLSymbol`	`$sym96$MAP_ALL_ISA`
`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

(#$TheSetOf ?X ))), substitutes into and creates a new deduction.

Method Summary
`static SubLObject`	`all_instances(SubLObject col, SubLObject mt, SubLObject tv)` Returns all instances of COLLECTION (expensive)
`static SubLObject`	`all_isa_among(SubLObject v_term, SubLObject collections, SubLObject mt, SubLObject tv)` Returns those elements of COLLECTIONS that include TERM as an all-instance
`static SubLObject`	`all_isa(SubLObject v_term, SubLObject mt, SubLObject tv)` Returns all collections that include TERM (inexpensive)
`static SubLObject`	`asserted_isa(SubLObject v_term, SubLObject mt)`
`static SubLObject`	`asserted_isaP(SubLObject v_term, SubLObject mt)`
`static SubLObject`	`asserted_quoted_isaP(SubLObject v_term, SubLObject mt)`
`static SubLObject`	`declare_isa_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`init_isa_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`instanceof_after_adding(SubLObject source, SubLObject assertion)` Modifier.
`static SubLObject`	`instanceof_after_removing(SubLObject source, SubLObject assertion)` Modifier.
`static SubLObject`	`isa_after_adding(SubLObject source, SubLObject assertion)` Modifier.
`static SubLObject`	`isa_after_removing(SubLObject source, SubLObject assertion)` Modifier.
`static SubLObject`	`isa_in_any_mtP(SubLObject v_term, SubLObject collection)` is an element of in any mt
`static SubLObject`	`isaP(SubLObject v_term, SubLObject collection, SubLObject mt, SubLObject tv)` Returns whether TERM is an instance of COLLECTION via the SBHL, i.e.
`static SubLObject`	`possibly_propagate_isa_collection_subset_fn_the_set_of(SubLObject assertion)` If ASSERTION is of the form (#$isa (#$CollectionSubsetFn
`static SubLObject`	`possibly_propagate_isa_the_collection_of(SubLObject assertion)` If ASSERTION is of the form (#$isa (#$TheCollectionOf ?X )), substitutes into and creates a new deduction.
`static SubLObject`	`quoted_instanceof_after_adding(SubLObject source, SubLObject assertion)` Modifier.
`static SubLObject`	`quoted_isa_in_any_mtP(SubLObject v_term, SubLObject collection)` is an element of in any mt
`static SubLObject`	`quoted_isaP(SubLObject v_term, SubLObject collection, SubLObject mt, SubLObject tv)` Returns whether TERM is a quoted instance of COLLECTION via the SBHL, i.e.
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_isa_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

$const0$isa

public static final SubLObject $const0$isa

$sym1$HL_TERM_P

public static final SubLSymbol $sym1$HL_TERM_P

$sym2$MIN_ISA

public static final SubLSymbol $sym2$MIN_ISA

$list3

public static final SubLList $list3

$str4$Returns_most_specific_collections

public static final SubLString $str4$Returns_most_specific_collections

$list5

public static final SubLList $list5

$list6

public static final SubLList $list6

$sym7$RELEVANT_MT_IS_EQ

public static final SubLSymbol $sym7$RELEVANT_MT_IS_EQ

$sym8$MAX_NOT_ISA

public static final SubLSymbol $sym8$MAX_NOT_ISA

$str9$Returns_most_general_collections_

public static final SubLString $str9$Returns_most_general_collections_

$const10$True_JustificationTruth

public static final SubLObject $const10$True_JustificationTruth

$sym11$EL_FORT_P

public static final SubLSymbol $sym11$EL_FORT_P

$sym12$INSTANCES

public static final SubLSymbol $sym12$INSTANCES

$list13

public static final SubLList $list13

$str14$Returns_the_asserted_instances_of

public static final SubLString $str14$Returns_the_asserted_instances_of

$list15

public static final SubLList $list15

$sym16$MAX_INSTANCES

public static final SubLSymbol $sym16$MAX_INSTANCES

$list17

public static final SubLList $list17

$str18$Returns_the_maximal_among_the_ass

public static final SubLString $str18$Returns_the_maximal_among_the_ass

$sym19$ALL_INSTANCES_WITH_MAX

public static final SubLSymbol $sym19$ALL_INSTANCES_WITH_MAX

$sym20$INTEGERP

public static final SubLSymbol $sym20$INTEGERP

$kw21$INVALID_ITERATION_TERM

public static final SubLSymbol $kw21$INVALID_ITERATION_TERM

$sym22$MIN_NOT_INSTANCES

public static final SubLSymbol $sym22$MIN_NOT_INSTANCES

$str23$Returns_the_most_specific_negated

public static final SubLString $str23$Returns_the_most_specific_negated

$sym24$ISA_SIBLINGS

public static final SubLSymbol $sym24$ISA_SIBLINGS

$str25$Returns_the_direct_isas_of_those_

public static final SubLString $str25$Returns_the_direct_isas_of_those_

$sym26$INSTANCE_SIBLINGS

public static final SubLSymbol $sym26$INSTANCE_SIBLINGS

$str27$Returns_the_direct_instances_of_t

public static final SubLString $str27$Returns_the_direct_instances_of_t

$list28

public static final SubLList $list28

$sym29$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym29$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw30$ERROR

public static final SubLSymbol $kw30$ERROR

$str31$_A_is_not_a__A

public static final SubLString $str31$_A_is_not_a__A

$sym32$SBHL_TRUE_TV_P

public static final SubLSymbol $sym32$SBHL_TRUE_TV_P

$kw33$CERROR

public static final SubLSymbol $kw33$CERROR

$str34$continue_anyway

public static final SubLString $str34$continue_anyway

$kw35$WARN

public static final SubLSymbol $kw35$WARN

$str36$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str36$_A_is_not_a_valid__sbhl_type_erro

$kw37$OLD

public static final SubLSymbol $kw37$OLD

$str38$attempting_to_bind_direction_link

public static final SubLString $str38$attempting_to_bind_direction_link

$kw39$RESOURCE

public static final SubLSymbol $kw39$RESOURCE

$sym40$SBHL_SEARCH_TRUTH_VALUE_P

public static final SubLSymbol $sym40$SBHL_SEARCH_TRUTH_VALUE_P

$list41

public static final SubLList $list41

$const42$genls

public static final SubLObject $const42$genls

$list43

public static final SubLList $list43

$sym44$FUNCTION_SPEC_P

public static final SubLSymbol $sym44$FUNCTION_SPEC_P

$sym45$MAP_INSTANCES

public static final SubLSymbol $sym45$MAP_INSTANCES

$list46

public static final SubLList $list46

$str47$apply_FUNCTION_to_every__least_ge

public static final SubLString $str47$apply_FUNCTION_to_every__least_ge

$list48

public static final SubLList $list48

$sym49$ALL_ISA

public static final SubLSymbol $sym49$ALL_ISA

$str50$Returns_all_collections_that_incl

public static final SubLString $str50$Returns_all_collections_that_incl

$sym51$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym51$RELEVANT_MT_IS_EVERYTHING

$const52$EverythingPSC

public static final SubLObject $const52$EverythingPSC

$sym53$RELEVANT_MT_IS_GENL_MT_OF_LIST_MEMBER

public static final SubLSymbol $sym53$RELEVANT_MT_IS_GENL_MT_OF_LIST_MEMBER

$sym54$ALL_INSTANCES

public static final SubLSymbol $sym54$ALL_INSTANCES

$str55$Returns_all_instances_of_COLLECTI

public static final SubLString $str55$Returns_all_instances_of_COLLECTI

$list56

public static final SubLList $list56

$sym57$ALL_INSTANCES_IN_ALL_MTS

public static final SubLSymbol $sym57$ALL_INSTANCES_IN_ALL_MTS

$list58

public static final SubLList $list58

$str59$_return_listp__all_instances_of_C

public static final SubLString $str59$_return_listp__all_instances_of_C

$list60

public static final SubLList $list60

$sym61$ALL_FORT_INSTANCES

public static final SubLSymbol $sym61$ALL_FORT_INSTANCES

$list62

public static final SubLList $list62

$sym63$FORT_P

public static final SubLSymbol $sym63$FORT_P

$sym64$ALL_FORT_INSTANCES_IN_ALL_MTS

public static final SubLSymbol $sym64$ALL_FORT_INSTANCES_IN_ALL_MTS

$list65

public static final SubLList $list65

$sym66$GATHER_ISA_WRT_ISA

public static final SubLSymbol $sym66$GATHER_ISA_WRT_ISA

$sym67$ALL_ISAS_WRT

public static final SubLSymbol $sym67$ALL_ISAS_WRT

$list68

public static final SubLList $list68

$str69$Returns_all_isa_of_term_TERM_that

public static final SubLString $str69$Returns_all_isa_of_term_TERM_that

$list70

public static final SubLList $list70

$sym71$LISTP

public static final SubLSymbol $sym71$LISTP

$sym72$UNION_ALL_ISA

public static final SubLSymbol $sym72$UNION_ALL_ISA

$list73

public static final SubLList $list73

$str74$Returns_all_collections_that_incl

public static final SubLString $str74$Returns_all_collections_that_incl

$list75

public static final SubLList $list75

$sym76$UNION_ALL_INSTANCES

public static final SubLSymbol $sym76$UNION_ALL_INSTANCES

$list77

public static final SubLList $list77

$str78$Returns_set_of_all_instances_of_e

public static final SubLString $str78$Returns_set_of_all_instances_of_e

$list79

public static final SubLList $list79

$sym80$ALL_ISA_AMONG

public static final SubLSymbol $sym80$ALL_ISA_AMONG

$list81

public static final SubLList $list81

$str82$Returns_those_elements_of_COLLECT

public static final SubLString $str82$Returns_those_elements_of_COLLECT

$list83

public static final SubLList $list83

$sym84$ALL_INSTANCES_AMONG

public static final SubLSymbol $sym84$ALL_INSTANCES_AMONG

$list85

public static final SubLList $list85

$str86$Returns_those_elements_of_TERMS_t

public static final SubLString $str86$Returns_those_elements_of_TERMS_t

$list87

public static final SubLList $list87

$int88$50

public static final SubLInteger $int88$50

$int89$25

public static final SubLInteger $int89$25

$sym90$ALL_NOT_ISA

public static final SubLSymbol $sym90$ALL_NOT_ISA

$str91$Returns_all_collections_that_do_n

public static final SubLString $str91$Returns_all_collections_that_do_n

$sym92$ALL_NOT_INSTANCES

public static final SubLSymbol $sym92$ALL_NOT_INSTANCES

$str93$Returns_all_terms_that_are_not_me

public static final SubLString $str93$Returns_all_terms_that_are_not_me

$sym94$NOT_ISA_AMONG

public static final SubLSymbol $sym94$NOT_ISA_AMONG

$str95$Returns_those_elements_of_COLLECT

public static final SubLString $str95$Returns_those_elements_of_COLLECT

$sym96$MAP_ALL_ISA

public static final SubLSymbol $sym96$MAP_ALL_ISA

$list97

public static final SubLList $list97

$str98$Apply_FUNCTION_to_every_all_isa_o

public static final SubLString $str98$Apply_FUNCTION_to_every_all_isa_o

$list99

public static final SubLList $list99

$sym100$MAP_ALL_INSTANCES

public static final SubLSymbol $sym100$MAP_ALL_INSTANCES

$list101

public static final SubLList $list101

$str102$Apply_FUNCTION_to_each_unique_ins

public static final SubLString $str102$Apply_FUNCTION_to_each_unique_ins

$list103

public static final SubLList $list103

$sym104$ANY_WRT_ALL_ISA

public static final SubLSymbol $sym104$ANY_WRT_ALL_ISA

$str105$Return_the_first_encountered_non_

public static final SubLString $str105$Return_the_first_encountered_non_

$list106

public static final SubLList $list106

$sym107$ISA__GOAL

public static final SubLSymbol $sym107$ISA__GOAL

$kw108$BREADTH

public static final SubLSymbol $kw108$BREADTH

$kw109$QUEUE

public static final SubLSymbol $kw109$QUEUE

$kw110$STACK

public static final SubLSymbol $kw110$STACK

$list111

public static final SubLList $list111

$str112$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str112$Node__a_does_not_pass_sbhl_type_t

$sym113$COUNT_ALL_INSTANCES

public static final SubLSymbol $sym113$COUNT_ALL_INSTANCES

$list114

public static final SubLList $list114

$str115$Counts_the_number_of_instances_in

public static final SubLString $str115$Counts_the_number_of_instances_in

$list116

public static final SubLList $list116

$const117$quotedIsa

public static final SubLObject $const117$quotedIsa

$sym118$COUNT_ALL_QUOTED_INSTANCES

public static final SubLSymbol $sym118$COUNT_ALL_QUOTED_INSTANCES

$str119$Counts_the_number_of_quoted_insta

public static final SubLString $str119$Counts_the_number_of_quoted_insta

$const120$CollectionIntersectionFn

public static final SubLObject $const120$CollectionIntersectionFn

$sym121$ISA_

public static final SubLSymbol $sym121$ISA_

$list122

public static final SubLList $list122

$str123$Returns_whether_TERM_is_an_instan

public static final SubLString $str123$Returns_whether_TERM_is_an_instan

$list124

public static final SubLList $list124

$sym125$ISA_IN_MTS_

public static final SubLSymbol $sym125$ISA_IN_MTS_

$list126

public static final SubLList $list126

$str127$isterman_element_of__collecti

public static final SubLString $str127$is__term__an_element_of__collecti

$sym128$ISA_IN_ANY_MT_

public static final SubLSymbol $sym128$ISA_IN_ANY_MT_

$list129

public static final SubLList $list129

$str130$isterman_element_of__collecti

public static final SubLString $str130$is__term__an_element_of__collecti

$sym131$ANY_ISA_

public static final SubLSymbol $sym131$ANY_ISA_

$str132$Returns_whether_TERM_is_an_instan

public static final SubLString $str132$Returns_whether_TERM_is_an_instan

$sym133$ISA_ANY_

public static final SubLSymbol $sym133$ISA_ANY_

$const134$Collection

public static final SubLObject $const134$Collection

$str135$_A_is_not_a_collection

public static final SubLString $str135$_A_is_not_a_collection

$sym136$ISA_STORED_NAUT_ARG2_P

public static final SubLSymbol $sym136$ISA_STORED_NAUT_ARG2_P

$sym137$ANY_ISA_ANY_

public static final SubLSymbol $sym137$ANY_ISA_ANY_

$list138

public static final SubLList $list138

$str139$_return_booleanp__whether_any_ter

public static final SubLString $str139$_return_booleanp__whether_any_ter

$list140

public static final SubLList $list140

$sym141$NOT_ISA_

public static final SubLSymbol $sym141$NOT_ISA_

$str142$_return_booleanp__whether_TERM_is

public static final SubLString $str142$_return_booleanp__whether_TERM_is

$list143

public static final SubLList $list143

$sym144$WHY_ISA_

public static final SubLSymbol $sym144$WHY_ISA_

$list145

public static final SubLList $list145

$str146$Returns_justification_of__isa_TER

public static final SubLString $str146$Returns_justification_of__isa_TER

$list147

public static final SubLList $list147

$const148$termOfUnit

public static final SubLObject $const148$termOfUnit

$list149

public static final SubLList $list149

$const150$resultIsa

public static final SubLObject $const150$resultIsa

$const151$resultIsaArg

public static final SubLObject $const151$resultIsaArg

$const152$interArgResultIsa

public static final SubLObject $const152$interArgResultIsa

$const153$interArgResultIsaReln

public static final SubLObject $const153$interArgResultIsaReln

$sym154$WHY_NOT_ISA_

public static final SubLSymbol $sym154$WHY_NOT_ISA_

$str155$Returns_justification_ofnotis

public static final SubLString $str155$Returns_justification_of__not__is

$sym156$INSTANCES_

public static final SubLSymbol $sym156$INSTANCES_

$str157$Returns_whether_COLLECTION_has_an

public static final SubLString $str157$Returns_whether_COLLECTION_has_an

$sym158$GATHER_GENLS_MTS

public static final SubLSymbol $sym158$GATHER_GENLS_MTS

$sym159$HLMT_P

public static final SubLSymbol $sym159$HLMT_P

$const160$Thing

public static final SubLObject $const160$Thing

$sym161$MAX_FLOOR_MTS_OF_ISA_PATHS

public static final SubLSymbol $sym161$MAX_FLOOR_MTS_OF_ISA_PATHS

$list162

public static final SubLList $list162

$str163$Returns_in_what__most_genl__mts_T

public static final SubLString $str163$Returns_in_what__most_genl__mts_T

$sym164$LIST

public static final SubLSymbol $sym164$LIST

$sym165$GATHER_MIN_MTS_OF_PATHS_BETWEEN

public static final SubLSymbol $sym165$GATHER_MIN_MTS_OF_PATHS_BETWEEN

$kw166$TRUE

public static final SubLSymbol $kw166$TRUE

$sym167$CACHE_MTS_OF_ARG

public static final SubLSymbol $sym167$CACHE_MTS_OF_ARG

$sym168$SETS_EQUAL_

public static final SubLSymbol $sym168$SETS_EQUAL_

$const169$resultQuotedIsa

public static final SubLObject $const169$resultQuotedIsa

$const170$evaluationResultQuotedIsa

public static final SubLObject $const170$evaluationResultQuotedIsa

$sym171$HLMT_EQUAL

public static final SubLSymbol $sym171$HLMT_EQUAL

$sym172$KB_SET_OR_COLLECTION_P

public static final SubLSymbol $sym172$KB_SET_OR_COLLECTION_P

$const173$TheSet

public static final SubLObject $const173$TheSet

$list174

public static final SubLList $list174

$sym175$INSTANCEOF_AFTER_ADDING

public static final SubLSymbol $sym175$INSTANCEOF_AFTER_ADDING

$sym176$ISA_AFTER_ADDING

public static final SubLSymbol $sym176$ISA_AFTER_ADDING

$list177

public static final SubLList $list177

$const178$CollectionSubsetFn

public static final SubLObject $const178$CollectionSubsetFn

$list179

public static final SubLList $list179

$list180

public static final SubLList $list180

$const181$TheCollectionOf

public static final SubLObject $const181$TheCollectionOf

$list182

public static final SubLList $list182

$kw183$FORWARD

public static final SubLSymbol $kw183$FORWARD

$sym184$INSTANCEOF_AFTER_REMOVING

public static final SubLSymbol $sym184$INSTANCEOF_AFTER_REMOVING

$sym185$ISA_AFTER_REMOVING

public static final SubLSymbol $sym185$ISA_AFTER_REMOVING

$sym186$QUOTED_ISA_

public static final SubLSymbol $sym186$QUOTED_ISA_

$str187$Returns_whether_TERM_is_a_quoted_

public static final SubLString $str187$Returns_whether_TERM_is_a_quoted_

$sym188$QUOTED_ISA_IN_ANY_MT_

public static final SubLSymbol $sym188$QUOTED_ISA_IN_ANY_MT_

$sym189$ANY_QUOTED_ISA_

public static final SubLSymbol $sym189$ANY_QUOTED_ISA_

$sym190$QUOTED_ISA_ANY_

public static final SubLSymbol $sym190$QUOTED_ISA_ANY_

$sym191$ALL_QUOTED_ISA_

public static final SubLSymbol $sym191$ALL_QUOTED_ISA_

$str192$Returns_whether_TERM_is_a_quoted_

public static final SubLString $str192$Returns_whether_TERM_is_a_quoted_

$sym193$NOT_QUOTED_ISA_

public static final SubLSymbol $sym193$NOT_QUOTED_ISA_

$sym194$QUOTED_INSTANCES

public static final SubLSymbol $sym194$QUOTED_INSTANCES

$sym195$UNION_ALL_QUOTED_INSTANCES

public static final SubLSymbol $sym195$UNION_ALL_QUOTED_INSTANCES

$str196$Returns_set_of_all_quoted_instanc

public static final SubLString $str196$Returns_set_of_all_quoted_instanc

$sym197$MAP_ALL_QUOTED_ISA

public static final SubLSymbol $sym197$MAP_ALL_QUOTED_ISA

$str198$Apply_FUNCTION_to_every_all_quote

public static final SubLString $str198$Apply_FUNCTION_to_every_all_quote

$list199

public static final SubLList $list199

$sym200$ALL_QUOTED_ISA

public static final SubLSymbol $sym200$ALL_QUOTED_ISA

$sym201$ALL_QUOTED_ISAS_WRT

public static final SubLSymbol $sym201$ALL_QUOTED_ISAS_WRT

$sym202$ALL_QUOTED_INSTANCES

public static final SubLSymbol $sym202$ALL_QUOTED_INSTANCES

$sym203$ALL_QUOTED_ISA_AMONG

public static final SubLSymbol $sym203$ALL_QUOTED_ISA_AMONG

$str204$Returns_those_elements_of_COLLECT

public static final SubLString $str204$Returns_those_elements_of_COLLECT

$sym205$QUOTED_INSTANCEOF_AFTER_ADDING

public static final SubLSymbol $sym205$QUOTED_INSTANCEOF_AFTER_ADDING

$sym206$QUOTED_INSTANCEOF_AFTER_REMOVING

public static final SubLSymbol $sym206$QUOTED_INSTANCEOF_AFTER_REMOVING

$kw207$GAF

public static final SubLSymbol $kw207$GAF

Method Detail

all_isa

public static final SubLObject all_isa(SubLObject v_term,
                                       SubLObject mt,
                                       SubLObject tv)

Returns all collections that include TERM (inexpensive)

all_instances

public static final SubLObject all_instances(SubLObject col,
                                             SubLObject mt,
                                             SubLObject tv)

Returns all instances of COLLECTION (expensive)

all_isa_among

public static final SubLObject all_isa_among(SubLObject v_term,
                                             SubLObject collections,
                                             SubLObject mt,
                                             SubLObject tv)

Returns those elements of COLLECTIONS that include TERM as an all-instance

isaP

public static final SubLObject isaP(SubLObject v_term,
                                    SubLObject collection,
                                    SubLObject mt,
                                    SubLObject tv)

Returns whether TERM is an instance of COLLECTION via the SBHL, i.e. isa and genls assertions.

See Also:: has-type?, quiet-has-type?

isa_in_any_mtP

public static final SubLObject isa_in_any_mtP(SubLObject v_term,
                                              SubLObject collection)

is an element of in any mt

asserted_isaP

public static final SubLObject asserted_isaP(SubLObject v_term,
                                             SubLObject mt)

Returns:: booleanp; whether there are any asserted true isa links for TERM.

asserted_isa

public static final SubLObject asserted_isa(SubLObject v_term,
                                            SubLObject mt)

Returns:: listp; the asserted true isa links for TERM in MT / *mt*.

instanceof_after_adding

public static final SubLObject instanceof_after_adding(SubLObject source,
                                                       SubLObject assertion)

Modifier. Adds sbhl links with @see sbhl-after-adding.

isa_after_adding

public static final SubLObject isa_after_adding(SubLObject source,
                                                SubLObject assertion)

Modifier. Adds sbhl links with @see sbhl-after-adding.

possibly_propagate_isa_collection_subset_fn_the_set_of

public static final SubLObject possibly_propagate_isa_collection_subset_fn_the_set_of(SubLObject assertion)

If ASSERTION is of the form (#$isa (#$CollectionSubsetFn (#$TheSetOf ?X ))), substitutes into and creates a new deduction. Copied-n-edited from @xref possibly-propagate-isa-the-collection-of.

possibly_propagate_isa_the_collection_of

public static final SubLObject possibly_propagate_isa_the_collection_of(SubLObject assertion)

If ASSERTION is of the form (#$isa (#$TheCollectionOf ?X )), substitutes into and creates a new deduction. Copied-n-edited from @xref cyc-add-element-of.

instanceof_after_removing

public static final SubLObject instanceof_after_removing(SubLObject source,
                                                         SubLObject assertion)

Modifier. Removes sbhl links with @see sbhl-after-removing.

isa_after_removing

public static final SubLObject isa_after_removing(SubLObject source,
                                                  SubLObject assertion)

Modifier. Removes sbhl links with @see sbhl-after-removing.

quoted_isaP

public static final SubLObject quoted_isaP(SubLObject v_term,
                                           SubLObject collection,
                                           SubLObject mt,
                                           SubLObject tv)

Returns whether TERM is a quoted instance of COLLECTION via the SBHL, i.e. quotedIsa and genls assertions.

See Also:: has-type?, quiet-has-type?

quoted_isa_in_any_mtP

public static final SubLObject quoted_isa_in_any_mtP(SubLObject v_term,
                                                     SubLObject collection)

is an element of in any mt

asserted_quoted_isaP

public static final SubLObject asserted_quoted_isaP(SubLObject v_term,
                                                    SubLObject mt)

Returns:: booleanp; whether there are any asserted true isa links for TERM.

quoted_instanceof_after_adding

public static final SubLObject quoted_instanceof_after_adding(SubLObject source,
                                                              SubLObject assertion)

Modifier. Adds sbhl links with @see sbhl-after-adding.

declare_isa_file

public static final SubLObject declare_isa_file()

init_isa_file

public static final SubLObject init_isa_file()

setup_isa_file

public static final SubLObject setup_isa_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 isa

me

myName

$const0$isa

$sym1$HL_TERM_P

$sym2$MIN_ISA

$list3

$str4$Returns_most_specific_collections

$list5

$list6

$sym7$RELEVANT_MT_IS_EQ

$sym8$MAX_NOT_ISA

$str9$Returns_most_general_collections_

$const10$True_JustificationTruth

$sym11$EL_FORT_P

$sym12$INSTANCES

$list13

$str14$Returns_the_asserted_instances_of

$list15

$sym16$MAX_INSTANCES

$list17

$str18$Returns_the_maximal_among_the_ass

$sym19$ALL_INSTANCES_WITH_MAX

$sym20$INTEGERP

$kw21$INVALID_ITERATION_TERM

$sym22$MIN_NOT_INSTANCES

$str23$Returns_the_most_specific_negated

$sym24$ISA_SIBLINGS

$str25$Returns_the_direct_isas_of_those_

$sym26$INSTANCE_SIBLINGS

$str27$Returns_the_direct_instances_of_t

$list28

$sym29$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw30$ERROR

$str31$_A_is_not_a__A

$sym32$SBHL_TRUE_TV_P

$kw33$CERROR

$str34$continue_anyway

$kw35$WARN

$str36$_A_is_not_a_valid__sbhl_type_erro

$kw37$OLD

$str38$attempting_to_bind_direction_link

$kw39$RESOURCE

$sym40$SBHL_SEARCH_TRUTH_VALUE_P

$list41

$const42$genls

$list43

$sym44$FUNCTION_SPEC_P

$sym45$MAP_INSTANCES

$list46

$str47$apply_FUNCTION_to_every__least_ge

$list48

$sym49$ALL_ISA

$str50$Returns_all_collections_that_incl

$sym51$RELEVANT_MT_IS_EVERYTHING

$const52$EverythingPSC

$sym53$RELEVANT_MT_IS_GENL_MT_OF_LIST_MEMBER

$sym54$ALL_INSTANCES

$str55$Returns_all_instances_of_COLLECTI

$list56

$sym57$ALL_INSTANCES_IN_ALL_MTS

$list58

$str59$_return_listp__all_instances_of_C

$list60

$sym61$ALL_FORT_INSTANCES

$list62

$sym63$FORT_P

$sym64$ALL_FORT_INSTANCES_IN_ALL_MTS

$list65

$sym66$GATHER_ISA_WRT_ISA

$sym67$ALL_ISAS_WRT

$list68

$str69$Returns_all_isa_of_term_TERM_that

$list70

$sym71$LISTP

$sym72$UNION_ALL_ISA

$list73

$str74$Returns_all_collections_that_incl

$list75

$sym76$UNION_ALL_INSTANCES

com.cyc.cycjava.cycl
Class isa

$str127$isterman_element_of__collecti

$str130$isterman_element_of__collecti