kb_accessors

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 kb_accessors

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class kb_accessors
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`kb_accessors.$clear_guess_the_cyclist_from_user_name$ZeroArityFunction`
`static class`	`kb_accessors.$fast_non_skolem_indeterminate_termP$UnaryFunction`

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

Field Summary
`static SubLObject`	`$const100$arg6Isa`
`static SubLObject`	`$const103$arg1QuotedIsa`
`static SubLObject`	`$const104$arg2QuotedIsa`
`static SubLObject`	`$const105$arg3QuotedIsa`
`static SubLObject`	`$const106$arg4QuotedIsa`
`static SubLObject`	`$const107$arg5QuotedIsa`
`static SubLObject`	`$const108$arg6QuotedIsa`
`static SubLObject`	`$const112$arg1Genl`
`static SubLObject`	`$const113$arg2Genl`
`static SubLObject`	`$const114$arg3Genl`
`static SubLObject`	`$const115$arg4Genl`
`static SubLObject`	`$const116$arg5Genl`
`static SubLObject`	`$const117$arg6Genl`
`static SubLObject`	`$const118$argsGenl`
`static SubLObject`	`$const125$argIsa`
`static SubLObject`	`$const129$ArgGenlBinaryPredicate`
`static SubLObject`	`$const130$ArgGenlTernaryPredicate`
`static SubLObject`	`$const134$argAndRestGenl`
`static SubLObject`	`$const141$argGenl`
`static SubLObject`	`$const144$interArgIsa1_2`
`static SubLObject`	`$const149$interArgIsa2_1`
`static SubLObject`	`$const150$interArgIsa3_1`
`static SubLObject`	`$const151$interArgIsa4_1`
`static SubLObject`	`$const152$interArgIsa5_1`
`static SubLObject`	`$const153$interArgIsa3_2`
`static SubLObject`	`$const154$interArgIsa4_2`
`static SubLObject`	`$const155$interArgIsa5_2`
`static SubLObject`	`$const156$interArgIsa1_3`
`static SubLObject`	`$const157$interArgIsa2_3`
`static SubLObject`	`$const158$interArgIsa4_3`
`static SubLObject`	`$const159$interArgIsa5_3`
`static SubLObject`	`$const160$interArgIsa1_4`
`static SubLObject`	`$const161$interArgIsa2_4`
`static SubLObject`	`$const162$interArgIsa3_4`
`static SubLObject`	`$const163$interArgIsa5_4`
`static SubLObject`	`$const164$interArgIsa1_5`
`static SubLObject`	`$const165$interArgIsa2_5`
`static SubLObject`	`$const166$interArgIsa3_5`
`static SubLObject`	`$const167$interArgIsa4_5`
`static SubLObject`	`$const178$defnIff`
`static SubLObject`	`$const179$defnSufficient`
`static SubLObject`	`$const180$defnNecessary`
`static SubLObject`	`$const181$quotedDefnIff`
`static SubLObject`	`$const182$quotedDefnSufficient`
`static SubLObject`	`$const183$quotedDefnNecessary`
`static SubLObject`	`$const193$resultIsa`
`static SubLObject`	`$const194$resultIsaArg`
`static SubLObject`	`$const195$resultIsaArgIsa`
`static SubLObject`	`$const196$closedUnder`
`static SubLObject`	`$const197$FormulaArgFn`
`static SubLObject`	`$const198$FunctionToArg`
`static SubLObject`	`$const200$relationAllInstance`
`static SubLObject`	`$const202$evaluationResultQuotedIsa`
`static SubLObject`	`$const203$resultQuotedIsa`
`static SubLObject`	`$const204$resultGenl`
`static SubLObject`	`$const205$resultGenlArg`
`static SubLObject`	`$const209$interArgResultIsa`
`static SubLObject`	`$const211$interArgResultIsaReln`
`static SubLObject`	`$const219$interArgResultGenl`
`static SubLObject`	`$const220$interArgResultGenlReln`
`static SubLObject`	`$const221$arg1Format`
`static SubLObject`	`$const222$arg2Format`
`static SubLObject`	`$const223$arg3Format`
`static SubLObject`	`$const224$arg4Format`
`static SubLObject`	`$const225$arg5Format`
`static SubLObject`	`$const226$arg6Format`
`static SubLObject`	`$const228$SingleEntry`
`static SubLObject`	`$const229$singleEntryFormatInArgs`
`static SubLObject`	`$const231$interArgFormat1_2`
`static SubLObject`	`$const232$interArgFormat2_1`
`static SubLObject`	`$const243$requiredArg1Pred`
`static SubLObject`	`$const244$requiredArg2Pred`
`static SubLObject`	`$const25$Cyclist`
`static SubLObject`	`$const254$ArgTypePredicate`
`static SubLObject`	`$const255$genlMt`
`static SubLObject`	`$const256$fanOutArg`
`static SubLObject`	`$const258$coExtensional`
`static SubLObject`	`$const259$BookkeepingMt`
`static SubLObject`	`$const26$HumanCyclist`
`static SubLObject`	`$const261$myReviewer`
`static SubLObject`	`$const267$comment`
`static SubLObject`	`$const275$cyclistNotes`
`static SubLObject`	`$const297$scopingArg`
`static SubLObject`	`$const298$InferencePSC`
`static SubLObject`	`$const30$Set_Mathematical`
`static SubLObject`	`$const310$retainTerm`
`static SubLObject`	`$const33$Individual`
`static SubLObject`	`$const34$SetOrCollection`
`static SubLObject`	`$const349$relationAllExists`
`static SubLObject`	`$const35$FirstOrderCollection`
`static SubLObject`	`$const351$definingMt`
`static SubLObject`	`$const352$notAssertible`
`static SubLObject`	`$const353$notAssertibleCollection`
`static SubLObject`	`$const354$notAssertibleMt`
`static SubLObject`	`$const355$IndexicalConcept`
`static SubLObject`	`$const357$IndeterminateTermDenotingFunction`
`static SubLObject`	`$const358$IndeterminateTerm`
`static SubLObject`	`$const359$NonSkolemIndeterminateTerm`
`static SubLObject`	`$const36$Thing`
`static SubLObject`	`$const360$nonAbducibleRule`
`static SubLObject`	`$const361$TermExemptFromUniqueNamesAssumpti`
`static SubLObject`	`$const364$preferredEMailAddressText`
`static SubLObject`	`$const365$localEMailAddressText`
`static SubLObject`	`$const367$CyclistsMt`
`static SubLObject`	`$const368$and`
`static SubLObject`	`$const37$SubcollectionRelationFunction`
`static SubLObject`	`$const38$decontextualizedPredicate`
`static SubLObject`	`$const39$predicateConventionMt`
`static SubLObject`	`$const40$decontextualizedCollection`
`static SubLObject`	`$const41$collectionConventionMt`
`static SubLObject`	`$const42$isa`
`static SubLObject`	`$const43$genls`
`static SubLObject`	`$const44$quotedCollection`
`static SubLObject`	`$const45$quotedArgument`
`static SubLObject`	`$const46$opaqueArgument`
`static SubLObject`	`$const47$minimizeCollectionExtent`
`static SubLObject`	`$const48$minimizeExtent`
`static SubLObject`	`$const5$EverythingPSC`
`static SubLObject`	`$const50$completeExtentAsserted`
`static SubLObject`	`$const52$completeExtentAssertedForValueInA`
`static SubLObject`	`$const53$completeExtentEnumerable`
`static SubLObject`	`$const54$completeExtentEnumerableViaBackch`
`static SubLObject`	`$const55$completeExtentDecidable`
`static SubLObject`	`$const56$completeExtentEnumerableForArg`
`static SubLObject`	`$const57$completeExtentEnumerableForValueI`
`static SubLObject`	`$const58$completeExtentDecidableForValueIn`
`static SubLObject`	`$const59$completelyEnumerableCollection`
`static SubLObject`	`$const6$AtemporalNecessarilyEssentialColl`
`static SubLObject`	`$const60$collectionCompletelyEnumerableVia`
`static SubLObject`	`$const61$completelyDecidableCollection`
`static SubLObject`	`$const62$backchainRequired`
`static SubLObject`	`$const63$backchainEncouraged`
`static SubLObject`	`$const64$backchainDiscouraged`
`static SubLObject`	`$const65$backchainForbidden`
`static SubLObject`	`$const66$collectionIsaBackchainRequired`
`static SubLObject`	`$const67$collectionGenlsBackchainRequired`
`static SubLObject`	`$const68$collectionBackchainRequired`
`static SubLObject`	`$const69$collectionIsaBackchainEncouraged`
`static SubLObject`	`$const70$collectionGenlsBackchainEncourage`
`static SubLObject`	`$const71$collectionBackchainEncouraged`
`static SubLObject`	`$const74$highlyRelevantTerm`
`static SubLObject`	`$const75$irrelevantTerm`
`static SubLObject`	`$const76$skolemizeForward`
`static SubLObject`	`$const77$forwardReificationRule`
`static SubLObject`	`$const78$argsIsa`
`static SubLObject`	`$const80$argsQuotedIsa`
`static SubLObject`	`$const81$argAndRestIsa`
`static SubLObject`	`$const82$argAndRestQuotedIsa`
`static SubLObject`	`$const89$CycLSentence_Assertible`
`static SubLObject`	`$const90$CycLVariable`
`static SubLObject`	`$const91$ArgQuotedIsaBinaryPredicate`
`static SubLObject`	`$const92$ArgQuotedIsaTernaryPredicate`
`static SubLObject`	`$const95$arg1Isa`
`static SubLObject`	`$const96$arg2Isa`
`static SubLObject`	`$const97$arg3Isa`
`static SubLObject`	`$const98$arg4Isa`
`static SubLObject`	`$const99$arg5Isa`
`static SubLInteger`	`$int373$64`
`static SubLSymbol`	`$kw257$SUPERIOR_`
`static SubLSymbol`	`$kw280$SKIP`
`static SubLSymbol`	`$kw284$GAF`
`static SubLSymbol`	`$kw288$ALL`
`static SubLSymbol`	`$kw305$MAPPING_DONE`
`static SubLSymbol`	`$kw314$NEG`
`static SubLSymbol`	`$kw315$POS`
`static SubLSymbol`	`$kw323$ALLOW_OTHER_KEYS`
`static SubLSymbol`	`$kw324$MT`
`static SubLSymbol`	`$kw325$TRUTH`
`static SubLSymbol`	`$kw326$DONE`
`static SubLSymbol`	`$kw331$PREDICATE`
`static SubLSymbol`	`$kw334$BREADTH`
`static SubLSymbol`	`$kw335$QUEUE`
`static SubLSymbol`	`$kw336$STACK`
`static SubLSymbol`	`$kw338$ERROR`
`static SubLSymbol`	`$kw341$CERROR`
`static SubLSymbol`	`$kw343$WARN`
`static SubLSymbol`	`$kw375$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw72$TRUE`
`static SubLList`	`$list1`
`static SubLList`	`$list121`
`static SubLList`	`$list123`
`static SubLList`	`$list124`
`static SubLList`	`$list127`
`static SubLList`	`$list139`
`static SubLList`	`$list140`
`static SubLList`	`$list146`
`static SubLList`	`$list148`
`static SubLList`	`$list168`
`static SubLList`	`$list169`
`static SubLList`	`$list170`
`static SubLList`	`$list171`
`static SubLList`	`$list172`
`static SubLList`	`$list173`
`static SubLList`	`$list174`
`static SubLList`	`$list175`
`static SubLList`	`$list176`
`static SubLList`	`$list177`
`static SubLList`	`$list185`
`static SubLList`	`$list207`
`static SubLList`	`$list21`
`static SubLList`	`$list210`
`static SubLList`	`$list212`
`static SubLList`	`$list213`
`static SubLList`	`$list230`
`static SubLList`	`$list233`
`static SubLList`	`$list234`
`static SubLList`	`$list235`
`static SubLList`	`$list236`
`static SubLList`	`$list237`
`static SubLList`	`$list238`
`static SubLList`	`$list239`
`static SubLList`	`$list240`
`static SubLList`	`$list241`
`static SubLList`	`$list242`
`static SubLList`	`$list247`
`static SubLList`	`$list248`
`static SubLList`	`$list249`
`static SubLList`	`$list250`
`static SubLList`	`$list251`
`static SubLList`	`$list252`
`static SubLList`	`$list263`
`static SubLList`	`$list265`
`static SubLList`	`$list266`
`static SubLList`	`$list269`
`static SubLList`	`$list271`
`static SubLList`	`$list272`
`static SubLList`	`$list28`
`static SubLList`	`$list292`
`static SubLList`	`$list3`
`static SubLList`	`$list300`
`static SubLList`	`$list302`
`static SubLList`	`$list303`
`static SubLList`	`$list312`
`static SubLList`	`$list317`
`static SubLList`	`$list321`
`static SubLList`	`$list322`
`static SubLList`	`$list346`
`static SubLList`	`$list356`
`static SubLList`	`$list369`
`static SubLList`	`$list371`
`static SubLList`	`$list8`
`static SubLList`	`$list85`
`static SubLList`	`$list87`
`static SubLList`	`$list94`
`static SubLString`	`$str101$illegal_index_specification_for_a`
`static SubLString`	`$str102$illegal_argnum_specification_for_`
`static SubLString`	`$str109$illegal_index_specification_for_a`
`static SubLString`	`$str11$Return_T_iff_PREDICATE_is_an_irre`
`static SubLString`	`$str110$illegal_argnum_specification_for_`
`static SubLString`	`$str111$invalid_argument_to_inverse_argnu`
`static SubLString`	`$str122$Returns_a_list_of_the_most_specif`
`static SubLString`	`$str128$Returns_the_relations_for_which_C`
`static SubLString`	`$str13$Return_T_iff_PREDICATE_is_a_symme`
`static SubLString`	`$str131$illegal_arg_genl_pred_encountered`
`static SubLString`	`$str133$Returns_the_local_genl_constraint`
`static SubLString`	`$str135$illegal_index_specification_for_a`
`static SubLString`	`$str136$illegal_argnum_specification_for_`
`static SubLString`	`$str138$Return_a_list_of_the_most_specifi`
`static SubLString`	`$str143$Returns_a_list_of_the_predicates_`
`static SubLString`	`$str147$return_a_list_of_pairs_of___arg1_`
`static SubLString`	`$str15$Return_T_iff_PREDICATE_is_an_asym`
`static SubLString`	`$str17$Return_T_iff_PREDICATE_is_an_anti`
`static SubLString`	`$str186$Return_a_list_of_the_local_defini`
`static SubLString`	`$str188$Return_a_list_of_the_local_necess`
`static SubLString`	`$str19$Return_T_iff_PREDICATE_is_a_trans`
`static SubLString`	`$str190$Return_a_list_of_the_local_suffic`
`static SubLString`	`$str192$Return_a_list_of_all_sufficient_d`
`static SubLString`	`$str2$Return_T_iff_RELATION_is_a_relati`
`static SubLString`	`$str208$Return_a_list_of_the_collections_`
`static SubLString`	`$str216$return_the_collections_that_inclu`
`static SubLString`	`$str218$return_the_collections_that_inclu`
`static SubLString`	`$str22$Return_T_iff_FUNCTION_is_a_commut`
`static SubLString`	`$str227$illegal_arg_specification_for_arg`
`static SubLString`	`$str24$Return_T_iff_PREDICATE_is_a_predi`
`static SubLString`	`$str245$illegal_required_pred_for_require`
`static SubLString`	`$str246$illegal_arg_number_for_required_p`
`static SubLString`	`$str264$Identify_the_cyclist_who_reviewed`
`static SubLString`	`$str270$Return_the_comment_string_for_FOR`
`static SubLString`	`$str278$mapping_Cyc_assertions`
`static SubLString`	`$str286$____in_mt____s_`
`static SubLString`	`$str287$__EL____S_`
`static SubLString`	`$str289$___a___`
`static SubLString`	`$str29$Return_T_iff_TERM_is_an_individua`
`static SubLString`	`$str293$____missing_doc_preds_`
`static SubLString`	`$str294$__A`
`static SubLString`	`$str295$_____a`
`static SubLString`	`$str296$_______a`
`static SubLString`	`$str301$Return_a_list_of_all_the_assertio`
`static SubLString`	`$str313$Return_a_list_of_all__e_g___inher`
`static SubLString`	`$str318$Returns_a_list_of_all__e_g___inhe`
`static SubLString`	`$str32$Return_T_iff_TERM_is_a_set_or_col`
`static SubLString`	`$str333$iterate_over_every_gaf_assertion_`
`static SubLString`	`$str339$_A_is_not_a__A`
`static SubLString`	`$str342$continue_anyway`
`static SubLString`	`$str344$_A_is_not_a_valid__sbhl_type_erro`
`static SubLString`	`$str345$attempting_to_bind_direction_link`
`static SubLString`	`$str347$Node__a_does_not_pass_sbhl_type_t`
`static SubLString`	`$str362$_cyc_com`
`static SubLString`	`$str363$Can_t_get_the_email_address_of_a_`
`static SubLString`	`$str86$Returns_a_list_of_the_local_isa_c`
`static SubLString`	`$str9$Return_T_iff_PREDICATE_is_a_refle`
`static SubLString`	`$str93$illegal_arg_quoted_isa_pred_encou`
`static SubLSymbol`	`$sym0$RELATION_`
`static SubLSymbol`	`$sym10$IRREFLEXIVE_PREDICATE_`
`static SubLSymbol`	`$sym119$INDEXED_TERM_P`
`static SubLSymbol`	`$sym12$SYMMETRIC_PREDICATE_`
`static SubLSymbol`	`$sym120$MIN_ARGN_ISA`
`static SubLSymbol`	`$sym126$ARGN_ISA_OF`
`static SubLSymbol`	`$sym132$ARGN_GENL`
`static SubLSymbol`	`$sym137$MIN_ARGN_GENL`
`static SubLSymbol`	`$sym14$ASYMMETRIC_PREDICATE_`
`static SubLSymbol`	`$sym142$ARGN_GENL_OF`
`static SubLSymbol`	`$sym145$INTER_ARG_ISA1_2`
`static SubLSymbol`	`$sym16$ANTI_SYMMETRIC_PREDICATE_`
`static SubLSymbol`	`$sym18$TRANSITIVE_PREDICATE_`
`static SubLSymbol`	`$sym184$DEFINING_DEFNS`
`static SubLSymbol`	`$sym187$NECESSARY_DEFNS`
`static SubLSymbol`	`$sym189$SUFFICIENT_DEFNS`
`static SubLSymbol`	`$sym191$ALL_SUFFICIENT_DEFNS`
`static SubLSymbol`	`$sym199$PRED_U_V_HOLDS_IN_RELEVANT_MTS`
`static SubLSymbol`	`$sym20$COMMUTATIVE_FUNCTION_`
`static SubLSymbol`	`$sym201$MAPPING_FUNCALL_ARG`
`static SubLSymbol`	`$sym206$RESULT_ISA`
`static SubLSymbol`	`$sym214$PRED_ARG_VALUES_IN_RELEVANT_MTS`
`static SubLSymbol`	`$sym215$EVALUATION_RESULT_QUOTED_ISA`
`static SubLSymbol`	`$sym217$RESULT_QUOTED_ISA`
`static SubLSymbol`	`$sym23$BINARY_PREDICATE_`
`static SubLSymbol`	`$sym253$MTS_OF_PREDICATE_TYPE_INT`
`static SubLSymbol`	`$sym260$HLMT_P`
`static SubLSymbol`	`$sym262$REVIEWER`
`static SubLSymbol`	`$sym268$COMMENT`
`static SubLSymbol`	`$sym27$INDIVIDUAL_`
`static SubLSymbol`	`$sym273$COMMENT_IF_FORT`
`static SubLSymbol`	`$sym274$CYCLIST_NOTES`
`static SubLSymbol`	`$sym276$INDEX_ARG_REFERENCES_IN_STRING_`
`static SubLSymbol`	`$sym277$GATHER_ARG_OF_SELECTED_GAF_ASSERTION`
`static SubLSymbol`	`$sym279$STRINGP`
`static SubLSymbol`	`$sym281$CONSTANT_NAME`
`static SubLSymbol`	`$sym282$STR`
`static SubLSymbol`	`$sym283$RELEVANT_MT_IS_EQ`
`static SubLSymbol`	`$sym285$GATHER_ASSERTIONS`
`static SubLSymbol`	`$sym290$PRINT_ARG`
`static SubLSymbol`	`$sym291$GATHER_FN_OF_ARG`
`static SubLSymbol`	`$sym299$ALL_TERM_ASSERTIONS`
`static SubLSymbol`	`$sym304$MAPPING_ANSWER_FOUND_`
`static SubLSymbol`	`$sym306$RELEVANT_MT_IS_GENL_MT`
`static SubLSymbol`	`$sym307$GATHER_SOME_ASSERTIONS`
`static SubLSymbol`	`$sym308$ASSERTION_FI_FORMULA`
`static SubLSymbol`	`$sym309$ASSERTION_MENTIONS_KBA_PRED_`
`static SubLSymbol`	`$sym31$SET_OR_COLLECTION_`
`static SubLSymbol`	`$sym311$ISA_RELEVANT_ASSERTIONS`
`static SubLSymbol`	`$sym316$ISA_RELEVANT_ASSERTIONS_WRT_TYPE`
`static SubLSymbol`	`$sym319$ASSERTION_FORMULA`
`static SubLSymbol`	`$sym320$GAF_ASSERTION_`
`static SubLSymbol`	`$sym327$PRED_VAR`
`static SubLSymbol`	`$sym328$DO_ALL_FORT_INSTANCES`
`static SubLSymbol`	`$sym329$POSSIBLY_WITH_INFERENCE_MT_RELEVANCE`
`static SubLSymbol`	`$sym330$DO_GAF_ARG_INDEX`
`static SubLSymbol`	`$sym332$DO_GAFS_WRT_PRED_TYPE`
`static SubLSymbol`	`$sym337$RELEVANT_SBHL_TV_IS_GENERAL_TV`
`static SubLSymbol`	`$sym340$SBHL_TRUE_TV_P`
`static SubLSymbol`	`$sym348$GATHER_RELATION_TYPES`
`static SubLSymbol`	`$sym350$GATHER_RELATION_TYPES_SP`
`static SubLSymbol`	`$sym366$GUESS_THE_CYCLIST_FROM_USER_NAME`
`static SubLSymbol`	`$sym370$_CYCLIST`
`static SubLSymbol`	`$sym372$_GUESS_THE_CYCLIST_FROM_USER_NAME_CACHING_STATE_`
`static SubLSymbol`	`$sym374$CLEAR_GUESS_THE_CYCLIST_FROM_USER_NAME`
`static SubLSymbol`	`$sym376$POSSIBLY_UPDATE_MOST_SPECIALIZED_FORT`
`static SubLSymbol`	`$sym4$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym49$FORT_P`
`static SubLSymbol`	`$sym51$NON_NEGATIVE_INTEGER_P`
`static SubLSymbol`	`$sym7$REFLEXIVE_PREDICATE_`
`static SubLSymbol`	`$sym73$_`
`static SubLSymbol`	`$sym79$CYC_VAR_`
`static SubLSymbol`	`$sym83$INTEGERP`
`static SubLSymbol`	`$sym84$ARGN_ISA`
`static SubLSymbol`	`$sym88$ARGN_QUOTED_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

Method Summary
`static SubLObject`	`admitting_defnsP(SubLObject col, SubLObject mt)`
`static SubLObject`	`all_term_assertions(SubLObject v_term, SubLObject remove_duplicatesP)` Return a list of all the assertions indexed via the indexed term TERM.
`static SubLObject`	`anti_symmetric_predicateP(SubLObject predicate)` Return T iff PREDICATE is an anti-symmetric predicate.
`static SubLObject`	`anti_transitive_predicateP(SubLObject predicate)` Return T iff PREDICATE is an anti-transitive predicate.
`static SubLObject`	`arg_and_rest_genl_applicableP(SubLObject reln, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`arg_and_rest_genl_min_argnum(SubLObject relation, SubLObject mt)` Returns the smallest integer in an #$argAndRestGenl gaf constraining RELN if one exists, otherwise returns NIL.
`static SubLObject`	`arg_and_rest_isa_applicableP(SubLObject reln, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`arg_and_rest_isa_min_argnum(SubLObject relation, SubLObject mt)` Returns the smallest integer in an #$argAndRestIsa gaf constraining RELN if one exists, otherwise returns NIL.
`static SubLObject`	`arg_and_rest_quoted_isa_applicableP(SubLObject reln, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`arg_and_rest_quoted_isa_min_argnum(SubLObject relation, SubLObject mt)` Returns the smallest integer in an #$argAndRestQuotedIsa gaf constraining RELN if one exists, otherwise returns NIL.
`static SubLObject`	`arg_genl_inverse(SubLObject index, SubLObject reln, SubLObject mt)` Returns the appropriate predicate for constraining the inverse of the INDEXth argument of RELN.
`static SubLObject`	`arg_genl_pred_int(SubLObject index)`
`static SubLObject`	`arg_genl_pred(SubLObject index, SubLObject reln, SubLObject mt)` Returns the appropriate predicate for constraining the INDEXth argument of RELN.
`static SubLObject`	`arg_genl_preds(SubLObject argnum, SubLObject reln, SubLObject mt)` Returns the appropriate predicates for constraining the ARGNUMth argument of RELN.
`static SubLObject`	`arg_isa_inverse(SubLObject index, SubLObject reln, SubLObject mt)` Returns the appropriate predicate for constraining the inverse of the INDEXth argument of RELN.
`static SubLObject`	`arg_isa_pred_int(SubLObject index)`
`static SubLObject`	`arg_isa_pred(SubLObject index, SubLObject reln, SubLObject mt)` Returns the appropriate predicate for constraining the INDEXth argument of RELN.
`static SubLObject`	`arg_isa_preds(SubLObject argnum, SubLObject reln, SubLObject mt)` Returns the appropriate predicates for constraining the INDEXth argument of RELN.
`static SubLObject`	`arg_quoted_isa_inverse(SubLObject index, SubLObject reln, SubLObject mt)` Returns the appropriate predicate for constraining the inverse of the INDEXth argument of RELN.
`static SubLObject`	`arg_quoted_isa_pred_int(SubLObject index)`
`static SubLObject`	`arg_quoted_isa_pred(SubLObject index, SubLObject reln, SubLObject mt)` Returns the appropriate predicate for constraining the INDEXth argument of RELN.
`static SubLObject`	`arg_quoted_isa_preds(SubLObject argnum, SubLObject reln, SubLObject mt)` Returns the appropriate predicates for constraining the INDEXth argument of RELN.
`static SubLObject`	`argn_format_inverse(SubLObject n)` Returns the appropriate arg-format predicate for constraining the inverse of N.
`static SubLObject`	`argn_format_pred(SubLObject n)`
`static SubLObject`	`argn_genl(SubLObject relation, SubLObject argnum, SubLObject mt)` Returns the local genl constraints applied to the ARGNUMth argument of RELATION.
`static SubLObject`	`argn_isa_int_2(SubLObject relation, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`argn_isa_int(SubLObject relation, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`argn_isa(SubLObject relation, SubLObject argnum, SubLObject mt)` Returns a list of the local isa constraints applied to the ARGNUMth argument of RELATION (#$argsIsa conjoins with #$arg1Isa et al).
`static SubLObject`	`argn_quoted_isa_int(SubLObject relation, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`argn_quoted_isa(SubLObject relation, SubLObject argnum, SubLObject mt)` Returns a list of the local isa constraints applied to the ARGNUMth argument of RELATION (#$argsIsa conjoins with #$arg1Isa et al).
`static SubLObject`	`asserted_fan_out_arg(SubLObject pred, SubLObject mt)`
`static SubLObject`	`assertion_still_thereP(SubLObject assertion, SubLObject truth)`
`static SubLObject`	`asymmetric_predicateP(SubLObject predicate)` Return T iff PREDICATE is an asymmetric predicate.
`static SubLObject`	`backchain_forbiddenP(SubLObject predicate, SubLObject mt)`
`static SubLObject`	`backchain_requiredP(SubLObject predicate, SubLObject mt)`
`static SubLObject`	`binary_predicateP(SubLObject predicate)` Return T iff PREDICATE is a predicate of arity 2.
`static SubLObject`	`collection_backchain_requiredP(SubLObject collection, SubLObject mt)`
`static SubLObject`	`collection_convention_mt(SubLObject collection)`
`static SubLObject`	`collection_genls_backchain_requiredP(SubLObject collection, SubLObject mt)`
`static SubLObject`	`collection_isa_backchain_requiredP(SubLObject collection, SubLObject mt)`
`static SubLObject`	`common_non_skolem_indeterminate_term_denoting_functionP(SubLObject object)`
`static SubLObject`	`complete_extent_asserted_for_value_in_arg_gaf(SubLObject predicate, SubLObject value, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`complete_extent_asserted_gaf(SubLObject predicate, SubLObject mt)`
`static SubLObject`	`complete_extent_decidable_for_value_in_arg_gaf(SubLObject predicate, SubLObject value, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`complete_extent_decidable_gaf(SubLObject predicate, SubLObject mt)`
`static SubLObject`	`complete_extent_enumerable_for_arg_gaf(SubLObject predicate, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`complete_extent_enumerable_for_value_in_arg_gaf(SubLObject predicate, SubLObject value, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`complete_extent_enumerable_gaf(SubLObject predicate, SubLObject mt)`
`static SubLObject`	`completely_enumerable_collection_gaf(SubLObject collection, SubLObject mt)`
`static SubLObject`	`completely_enumerable_collectionP(SubLObject collection, SubLObject mt)`
`static SubLObject`	`cyclistP(SubLObject v_term)` Return T iff TERM is an instance of #$Cyclist somewhere.
`static SubLObject`	`declare_kb_accessors_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`decontextualized_atomic_cnfP(SubLObject cnf)`
`static SubLObject`	`decontextualized_collection_literalP(SubLObject literal)`
`static SubLObject`	`decontextualized_collectionP(SubLObject collection)` Return T iff COLLECTION is decontextualized, i.e.
`static SubLObject`	`decontextualized_literal_convention_mt(SubLObject literal)`
`static SubLObject`	`decontextualized_literalP(SubLObject literal)`
`static SubLObject`	`decontextualized_predicateP(SubLObject predicate)` Return T iff PREDICATE is decontextualized, i.e.
`static SubLObject`	`decontextualized_weakening_prohibitedP()`
`static SubLObject`	`defining_defnsP(SubLObject col, SubLObject mt)`
`static SubLObject`	`fan_out_arg(SubLObject pred, SubLObject mt)` which arg is the #$fanOutArg for hierarchically transitive PRED.
`static SubLObject`	`fast_non_skolem_indeterminate_termP(SubLObject v_term)` Will sometimes return false negatives
`static SubLObject`	`forward_reification_ruleP(SubLObject function, SubLObject rule, SubLObject mt)`
`static SubLObject`	`function_to_arg_termP(SubLObject v_term)`
`static SubLObject`	`init_kb_accessors_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`inter_arg_format_pred(SubLObject ind_arg, SubLObject dep_arg)`
`static SubLObject`	`inter_arg_format_preds_dep(SubLObject arg)`
`static SubLObject`	`inter_arg_format_preds_ind(SubLObject arg)`
`static SubLObject`	`inverse_argnum(SubLObject argnum)`
`static SubLObject`	`irreflexive_predicateP(SubLObject predicate)` Return T iff PREDICATE is an irreflexive predicate.
`static SubLObject`	`isa_pred_arg(SubLObject isa_pred)` return the arg constrained by ISA-PRED (e.g., (isa-pred-arg #$arg1Isa) -> 1)); by convention (isa-pred-arg #$argsIsa) -> 0
`static SubLObject`	`meta_result_isa(SubLObject meta_functor, SubLObject mt)` META-FUNCTOR is the functor of a function-denoting function; return the resultIsa collections inherited to instances of the resultIsa of META-FUNCTOR
`static SubLObject`	`mt_matches_convention_mtP(SubLObject given_mt, SubLObject convention_mt)`
`static SubLObject`	`necessary_defnsP(SubLObject col, SubLObject mt)`
`static SubLObject`	`non_skolem_indeterminate_term_denoting_functionP(SubLObject object)`
`static SubLObject`	`not_assertible_collectionP(SubLObject collection, SubLObject mt)`
`static SubLObject`	`not_assertible_mtP(SubLObject mt)`
`static SubLObject`	`not_assertible_predicateP(SubLObject pred, SubLObject mt)`
`static SubLObject`	`possibly_convention_mt_for_decontextualized_cnf(SubLObject mt, SubLObject cnf)`
`static SubLObject`	`predicate_convention_mt(SubLObject predicate)`
`static SubLObject`	`quoted_argumentP(SubLObject relation, SubLObject argnum)`
`static SubLObject`	`relationP(SubLObject relation)` Return T iff RELATION is a relationship.
`static SubLObject`	`result_isa(SubLObject functor, SubLObject mt)` Return a list of the collections that include as instances the results of non-predicate function constant FUNCTOR.
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`scoping_args(SubLObject relation, SubLObject mt)`
`static SubLObject`	`setup_kb_accessors_file()`
`static SubLObject`	`skolemize_forward_somewhereP(SubLObject function)`
`static SubLObject`	`skolemize_forwardP(SubLObject function, SubLObject mt)`
`static SubLObject`	`some_scoping_arg_somewhereP(SubLObject relation)`
`static SubLObject`	`sufficient_defnsP(SubLObject col, SubLObject mt)`
`static SubLObject`	`term_assertions(SubLObject v_term, SubLObject mt, SubLObject remove_duplicatesP)`
`static SubLObject`	`transitive_predicateP(SubLObject predicate)` Return T iff PREDICATE is a transitive predicate.

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

$sym0$RELATION_

public static final SubLSymbol $sym0$RELATION_

$list1

public static final SubLList $list1

$str2$Return_T_iff_RELATION_is_a_relati

public static final SubLString $str2$Return_T_iff_RELATION_is_a_relati

$list3

public static final SubLList $list3

$sym4$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym4$RELEVANT_MT_IS_EVERYTHING

$const5$EverythingPSC

public static final SubLObject $const5$EverythingPSC

$const6$AtemporalNecessarilyEssentialColl

public static final SubLObject $const6$AtemporalNecessarilyEssentialColl

$sym7$REFLEXIVE_PREDICATE_

public static final SubLSymbol $sym7$REFLEXIVE_PREDICATE_

$list8

public static final SubLList $list8

$str9$Return_T_iff_PREDICATE_is_a_refle

public static final SubLString $str9$Return_T_iff_PREDICATE_is_a_refle

$sym10$IRREFLEXIVE_PREDICATE_

public static final SubLSymbol $sym10$IRREFLEXIVE_PREDICATE_

$str11$Return_T_iff_PREDICATE_is_an_irre

public static final SubLString $str11$Return_T_iff_PREDICATE_is_an_irre

$sym12$SYMMETRIC_PREDICATE_

public static final SubLSymbol $sym12$SYMMETRIC_PREDICATE_

$str13$Return_T_iff_PREDICATE_is_a_symme

public static final SubLString $str13$Return_T_iff_PREDICATE_is_a_symme

$sym14$ASYMMETRIC_PREDICATE_

public static final SubLSymbol $sym14$ASYMMETRIC_PREDICATE_

$str15$Return_T_iff_PREDICATE_is_an_asym

public static final SubLString $str15$Return_T_iff_PREDICATE_is_an_asym

$sym16$ANTI_SYMMETRIC_PREDICATE_

public static final SubLSymbol $sym16$ANTI_SYMMETRIC_PREDICATE_

$str17$Return_T_iff_PREDICATE_is_an_anti

public static final SubLString $str17$Return_T_iff_PREDICATE_is_an_anti

$sym18$TRANSITIVE_PREDICATE_

public static final SubLSymbol $sym18$TRANSITIVE_PREDICATE_

$str19$Return_T_iff_PREDICATE_is_a_trans

public static final SubLString $str19$Return_T_iff_PREDICATE_is_a_trans

$sym20$COMMUTATIVE_FUNCTION_

public static final SubLSymbol $sym20$COMMUTATIVE_FUNCTION_

$list21

public static final SubLList $list21

$str22$Return_T_iff_FUNCTION_is_a_commut

public static final SubLString $str22$Return_T_iff_FUNCTION_is_a_commut

$sym23$BINARY_PREDICATE_

public static final SubLSymbol $sym23$BINARY_PREDICATE_

$str24$Return_T_iff_PREDICATE_is_a_predi

public static final SubLString $str24$Return_T_iff_PREDICATE_is_a_predi

$const25$Cyclist

public static final SubLObject $const25$Cyclist

$const26$HumanCyclist

public static final SubLObject $const26$HumanCyclist

$sym27$INDIVIDUAL_

public static final SubLSymbol $sym27$INDIVIDUAL_

$list28

public static final SubLList $list28

$str29$Return_T_iff_TERM_is_an_individua

public static final SubLString $str29$Return_T_iff_TERM_is_an_individua

$const30$Set_Mathematical

public static final SubLObject $const30$Set_Mathematical

$sym31$SET_OR_COLLECTION_

public static final SubLSymbol $sym31$SET_OR_COLLECTION_

$str32$Return_T_iff_TERM_is_a_set_or_col

public static final SubLString $str32$Return_T_iff_TERM_is_a_set_or_col

$const33$Individual

public static final SubLObject $const33$Individual

$const34$SetOrCollection

public static final SubLObject $const34$SetOrCollection

$const35$FirstOrderCollection

public static final SubLObject $const35$FirstOrderCollection

$const36$Thing

public static final SubLObject $const36$Thing

$const37$SubcollectionRelationFunction

public static final SubLObject $const37$SubcollectionRelationFunction

$const38$decontextualizedPredicate

public static final SubLObject $const38$decontextualizedPredicate

$const39$predicateConventionMt

public static final SubLObject $const39$predicateConventionMt

$const40$decontextualizedCollection

public static final SubLObject $const40$decontextualizedCollection

$const41$collectionConventionMt

public static final SubLObject $const41$collectionConventionMt

$const42$isa

public static final SubLObject $const42$isa

$const43$genls

public static final SubLObject $const43$genls

$const44$quotedCollection

public static final SubLObject $const44$quotedCollection

$const45$quotedArgument

public static final SubLObject $const45$quotedArgument

$const46$opaqueArgument

public static final SubLObject $const46$opaqueArgument

$const47$minimizeCollectionExtent

public static final SubLObject $const47$minimizeCollectionExtent

$const48$minimizeExtent

public static final SubLObject $const48$minimizeExtent

$sym49$FORT_P

public static final SubLSymbol $sym49$FORT_P

$const50$completeExtentAsserted

public static final SubLObject $const50$completeExtentAsserted

$sym51$NON_NEGATIVE_INTEGER_P

public static final SubLSymbol $sym51$NON_NEGATIVE_INTEGER_P

$const52$completeExtentAssertedForValueInA

public static final SubLObject $const52$completeExtentAssertedForValueInA

$const53$completeExtentEnumerable

public static final SubLObject $const53$completeExtentEnumerable

$const54$completeExtentEnumerableViaBackch

public static final SubLObject $const54$completeExtentEnumerableViaBackch

$const55$completeExtentDecidable

public static final SubLObject $const55$completeExtentDecidable

$const56$completeExtentEnumerableForArg

public static final SubLObject $const56$completeExtentEnumerableForArg

$const57$completeExtentEnumerableForValueI

public static final SubLObject $const57$completeExtentEnumerableForValueI

$const58$completeExtentDecidableForValueIn

public static final SubLObject $const58$completeExtentDecidableForValueIn

$const59$completelyEnumerableCollection

public static final SubLObject $const59$completelyEnumerableCollection

$const60$collectionCompletelyEnumerableVia

public static final SubLObject $const60$collectionCompletelyEnumerableVia

$const61$completelyDecidableCollection

public static final SubLObject $const61$completelyDecidableCollection

$const62$backchainRequired

public static final SubLObject $const62$backchainRequired

$const63$backchainEncouraged

public static final SubLObject $const63$backchainEncouraged

$const64$backchainDiscouraged

public static final SubLObject $const64$backchainDiscouraged

$const65$backchainForbidden

public static final SubLObject $const65$backchainForbidden

$const66$collectionIsaBackchainRequired

public static final SubLObject $const66$collectionIsaBackchainRequired

$const67$collectionGenlsBackchainRequired

public static final SubLObject $const67$collectionGenlsBackchainRequired

$const68$collectionBackchainRequired

public static final SubLObject $const68$collectionBackchainRequired

$const69$collectionIsaBackchainEncouraged

public static final SubLObject $const69$collectionIsaBackchainEncouraged

$const70$collectionGenlsBackchainEncourage

public static final SubLObject $const70$collectionGenlsBackchainEncourage

$const71$collectionBackchainEncouraged

public static final SubLObject $const71$collectionBackchainEncouraged

$kw72$TRUE

public static final SubLSymbol $kw72$TRUE

$sym73$_

public static final SubLSymbol $sym73$_

$const74$highlyRelevantTerm

public static final SubLObject $const74$highlyRelevantTerm

$const75$irrelevantTerm

public static final SubLObject $const75$irrelevantTerm

$const76$skolemizeForward

public static final SubLObject $const76$skolemizeForward

$const77$forwardReificationRule

public static final SubLObject $const77$forwardReificationRule

$const78$argsIsa

public static final SubLObject $const78$argsIsa

$sym79$CYC_VAR_

public static final SubLSymbol $sym79$CYC_VAR_

$const80$argsQuotedIsa

public static final SubLObject $const80$argsQuotedIsa

$const81$argAndRestIsa

public static final SubLObject $const81$argAndRestIsa

$const82$argAndRestQuotedIsa

public static final SubLObject $const82$argAndRestQuotedIsa

$sym83$INTEGERP

public static final SubLSymbol $sym83$INTEGERP

$sym84$ARGN_ISA

public static final SubLSymbol $sym84$ARGN_ISA

$list85

public static final SubLList $list85

$str86$Returns_a_list_of_the_local_isa_c

public static final SubLString $str86$Returns_a_list_of_the_local_isa_c

$list87

public static final SubLList $list87

$sym88$ARGN_QUOTED_ISA

public static final SubLSymbol $sym88$ARGN_QUOTED_ISA

$const89$CycLSentence_Assertible

public static final SubLObject $const89$CycLSentence_Assertible

$const90$CycLVariable

public static final SubLObject $const90$CycLVariable

$const91$ArgQuotedIsaBinaryPredicate

public static final SubLObject $const91$ArgQuotedIsaBinaryPredicate

$const92$ArgQuotedIsaTernaryPredicate

public static final SubLObject $const92$ArgQuotedIsaTernaryPredicate

$str93$illegal_arg_quoted_isa_pred_encou

public static final SubLString $str93$illegal_arg_quoted_isa_pred_encou

$list94

public static final SubLList $list94

$const95$arg1Isa

public static final SubLObject $const95$arg1Isa

$const96$arg2Isa

public static final SubLObject $const96$arg2Isa

$const97$arg3Isa

public static final SubLObject $const97$arg3Isa

$const98$arg4Isa

public static final SubLObject $const98$arg4Isa

$const99$arg5Isa

public static final SubLObject $const99$arg5Isa

$const100$arg6Isa

public static final SubLObject $const100$arg6Isa

$str101$illegal_index_specification_for_a

public static final SubLString $str101$illegal_index_specification_for_a

$str102$illegal_argnum_specification_for_

public static final SubLString $str102$illegal_argnum_specification_for_

$const103$arg1QuotedIsa

public static final SubLObject $const103$arg1QuotedIsa

$const104$arg2QuotedIsa

public static final SubLObject $const104$arg2QuotedIsa

$const105$arg3QuotedIsa

public static final SubLObject $const105$arg3QuotedIsa

$const106$arg4QuotedIsa

public static final SubLObject $const106$arg4QuotedIsa

$const107$arg5QuotedIsa

public static final SubLObject $const107$arg5QuotedIsa

$const108$arg6QuotedIsa

public static final SubLObject $const108$arg6QuotedIsa

$str109$illegal_index_specification_for_a

public static final SubLString $str109$illegal_index_specification_for_a

$str110$illegal_argnum_specification_for_

public static final SubLString $str110$illegal_argnum_specification_for_

$str111$invalid_argument_to_inverse_argnu

public static final SubLString $str111$invalid_argument_to_inverse_argnu

$const112$arg1Genl

public static final SubLObject $const112$arg1Genl

$const113$arg2Genl

public static final SubLObject $const113$arg2Genl

$const114$arg3Genl

public static final SubLObject $const114$arg3Genl

$const115$arg4Genl

public static final SubLObject $const115$arg4Genl

$const116$arg5Genl

public static final SubLObject $const116$arg5Genl

$const117$arg6Genl

public static final SubLObject $const117$arg6Genl

$const118$argsGenl

public static final SubLObject $const118$argsGenl

$sym119$INDEXED_TERM_P

public static final SubLSymbol $sym119$INDEXED_TERM_P

$sym120$MIN_ARGN_ISA

public static final SubLSymbol $sym120$MIN_ARGN_ISA

$list121

public static final SubLList $list121

$str122$Returns_a_list_of_the_most_specif

public static final SubLString $str122$Returns_a_list_of_the_most_specif

$list123

public static final SubLList $list123

$list124

public static final SubLList $list124

$const125$argIsa

public static final SubLObject $const125$argIsa

$sym126$ARGN_ISA_OF

public static final SubLSymbol $sym126$ARGN_ISA_OF

$list127

public static final SubLList $list127

$str128$Returns_the_relations_for_which_C

public static final SubLString $str128$Returns_the_relations_for_which_C

$const129$ArgGenlBinaryPredicate

public static final SubLObject $const129$ArgGenlBinaryPredicate

$const130$ArgGenlTernaryPredicate

public static final SubLObject $const130$ArgGenlTernaryPredicate

$str131$illegal_arg_genl_pred_encountered

public static final SubLString $str131$illegal_arg_genl_pred_encountered

$sym132$ARGN_GENL

public static final SubLSymbol $sym132$ARGN_GENL

$str133$Returns_the_local_genl_constraint

public static final SubLString $str133$Returns_the_local_genl_constraint

$const134$argAndRestGenl

public static final SubLObject $const134$argAndRestGenl

$str135$illegal_index_specification_for_a

public static final SubLString $str135$illegal_index_specification_for_a

$str136$illegal_argnum_specification_for_

public static final SubLString $str136$illegal_argnum_specification_for_

$sym137$MIN_ARGN_GENL

public static final SubLSymbol $sym137$MIN_ARGN_GENL

$str138$Return_a_list_of_the_most_specifi

public static final SubLString $str138$Return_a_list_of_the_most_specifi

$list139

public static final SubLList $list139

$list140

public static final SubLList $list140

$const141$argGenl

public static final SubLObject $const141$argGenl

$sym142$ARGN_GENL_OF

public static final SubLSymbol $sym142$ARGN_GENL_OF

$str143$Returns_a_list_of_the_predicates_

public static final SubLString $str143$Returns_a_list_of_the_predicates_

$const144$interArgIsa1_2

public static final SubLObject $const144$interArgIsa1_2

$sym145$INTER_ARG_ISA1_2

public static final SubLSymbol $sym145$INTER_ARG_ISA1_2

$list146

public static final SubLList $list146

$str147$return_a_list_of_pairs_of___arg1_

public static final SubLString $str147$return_a_list_of_pairs_of___arg1_

$list148

public static final SubLList $list148

$const149$interArgIsa2_1

public static final SubLObject $const149$interArgIsa2_1

$const150$interArgIsa3_1

public static final SubLObject $const150$interArgIsa3_1

$const151$interArgIsa4_1

public static final SubLObject $const151$interArgIsa4_1

$const152$interArgIsa5_1

public static final SubLObject $const152$interArgIsa5_1

$const153$interArgIsa3_2

public static final SubLObject $const153$interArgIsa3_2

$const154$interArgIsa4_2

public static final SubLObject $const154$interArgIsa4_2

$const155$interArgIsa5_2

public static final SubLObject $const155$interArgIsa5_2

$const156$interArgIsa1_3

public static final SubLObject $const156$interArgIsa1_3

$const157$interArgIsa2_3

public static final SubLObject $const157$interArgIsa2_3

$const158$interArgIsa4_3

public static final SubLObject $const158$interArgIsa4_3

$const159$interArgIsa5_3

public static final SubLObject $const159$interArgIsa5_3

$const160$interArgIsa1_4

public static final SubLObject $const160$interArgIsa1_4

$const161$interArgIsa2_4

public static final SubLObject $const161$interArgIsa2_4

$const162$interArgIsa3_4

public static final SubLObject $const162$interArgIsa3_4

$const163$interArgIsa5_4

public static final SubLObject $const163$interArgIsa5_4

$const164$interArgIsa1_5

public static final SubLObject $const164$interArgIsa1_5

$const165$interArgIsa2_5

public static final SubLObject $const165$interArgIsa2_5

$const166$interArgIsa3_5

public static final SubLObject $const166$interArgIsa3_5

$const167$interArgIsa4_5

public static final SubLObject $const167$interArgIsa4_5

$list168

public static final SubLList $list168

$list169

public static final SubLList $list169

$list170

public static final SubLList $list170

$list171

public static final SubLList $list171

$list172

public static final SubLList $list172

$list173

public static final SubLList $list173

$list174

public static final SubLList $list174

$list175

public static final SubLList $list175

$list176

public static final SubLList $list176

$list177

public static final SubLList $list177

$const178$defnIff

public static final SubLObject $const178$defnIff

$const179$defnSufficient

public static final SubLObject $const179$defnSufficient

$const180$defnNecessary

public static final SubLObject $const180$defnNecessary

$const181$quotedDefnIff

public static final SubLObject $const181$quotedDefnIff

$const182$quotedDefnSufficient

public static final SubLObject $const182$quotedDefnSufficient

$const183$quotedDefnNecessary

public static final SubLObject $const183$quotedDefnNecessary

$sym184$DEFINING_DEFNS

public static final SubLSymbol $sym184$DEFINING_DEFNS

$list185

public static final SubLList $list185

$str186$Return_a_list_of_the_local_defini

public static final SubLString $str186$Return_a_list_of_the_local_defini

$sym187$NECESSARY_DEFNS

public static final SubLSymbol $sym187$NECESSARY_DEFNS

$str188$Return_a_list_of_the_local_necess

public static final SubLString $str188$Return_a_list_of_the_local_necess

$sym189$SUFFICIENT_DEFNS

public static final SubLSymbol $sym189$SUFFICIENT_DEFNS

$str190$Return_a_list_of_the_local_suffic

public static final SubLString $str190$Return_a_list_of_the_local_suffic

$sym191$ALL_SUFFICIENT_DEFNS

public static final SubLSymbol $sym191$ALL_SUFFICIENT_DEFNS

$str192$Return_a_list_of_all_sufficient_d

public static final SubLString $str192$Return_a_list_of_all_sufficient_d

$const193$resultIsa

public static final SubLObject $const193$resultIsa

$const194$resultIsaArg

public static final SubLObject $const194$resultIsaArg

$const195$resultIsaArgIsa

public static final SubLObject $const195$resultIsaArgIsa

$const196$closedUnder

public static final SubLObject $const196$closedUnder

$const197$FormulaArgFn

public static final SubLObject $const197$FormulaArgFn

$const198$FunctionToArg

public static final SubLObject $const198$FunctionToArg

$sym199$PRED_U_V_HOLDS_IN_RELEVANT_MTS

public static final SubLSymbol $sym199$PRED_U_V_HOLDS_IN_RELEVANT_MTS

$const200$relationAllInstance

public static final SubLObject $const200$relationAllInstance

$sym201$MAPPING_FUNCALL_ARG

public static final SubLSymbol $sym201$MAPPING_FUNCALL_ARG

$const202$evaluationResultQuotedIsa

public static final SubLObject $const202$evaluationResultQuotedIsa

$const203$resultQuotedIsa

public static final SubLObject $const203$resultQuotedIsa

$const204$resultGenl

public static final SubLObject $const204$resultGenl

$const205$resultGenlArg

public static final SubLObject $const205$resultGenlArg

$sym206$RESULT_ISA

public static final SubLSymbol $sym206$RESULT_ISA

$list207

public static final SubLList $list207

$str208$Return_a_list_of_the_collections_

public static final SubLString $str208$Return_a_list_of_the_collections_

$const209$interArgResultIsa

public static final SubLObject $const209$interArgResultIsa

$list210

public static final SubLList $list210

$const211$interArgResultIsaReln

public static final SubLObject $const211$interArgResultIsaReln

$list212

public static final SubLList $list212

$list213

public static final SubLList $list213

$sym214$PRED_ARG_VALUES_IN_RELEVANT_MTS

public static final SubLSymbol $sym214$PRED_ARG_VALUES_IN_RELEVANT_MTS

$sym215$EVALUATION_RESULT_QUOTED_ISA

public static final SubLSymbol $sym215$EVALUATION_RESULT_QUOTED_ISA

$str216$return_the_collections_that_inclu

public static final SubLString $str216$return_the_collections_that_inclu

$sym217$RESULT_QUOTED_ISA

public static final SubLSymbol $sym217$RESULT_QUOTED_ISA

$str218$return_the_collections_that_inclu

public static final SubLString $str218$return_the_collections_that_inclu

$const219$interArgResultGenl

public static final SubLObject $const219$interArgResultGenl

$const220$interArgResultGenlReln

public static final SubLObject $const220$interArgResultGenlReln

$const221$arg1Format

public static final SubLObject $const221$arg1Format

$const222$arg2Format

public static final SubLObject $const222$arg2Format

$const223$arg3Format

public static final SubLObject $const223$arg3Format

$const224$arg4Format

public static final SubLObject $const224$arg4Format

$const225$arg5Format

public static final SubLObject $const225$arg5Format

$const226$arg6Format

public static final SubLObject $const226$arg6Format

$str227$illegal_arg_specification_for_arg

public static final SubLString $str227$illegal_arg_specification_for_arg

$const228$SingleEntry

public static final SubLObject $const228$SingleEntry

$const229$singleEntryFormatInArgs

public static final SubLObject $const229$singleEntryFormatInArgs

$list230

public static final SubLList $list230

$const231$interArgFormat1_2

public static final SubLObject $const231$interArgFormat1_2

$const232$interArgFormat2_1

public static final SubLObject $const232$interArgFormat2_1

$list233

public static final SubLList $list233

$list234

public static final SubLList $list234

$list235

public static final SubLList $list235

$list236

public static final SubLList $list236

$list237

public static final SubLList $list237

$list238

public static final SubLList $list238

$list239

public static final SubLList $list239

$list240

public static final SubLList $list240

$list241

public static final SubLList $list241

$list242

public static final SubLList $list242

$const243$requiredArg1Pred

public static final SubLObject $const243$requiredArg1Pred

$const244$requiredArg2Pred

public static final SubLObject $const244$requiredArg2Pred

$str245$illegal_required_pred_for_require

public static final SubLString $str245$illegal_required_pred_for_require

$str246$illegal_arg_number_for_required_p

public static final SubLString $str246$illegal_arg_number_for_required_p

$list247

public static final SubLList $list247

$list248

public static final SubLList $list248

$list249

public static final SubLList $list249

$list250

public static final SubLList $list250

$list251

public static final SubLList $list251

$list252

public static final SubLList $list252

$sym253$MTS_OF_PREDICATE_TYPE_INT

public static final SubLSymbol $sym253$MTS_OF_PREDICATE_TYPE_INT

$const254$ArgTypePredicate

public static final SubLObject $const254$ArgTypePredicate

$const255$genlMt

public static final SubLObject $const255$genlMt

$const256$fanOutArg

public static final SubLObject $const256$fanOutArg

$kw257$SUPERIOR_

public static final SubLSymbol $kw257$SUPERIOR_

$const258$coExtensional

public static final SubLObject $const258$coExtensional

$const259$BookkeepingMt

public static final SubLObject $const259$BookkeepingMt

$sym260$HLMT_P

public static final SubLSymbol $sym260$HLMT_P

$const261$myReviewer

public static final SubLObject $const261$myReviewer

$sym262$REVIEWER

public static final SubLSymbol $sym262$REVIEWER

$list263

public static final SubLList $list263

$str264$Identify_the_cyclist_who_reviewed

public static final SubLString $str264$Identify_the_cyclist_who_reviewed

$list265

public static final SubLList $list265

$list266

public static final SubLList $list266

$const267$comment

public static final SubLObject $const267$comment

$sym268$COMMENT

public static final SubLSymbol $sym268$COMMENT

$list269

public static final SubLList $list269

$str270$Return_the_comment_string_for_FOR

public static final SubLString $str270$Return_the_comment_string_for_FOR

$list271

public static final SubLList $list271

$list272

public static final SubLList $list272

$sym273$COMMENT_IF_FORT

public static final SubLSymbol $sym273$COMMENT_IF_FORT

$sym274$CYCLIST_NOTES

public static final SubLSymbol $sym274$CYCLIST_NOTES

$const275$cyclistNotes

public static final SubLObject $const275$cyclistNotes

$sym276$INDEX_ARG_REFERENCES_IN_STRING_

public static final SubLSymbol $sym276$INDEX_ARG_REFERENCES_IN_STRING_

$sym277$GATHER_ARG_OF_SELECTED_GAF_ASSERTION

public static final SubLSymbol $sym277$GATHER_ARG_OF_SELECTED_GAF_ASSERTION

$str278$mapping_Cyc_assertions

public static final SubLString $str278$mapping_Cyc_assertions

$sym279$STRINGP

public static final SubLSymbol $sym279$STRINGP

$kw280$SKIP

public static final SubLSymbol $kw280$SKIP

$sym281$CONSTANT_NAME

public static final SubLSymbol $sym281$CONSTANT_NAME

$sym282$STR

public static final SubLSymbol $sym282$STR

$sym283$RELEVANT_MT_IS_EQ

public static final SubLSymbol $sym283$RELEVANT_MT_IS_EQ

$kw284$GAF

public static final SubLSymbol $kw284$GAF

$sym285$GATHER_ASSERTIONS

public static final SubLSymbol $sym285$GATHER_ASSERTIONS

$str286$____in_mt____s_

public static final SubLString $str286$____in_mt____s_

$str287$EL__S_

public static final SubLString $str287$__EL____S_

$kw288$ALL

public static final SubLSymbol $kw288$ALL

$str289$_a_

public static final SubLString $str289$___a___

$sym290$PRINT_ARG

public static final SubLSymbol $sym290$PRINT_ARG

$sym291$GATHER_FN_OF_ARG

public static final SubLSymbol $sym291$GATHER_FN_OF_ARG

$list292

public static final SubLList $list292

$str293$____missing_doc_preds_

public static final SubLString $str293$____missing_doc_preds_

$str294$__A

public static final SubLString $str294$__A

$str295$_____a

public static final SubLString $str295$_____a

$str296$_______a

public static final SubLString $str296$_______a

$const297$scopingArg

public static final SubLObject $const297$scopingArg

$const298$InferencePSC

public static final SubLObject $const298$InferencePSC

$sym299$ALL_TERM_ASSERTIONS

public static final SubLSymbol $sym299$ALL_TERM_ASSERTIONS

$list300

public static final SubLList $list300

$str301$Return_a_list_of_all_the_assertio

public static final SubLString $str301$Return_a_list_of_all_the_assertio

$list302

public static final SubLList $list302

$list303

public static final SubLList $list303

$sym304$MAPPING_ANSWER_FOUND_

public static final SubLSymbol $sym304$MAPPING_ANSWER_FOUND_

$kw305$MAPPING_DONE

public static final SubLSymbol $kw305$MAPPING_DONE

$sym306$RELEVANT_MT_IS_GENL_MT

public static final SubLSymbol $sym306$RELEVANT_MT_IS_GENL_MT

$sym307$GATHER_SOME_ASSERTIONS

public static final SubLSymbol $sym307$GATHER_SOME_ASSERTIONS

$sym308$ASSERTION_FI_FORMULA

public static final SubLSymbol $sym308$ASSERTION_FI_FORMULA

$sym309$ASSERTION_MENTIONS_KBA_PRED_

public static final SubLSymbol $sym309$ASSERTION_MENTIONS_KBA_PRED_

$const310$retainTerm

public static final SubLObject $const310$retainTerm

$sym311$ISA_RELEVANT_ASSERTIONS

public static final SubLSymbol $sym311$ISA_RELEVANT_ASSERTIONS

$list312

public static final SubLList $list312

$str313$Return_a_list_of_all__e_g___inher

public static final SubLString $str313$Return_a_list_of_all__e_g___inher

$kw314$NEG

public static final SubLSymbol $kw314$NEG

$kw315$POS

public static final SubLSymbol $kw315$POS

$sym316$ISA_RELEVANT_ASSERTIONS_WRT_TYPE

public static final SubLSymbol $sym316$ISA_RELEVANT_ASSERTIONS_WRT_TYPE

$list317

public static final SubLList $list317

$str318$Returns_a_list_of_all__e_g___inhe

public static final SubLString $str318$Returns_a_list_of_all__e_g___inhe

$sym319$ASSERTION_FORMULA

public static final SubLSymbol $sym319$ASSERTION_FORMULA

$sym320$GAF_ASSERTION_

public static final SubLSymbol $sym320$GAF_ASSERTION_

$list321

public static final SubLList $list321

$list322

public static final SubLList $list322

$kw323$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw323$ALLOW_OTHER_KEYS

$kw324$MT

public static final SubLSymbol $kw324$MT

$kw325$TRUTH

public static final SubLSymbol $kw325$TRUTH

$kw326$DONE

public static final SubLSymbol $kw326$DONE

$sym327$PRED_VAR

public static final SubLSymbol $sym327$PRED_VAR

$sym328$DO_ALL_FORT_INSTANCES

public static final SubLSymbol $sym328$DO_ALL_FORT_INSTANCES

$sym329$POSSIBLY_WITH_INFERENCE_MT_RELEVANCE

public static final SubLSymbol $sym329$POSSIBLY_WITH_INFERENCE_MT_RELEVANCE

$sym330$DO_GAF_ARG_INDEX

public static final SubLSymbol $sym330$DO_GAF_ARG_INDEX

$kw331$PREDICATE

public static final SubLSymbol $kw331$PREDICATE

$sym332$DO_GAFS_WRT_PRED_TYPE

public static final SubLSymbol $sym332$DO_GAFS_WRT_PRED_TYPE

$str333$iterate_over_every_gaf_assertion_

public static final SubLString $str333$iterate_over_every_gaf_assertion_

$kw334$BREADTH

public static final SubLSymbol $kw334$BREADTH

$kw335$QUEUE

public static final SubLSymbol $kw335$QUEUE

$kw336$STACK

public static final SubLSymbol $kw336$STACK

$sym337$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym337$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw338$ERROR

public static final SubLSymbol $kw338$ERROR

$str339$_A_is_not_a__A

public static final SubLString $str339$_A_is_not_a__A

$sym340$SBHL_TRUE_TV_P

public static final SubLSymbol $sym340$SBHL_TRUE_TV_P

$kw341$CERROR

public static final SubLSymbol $kw341$CERROR

$str342$continue_anyway

public static final SubLString $str342$continue_anyway

$kw343$WARN

public static final SubLSymbol $kw343$WARN

$str344$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str344$_A_is_not_a_valid__sbhl_type_erro

$str345$attempting_to_bind_direction_link

public static final SubLString $str345$attempting_to_bind_direction_link

$list346

public static final SubLList $list346

$str347$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str347$Node__a_does_not_pass_sbhl_type_t

$sym348$GATHER_RELATION_TYPES

public static final SubLSymbol $sym348$GATHER_RELATION_TYPES

$const349$relationAllExists

public static final SubLObject $const349$relationAllExists

$sym350$GATHER_RELATION_TYPES_SP

public static final SubLSymbol $sym350$GATHER_RELATION_TYPES_SP

$const351$definingMt

public static final SubLObject $const351$definingMt

$const352$notAssertible

public static final SubLObject $const352$notAssertible

$const353$notAssertibleCollection

public static final SubLObject $const353$notAssertibleCollection

$const354$notAssertibleMt

public static final SubLObject $const354$notAssertibleMt

$const355$IndexicalConcept

public static final SubLObject $const355$IndexicalConcept

$list356

public static final SubLList $list356

$const357$IndeterminateTermDenotingFunction

public static final SubLObject $const357$IndeterminateTermDenotingFunction

$const358$IndeterminateTerm

public static final SubLObject $const358$IndeterminateTerm

$const359$NonSkolemIndeterminateTerm

public static final SubLObject $const359$NonSkolemIndeterminateTerm

$const360$nonAbducibleRule

public static final SubLObject $const360$nonAbducibleRule

$const361$TermExemptFromUniqueNamesAssumpti

public static final SubLObject $const361$TermExemptFromUniqueNamesAssumpti

$str362$_cyc_com

public static final SubLString $str362$_cyc_com

$str363$Can_t_get_the_email_address_of_a_

public static final SubLString $str363$Can_t_get_the_email_address_of_a_

$const364$preferredEMailAddressText

public static final SubLObject $const364$preferredEMailAddressText

$const365$localEMailAddressText

public static final SubLObject $const365$localEMailAddressText

$sym366$GUESS_THE_CYCLIST_FROM_USER_NAME

public static final SubLSymbol $sym366$GUESS_THE_CYCLIST_FROM_USER_NAME

$const367$CyclistsMt

public static final SubLObject $const367$CyclistsMt

$const368$and

public static final SubLObject $const368$and

$list369

public static final SubLList $list369

$sym370$_CYCLIST

public static final SubLSymbol $sym370$_CYCLIST

$list371

public static final SubLList $list371

$sym372$_GUESS_THE_CYCLIST_FROM_USER_NAME_CACHING_STATE_

public static final SubLSymbol $sym372$_GUESS_THE_CYCLIST_FROM_USER_NAME_CACHING_STATE_

$int373$64

public static final SubLInteger $int373$64

$sym374$CLEAR_GUESS_THE_CYCLIST_FROM_USER_NAME

public static final SubLSymbol $sym374$CLEAR_GUESS_THE_CYCLIST_FROM_USER_NAME

$kw375$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw375$_MEMOIZED_ITEM_NOT_FOUND_

$sym376$POSSIBLY_UPDATE_MOST_SPECIALIZED_FORT

public static final SubLSymbol $sym376$POSSIBLY_UPDATE_MOST_SPECIALIZED_FORT

Method Detail

relationP

public static final SubLObject relationP(SubLObject relation)

Return T iff RELATION is a relationship.

irreflexive_predicateP

public static final SubLObject irreflexive_predicateP(SubLObject predicate)

Return T iff PREDICATE is an irreflexive predicate.

asymmetric_predicateP

public static final SubLObject asymmetric_predicateP(SubLObject predicate)

Return T iff PREDICATE is an asymmetric predicate.

result_isa

public static final SubLObject result_isa(SubLObject functor,
                                          SubLObject mt)

Return a list of the collections that include as instances the results of non-predicate function constant FUNCTOR.

function_to_arg_termP

public static final SubLObject function_to_arg_termP(SubLObject v_term)

meta_result_isa

public static final SubLObject meta_result_isa(SubLObject meta_functor,
                                               SubLObject mt)

META-FUNCTOR is the functor of a function-denoting function; return the resultIsa collections inherited to instances of the resultIsa of META-FUNCTOR

anti_symmetric_predicateP

public static final SubLObject anti_symmetric_predicateP(SubLObject predicate)

Return T iff PREDICATE is an anti-symmetric predicate.

transitive_predicateP

public static final SubLObject transitive_predicateP(SubLObject predicate)

Return T iff PREDICATE is a transitive predicate.

anti_transitive_predicateP

public static final SubLObject anti_transitive_predicateP(SubLObject predicate)

Return T iff PREDICATE is an anti-transitive predicate.

binary_predicateP

public static final SubLObject binary_predicateP(SubLObject predicate)

Return T iff PREDICATE is a predicate of arity 2.

admitting_defnsP

public static final SubLObject admitting_defnsP(SubLObject col,
                                                SubLObject mt)

sufficient_defnsP

public static final SubLObject sufficient_defnsP(SubLObject col,
                                                 SubLObject mt)

necessary_defnsP

public static final SubLObject necessary_defnsP(SubLObject col,
                                                SubLObject mt)

defining_defnsP

public static final SubLObject defining_defnsP(SubLObject col,
                                               SubLObject mt)

cyclistP

public static final SubLObject cyclistP(SubLObject v_term)

Return T iff TERM is an instance of #$Cyclist somewhere.

decontextualized_predicateP

public static final SubLObject decontextualized_predicateP(SubLObject predicate)

Return T iff PREDICATE is decontextualized, i.e. it can be thought of as having its complete extent in all mts.

predicate_convention_mt

public static final SubLObject predicate_convention_mt(SubLObject predicate)

decontextualized_collectionP

public static final SubLObject decontextualized_collectionP(SubLObject collection)

Return T iff COLLECTION is decontextualized, i.e. it can be thought of as having its complete collection extent in all mts.

collection_convention_mt

public static final SubLObject collection_convention_mt(SubLObject collection)

decontextualized_literalP

public static final SubLObject decontextualized_literalP(SubLObject literal)

decontextualized_literal_convention_mt

public static final SubLObject decontextualized_literal_convention_mt(SubLObject literal)

decontextualized_collection_literalP

public static final SubLObject decontextualized_collection_literalP(SubLObject literal)

decontextualized_atomic_cnfP

public static final SubLObject decontextualized_atomic_cnfP(SubLObject cnf)

decontextualized_weakening_prohibitedP

public static final SubLObject decontextualized_weakening_prohibitedP()

mt_matches_convention_mtP

public static final SubLObject mt_matches_convention_mtP(SubLObject given_mt,
                                                         SubLObject convention_mt)

possibly_convention_mt_for_decontextualized_cnf

public static final SubLObject possibly_convention_mt_for_decontextualized_cnf(SubLObject mt,
                                                                               SubLObject cnf)

quoted_argumentP

public static final SubLObject quoted_argumentP(SubLObject relation,
                                                SubLObject argnum)

Returns:: boolean; t iff arg number ARGNUM of RELATION is quoted via #$quotedArgument.

complete_extent_asserted_gaf

public static final SubLObject complete_extent_asserted_gaf(SubLObject predicate,
                                                            SubLObject mt)

Returns:: nil or gaf-assertion?; if PREDICATE's extent has been completely asserted, returns an assertion justifying this claim.

complete_extent_asserted_for_value_in_arg_gaf

public static final SubLObject complete_extent_asserted_for_value_in_arg_gaf(SubLObject predicate,
                                                                             SubLObject value,
                                                                             SubLObject argnum,
                                                                             SubLObject mt)

Returns:: nil or gaf-assertion?; if PREDICATE's curried extent is completely asserted once VALUE is its ARGNUMth argument, returns an assertion justifying this claim.

complete_extent_enumerable_gaf

public static final SubLObject complete_extent_enumerable_gaf(SubLObject predicate,
                                                              SubLObject mt)

Returns:: nil or gaf-assertion?; if PREDICATE's extent can be completely enumerated, returns an assertion justifying this claim.

complete_extent_decidable_gaf

public static final SubLObject complete_extent_decidable_gaf(SubLObject predicate,
                                                             SubLObject mt)

Returns:: nil or gaf-assertion?; if PREDICATE's extent can be completely decided, returns an assertion justifying this claim.

complete_extent_enumerable_for_arg_gaf

public static final SubLObject complete_extent_enumerable_for_arg_gaf(SubLObject predicate,
                                                                      SubLObject argnum,
                                                                      SubLObject mt)

Returns:: nil or gaf-assertion?; if PREDICATE's curried extent is enumerable once its ARGNUMth argument is fixed, returns an assertion justifying this claim.

complete_extent_enumerable_for_value_in_arg_gaf

public static final SubLObject complete_extent_enumerable_for_value_in_arg_gaf(SubLObject predicate,
                                                                               SubLObject value,
                                                                               SubLObject argnum,
                                                                               SubLObject mt)

Returns:: nil or gaf-assertion?; if PREDICATE's curried extent is enumerable once VALUE is its ARGNUMth argument, returns an assertion justifying this claim.

complete_extent_decidable_for_value_in_arg_gaf

public static final SubLObject complete_extent_decidable_for_value_in_arg_gaf(SubLObject predicate,
                                                                              SubLObject value,
                                                                              SubLObject argnum,
                                                                              SubLObject mt)

Returns:: nil or gaf-assertion?; if PREDICATE's curried extent is decidable once VALUE is its ARGNUMth argument, returns an assertion justifying this claim.

completely_enumerable_collectionP

public static final SubLObject completely_enumerable_collectionP(SubLObject collection,
                                                                 SubLObject mt)

Returns:: boolean; whether COLLECTION is completely enumerable in MT.

completely_enumerable_collection_gaf

public static final SubLObject completely_enumerable_collection_gaf(SubLObject collection,
                                                                    SubLObject mt)

Returns:: nil or gaf-assertion?; if COLLECTION is completely enumerable in MT, returns an assertion justifying this claim.

backchain_requiredP

public static final SubLObject backchain_requiredP(SubLObject predicate,
                                                   SubLObject mt)

backchain_forbiddenP

public static final SubLObject backchain_forbiddenP(SubLObject predicate,
                                                    SubLObject mt)

collection_isa_backchain_requiredP

public static final SubLObject collection_isa_backchain_requiredP(SubLObject collection,
                                                                  SubLObject mt)

collection_genls_backchain_requiredP

public static final SubLObject collection_genls_backchain_requiredP(SubLObject collection,
                                                                    SubLObject mt)

collection_backchain_requiredP

public static final SubLObject collection_backchain_requiredP(SubLObject collection,
                                                              SubLObject mt)

skolemize_forward_somewhereP

public static final SubLObject skolemize_forward_somewhereP(SubLObject function)

skolemize_forwardP

public static final SubLObject skolemize_forwardP(SubLObject function,
                                                  SubLObject mt)

forward_reification_ruleP

public static final SubLObject forward_reification_ruleP(SubLObject function,
                                                         SubLObject rule,
                                                         SubLObject mt)

arg_and_rest_isa_min_argnum

public static final SubLObject arg_and_rest_isa_min_argnum(SubLObject relation,
                                                           SubLObject mt)

Returns the smallest integer in an #$argAndRestIsa gaf constraining RELN if one exists, otherwise returns NIL.

arg_and_rest_isa_applicableP

public static final SubLObject arg_and_rest_isa_applicableP(SubLObject reln,
                                                            SubLObject argnum,
                                                            SubLObject mt)

Returns:: boolean; t iff ARGNUM of RELN is constrained via #$argAndRestIsa

arg_and_rest_quoted_isa_min_argnum

public static final SubLObject arg_and_rest_quoted_isa_min_argnum(SubLObject relation,
                                                                  SubLObject mt)

Returns the smallest integer in an #$argAndRestQuotedIsa gaf constraining RELN if one exists, otherwise returns NIL.

arg_and_rest_quoted_isa_applicableP

public static final SubLObject arg_and_rest_quoted_isa_applicableP(SubLObject reln,
                                                                   SubLObject argnum,
                                                                   SubLObject mt)

Returns:: boolean; t iff ARGNUM of RELN is constrained via #$argAndRestIsa

argn_isa

public static final SubLObject argn_isa(SubLObject relation,
                                        SubLObject argnum,
                                        SubLObject mt)

Returns a list of the local isa constraints applied to the ARGNUMth argument of RELATION (#$argsIsa conjoins with #$arg1Isa et al).

argn_quoted_isa

public static final SubLObject argn_quoted_isa(SubLObject relation,
                                               SubLObject argnum,
                                               SubLObject mt)

Returns a list of the local isa constraints applied to the ARGNUMth argument of RELATION (#$argsIsa conjoins with #$arg1Isa et al).

argn_isa_int

public static final SubLObject argn_isa_int(SubLObject relation,
                                            SubLObject argnum,
                                            SubLObject mt)

argn_isa_int_2

public static final SubLObject argn_isa_int_2(SubLObject relation,
                                              SubLObject argnum,
                                              SubLObject mt)

argn_quoted_isa_int

public static final SubLObject argn_quoted_isa_int(SubLObject relation,
                                                   SubLObject argnum,
                                                   SubLObject mt)

arg_isa_pred_int

public static final SubLObject arg_isa_pred_int(SubLObject index)

arg_isa_pred

public static final SubLObject arg_isa_pred(SubLObject index,
                                            SubLObject reln,
                                            SubLObject mt)

Returns the appropriate predicate for constraining the INDEXth argument of RELN.

arg_isa_preds

public static final SubLObject arg_isa_preds(SubLObject argnum,
                                             SubLObject reln,
                                             SubLObject mt)

Returns the appropriate predicates for constraining the INDEXth argument of RELN.

arg_quoted_isa_pred_int

public static final SubLObject arg_quoted_isa_pred_int(SubLObject index)

arg_quoted_isa_pred

public static final SubLObject arg_quoted_isa_pred(SubLObject index,
                                                   SubLObject reln,
                                                   SubLObject mt)

Returns the appropriate predicate for constraining the INDEXth argument of RELN.

arg_quoted_isa_preds

public static final SubLObject arg_quoted_isa_preds(SubLObject argnum,
                                                    SubLObject reln,
                                                    SubLObject mt)

Returns the appropriate predicates for constraining the INDEXth argument of RELN.

arg_isa_inverse

public static final SubLObject arg_isa_inverse(SubLObject index,
                                               SubLObject reln,
                                               SubLObject mt)

Returns the appropriate predicate for constraining the inverse of the INDEXth argument of RELN.

arg_quoted_isa_inverse

public static final SubLObject arg_quoted_isa_inverse(SubLObject index,
                                                      SubLObject reln,
                                                      SubLObject mt)

Returns the appropriate predicate for constraining the inverse of the INDEXth argument of RELN.

inverse_argnum

public static final SubLObject inverse_argnum(SubLObject argnum)

Returns:: integer; the inverse argnum of ARGNUM

isa_pred_arg

public static final SubLObject isa_pred_arg(SubLObject isa_pred)

return the arg constrained by ISA-PRED (e.g., (isa-pred-arg #$arg1Isa) -> 1)); by convention (isa-pred-arg #$argsIsa) -> 0

argn_genl

public static final SubLObject argn_genl(SubLObject relation,
                                         SubLObject argnum,
                                         SubLObject mt)

Returns the local genl constraints applied to the ARGNUMth argument of RELATION.

arg_and_rest_genl_min_argnum

public static final SubLObject arg_and_rest_genl_min_argnum(SubLObject relation,
                                                            SubLObject mt)

Returns the smallest integer in an #$argAndRestGenl gaf constraining RELN if one exists, otherwise returns NIL.

arg_and_rest_genl_applicableP

public static final SubLObject arg_and_rest_genl_applicableP(SubLObject reln,
                                                             SubLObject argnum,
                                                             SubLObject mt)

Returns:: boolean; t iff ARGNUM of RELN is constrained via #$argAndRestGenl

arg_genl_pred_int

public static final SubLObject arg_genl_pred_int(SubLObject index)

arg_genl_pred

public static final SubLObject arg_genl_pred(SubLObject index,
                                             SubLObject reln,
                                             SubLObject mt)

Returns the appropriate predicate for constraining the INDEXth argument of RELN.

arg_genl_preds

public static final SubLObject arg_genl_preds(SubLObject argnum,
                                              SubLObject reln,
                                              SubLObject mt)

Returns the appropriate predicates for constraining the ARGNUMth argument of RELN.

arg_genl_inverse

public static final SubLObject arg_genl_inverse(SubLObject index,
                                                SubLObject reln,
                                                SubLObject mt)

Returns the appropriate predicate for constraining the inverse of the INDEXth argument of RELN.

argn_format_inverse

public static final SubLObject argn_format_inverse(SubLObject n)

Returns the appropriate arg-format predicate for constraining the inverse of N.

argn_format_pred

public static final SubLObject argn_format_pred(SubLObject n)

inter_arg_format_pred

public static final SubLObject inter_arg_format_pred(SubLObject ind_arg,
                                                     SubLObject dep_arg)

inter_arg_format_preds_dep

public static final SubLObject inter_arg_format_preds_dep(SubLObject arg)

inter_arg_format_preds_ind

public static final SubLObject inter_arg_format_preds_ind(SubLObject arg)

fan_out_arg

public static final SubLObject fan_out_arg(SubLObject pred,
                                           SubLObject mt)

which arg is the #$fanOutArg for hierarchically transitive PRED.

asserted_fan_out_arg

public static final SubLObject asserted_fan_out_arg(SubLObject pred,
                                                    SubLObject mt)

Returns:: POSITIVE-INTEGER-P or NIL: which arg is asserted to be the #$fanOutArg for hierarchically transitive PRED.

assertion_still_thereP

public static final SubLObject assertion_still_thereP(SubLObject assertion,
                                                      SubLObject truth)

scoping_args

public static final SubLObject scoping_args(SubLObject relation,
                                            SubLObject mt)

some_scoping_arg_somewhereP

public static final SubLObject some_scoping_arg_somewhereP(SubLObject relation)

all_term_assertions

public static final SubLObject all_term_assertions(SubLObject v_term,
                                                   SubLObject remove_duplicatesP)

Return a list of all the assertions indexed via the indexed term TERM.

term_assertions

public static final SubLObject term_assertions(SubLObject v_term,
                                               SubLObject mt,
                                               SubLObject remove_duplicatesP)

not_assertible_predicateP

public static final SubLObject not_assertible_predicateP(SubLObject pred,
                                                         SubLObject mt)

not_assertible_collectionP

public static final SubLObject not_assertible_collectionP(SubLObject collection,
                                                          SubLObject mt)

not_assertible_mtP

public static final SubLObject not_assertible_mtP(SubLObject mt)

common_non_skolem_indeterminate_term_denoting_functionP

public static final SubLObject common_non_skolem_indeterminate_term_denoting_functionP(SubLObject object)

non_skolem_indeterminate_term_denoting_functionP

public static final SubLObject non_skolem_indeterminate_term_denoting_functionP(SubLObject object)

fast_non_skolem_indeterminate_termP

public static final SubLObject fast_non_skolem_indeterminate_termP(SubLObject v_term)

Will sometimes return false negatives

declare_kb_accessors_file

public static final SubLObject declare_kb_accessors_file()

init_kb_accessors_file

public static final SubLObject init_kb_accessors_file()

setup_kb_accessors_file

public static final SubLObject setup_kb_accessors_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 kb_accessors

me

myName

$sym0$RELATION_

$list1

$str2$Return_T_iff_RELATION_is_a_relati

$list3

$sym4$RELEVANT_MT_IS_EVERYTHING

$const5$EverythingPSC

$const6$AtemporalNecessarilyEssentialColl

$sym7$REFLEXIVE_PREDICATE_

$list8

$str9$Return_T_iff_PREDICATE_is_a_refle

$sym10$IRREFLEXIVE_PREDICATE_

$str11$Return_T_iff_PREDICATE_is_an_irre

$sym12$SYMMETRIC_PREDICATE_

$str13$Return_T_iff_PREDICATE_is_a_symme

$sym14$ASYMMETRIC_PREDICATE_

$str15$Return_T_iff_PREDICATE_is_an_asym

$sym16$ANTI_SYMMETRIC_PREDICATE_

$str17$Return_T_iff_PREDICATE_is_an_anti

$sym18$TRANSITIVE_PREDICATE_

$str19$Return_T_iff_PREDICATE_is_a_trans

$sym20$COMMUTATIVE_FUNCTION_

$list21

$str22$Return_T_iff_FUNCTION_is_a_commut

$sym23$BINARY_PREDICATE_

$str24$Return_T_iff_PREDICATE_is_a_predi

$const25$Cyclist

$const26$HumanCyclist

$sym27$INDIVIDUAL_

$list28

$str29$Return_T_iff_TERM_is_an_individua

$const30$Set_Mathematical

$sym31$SET_OR_COLLECTION_

$str32$Return_T_iff_TERM_is_a_set_or_col

$const33$Individual

$const34$SetOrCollection

$const35$FirstOrderCollection

$const36$Thing

$const37$SubcollectionRelationFunction

$const38$decontextualizedPredicate

$const39$predicateConventionMt

$const40$decontextualizedCollection

$const41$collectionConventionMt

$const42$isa

$const43$genls

$const44$quotedCollection

$const45$quotedArgument

$const46$opaqueArgument

$const47$minimizeCollectionExtent

$const48$minimizeExtent

$sym49$FORT_P

$const50$completeExtentAsserted

$sym51$NON_NEGATIVE_INTEGER_P

$const52$completeExtentAssertedForValueInA

$const53$completeExtentEnumerable

$const54$completeExtentEnumerableViaBackch

$const55$completeExtentDecidable

$const56$completeExtentEnumerableForArg

$const57$completeExtentEnumerableForValueI

$const58$completeExtentDecidableForValueIn

$const59$completelyEnumerableCollection

$const60$collectionCompletelyEnumerableVia

$const61$completelyDecidableCollection

$const62$backchainRequired

$const63$backchainEncouraged

$const64$backchainDiscouraged

$const65$backchainForbidden

$const66$collectionIsaBackchainRequired

$const67$collectionGenlsBackchainRequired

$const68$collectionBackchainRequired

$const69$collectionIsaBackchainEncouraged

$const70$collectionGenlsBackchainEncourage

$const71$collectionBackchainEncouraged

$kw72$TRUE

$sym73$_

$const74$highlyRelevantTerm

$const75$irrelevantTerm

$const76$skolemizeForward

com.cyc.cycjava.cycl
Class kb_accessors