kb_indexing

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_indexing

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class kb_indexing
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`kb_indexing.$clear_key_gaf_arg_index_cached$ZeroArityFunction`
`static class`	`kb_indexing.$num_index$UnaryFunction`
`static class`	`kb_indexing.$num_predicate_extent_index$BinaryFunction`
`static class`	`kb_indexing.$num_predicate_extent_index$UnaryFunction`

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

Field Summary
`static SubLObject`	`$const107$EverythingPSC`
`static SubLObject`	`$const113$BroadMicrotheory`
`static SubLObject`	`$const127$isa`
`static SubLObject`	`$const128$genls`
`static SubLObject`	`$const129$termOfUnit`
`static SubLObject`	`$const144$quotedIsa`
`static SubLObject`	`$const147$genlMt`
`static SubLObject`	`$const150$abnormal`
`static SubLObject`	`$const152$meetsPragmaticRequirement`
`static SubLObject`	`$const154$ist`
`static SubLObject`	`$const239$implies`
`static SubLInteger`	`$int13$5000`
`static SubLInteger`	`$int194$10000`
`static SubLSymbol`	`$kw100$EXCEPTION_RULE`
`static SubLSymbol`	`$kw105$PRAGMA_RULE`
`static SubLSymbol`	`$kw108$RULE`
`static SubLSymbol`	`$kw112$IST`
`static SubLSymbol`	`$kw116$OTHER`
`static SubLSymbol`	`$kw124$POS`
`static SubLSymbol`	`$kw125$NEG`
`static SubLSymbol`	`$kw134$IGNORE`
`static SubLSymbol`	`$kw142$ISA`
`static SubLSymbol`	`$kw143$PRED`
`static SubLSymbol`	`$kw145$QUOTED_ISA`
`static SubLSymbol`	`$kw146$GENLS`
`static SubLSymbol`	`$kw148$GENL_MT`
`static SubLSymbol`	`$kw149$FUNC`
`static SubLSymbol`	`$kw15$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw151$EXCEPTION`
`static SubLSymbol`	`$kw153$PRAGMA`
`static SubLSymbol`	`$kw155$IST_PRED`
`static SubLSymbol`	`$kw167$OVERLAP`
`static SubLSymbol`	`$kw169$GAF`
`static SubLSymbol`	`$kw174$PRED_POS`
`static SubLSymbol`	`$kw175$IST_PRED_POS`
`static SubLSymbol`	`$kw176$ISA_POS`
`static SubLSymbol`	`$kw177$QUOTED_ISA_POS`
`static SubLSymbol`	`$kw178$GENLS_POS`
`static SubLSymbol`	`$kw179$GENL_MT_POS`
`static SubLSymbol`	`$kw18$GAF_ARG`
`static SubLSymbol`	`$kw180$PRED_NEG`
`static SubLSymbol`	`$kw181$IST_PRED_NEG`
`static SubLSymbol`	`$kw182$ISA_NEG`
`static SubLSymbol`	`$kw183$QUOTED_ISA_NEG`
`static SubLSymbol`	`$kw184$GENLS_NEG`
`static SubLSymbol`	`$kw185$GENL_MT_NEG`
`static SubLSymbol`	`$kw188$INDEX_TYPE`
`static SubLSymbol`	`$kw189$PREDICATE`
`static SubLSymbol`	`$kw190$TERM`
`static SubLSymbol`	`$kw191$ARGNUM`
`static SubLSymbol`	`$kw192$TERMS`
`static SubLSymbol`	`$kw193$FUNCTOR`
`static SubLSymbol`	`$kw196$SKIP`
`static SubLSymbol`	`$kw201$IGNORE_ERRORS_TARGET`
`static SubLSymbol`	`$kw234$MAPPING_DONE`
`static SubLSymbol`	`$kw26$NART_ARG`
`static SubLSymbol`	`$kw36$PREDICATE_EXTENT`
`static SubLSymbol`	`$kw42$FUNCTION_EXTENT`
`static SubLSymbol`	`$kw51$PREDICATE_RULE`
`static SubLSymbol`	`$kw58$DECONTEXTUALIZED_IST_PREDICATE_RULE`
`static SubLSymbol`	`$kw67$ISA_RULE`
`static SubLSymbol`	`$kw72$QUOTED_ISA_RULE`
`static SubLSymbol`	`$kw77$GENLS_RULE`
`static SubLSymbol`	`$kw82$GENL_MT_RULE`
`static SubLSymbol`	`$kw91$FUNCTION_RULE`
`static SubLList`	`$list110`
`static SubLList`	`$list133`
`static SubLList`	`$list140`
`static SubLList`	`$list141`
`static SubLList`	`$list158`
`static SubLList`	`$list162`
`static SubLList`	`$list17`
`static SubLList`	`$list171`
`static SubLList`	`$list173`
`static SubLList`	`$list186`
`static SubLList`	`$list187`
`static SubLList`	`$list20`
`static SubLList`	`$list209`
`static SubLList`	`$list211`
`static SubLList`	`$list212`
`static SubLList`	`$list215`
`static SubLList`	`$list217`
`static SubLList`	`$list220`
`static SubLList`	`$list223`
`static SubLList`	`$list225`
`static SubLList`	`$list227`
`static SubLList`	`$list229`
`static SubLList`	`$list233`
`static SubLList`	`$list238`
`static SubLList`	`$list28`
`static SubLList`	`$list3`
`static SubLList`	`$list32`
`static SubLList`	`$list38`
`static SubLList`	`$list44`
`static SubLList`	`$list49`
`static SubLList`	`$list5`
`static SubLList`	`$list53`
`static SubLList`	`$list56`
`static SubLList`	`$list60`
`static SubLList`	`$list65`
`static SubLList`	`$list8`
`static SubLList`	`$list84`
`static SubLList`	`$list89`
`static SubLList`	`$list93`
`static SubLList`	`$list98`
`static SubLString`	`$str111$Return_the_number_of_assertions_a`
`static SubLString`	`$str115$Return_the_number_of_assertions_a`
`static SubLString`	`$str118$The_total_number_of_assertions_in`
`static SubLString`	`$str119$Performing_indexing_cleanup___`
`static SubLString`	`$str130$indexing_problem_while_removing__`
`static SubLString`	`$str132$Remove_all_assertions_about_TERM_`
`static SubLString`	`$str138$So_don_t_`
`static SubLString`	`$str139$Don_t_know_how_to_index__S`
`static SubLString`	`$str159$Can_t_index_a_pragmatic_requireme`
`static SubLString`	`$str16$Return_a_list_of_the_keys_to_the_`
`static SubLString`	`$str160$Can_t_index_an_exception_as_a_neg`
`static SubLString`	`$str161$Don_t_know_how_to_handle_indexing`
`static SubLString`	`$str163$Can_t_index_a_function_rule_as_a_`
`static SubLString`	`$str164$Can_t_remove_the_index_of_a_pragm`
`static SubLString`	`$str165$Can_t_remove_the_index_of_an_exce`
`static SubLString`	`$str166$Can_t_remove_the_index_of_a_funct`
`static SubLString`	`$str195$Clearing_FORT_indexing`
`static SubLString`	`$str197$Clearing_Assertion_indexing`
`static SubLString`	`$str199$Reindexing_assertions`
`static SubLString`	`$str203$Error_when_indexing_assertion__A_`
`static SubLString`	`$str21$Return_the_number_of___termOfUnit`
`static SubLString`	`$str210$Find_the_assertion_in_MT_with_CNF`
`static SubLString`	`$str216$Find_any_assertion_in_any_mt_with`
`static SubLString`	`$str219$Return_all_assertions_that_have_C`
`static SubLString`	`$str224$Find_the_assertion_in_MT_with_GAF`
`static SubLString`	`$str228$Find_any_assertion_in_any_mt_with`
`static SubLString`	`$str23$Compute_the_assertion_count_at_re`
`static SubLString`	`$str232$Return_all_assertions_of_GAF_FORM`
`static SubLString`	`$str25$Return_a_list_of_the_keys_to_the_`
`static SubLString`	`$str29$Return_the_assertion_count_at_PRE`
`static SubLString`	`$str33$Compute_the_assertion_count_at_re`
`static SubLString`	`$str35$Return_a_list_of_the_keys_to_the_`
`static SubLString`	`$str39$Return_the_function_extent_of_FUN`
`static SubLString`	`$str4$Return_the_number_of_gafs_indexed`
`static SubLString`	`$str41$Compute_the_function_extent_at_re`
`static SubLString`	`$str45$Return_the_raw_assertion_count_at`
`static SubLString`	`$str50$Return_a_list_of_the_keys_to_the_`
`static SubLString`	`$str54$Return_the_raw_assertion_count_at`
`static SubLString`	`$str57$Return_a_list_of_the_keys_to_the_`
`static SubLString`	`$str61$Return_the_raw_assertion_count_at`
`static SubLString`	`$str66$Return_a_list_of_the_keys_to_the_`
`static SubLString`	`$str85$Return_the_raw_assertion_count_at`
`static SubLString`	`$str9$Return_the_assertion_count_at_rel`
`static SubLString`	`$str90$Return_a_list_of_the_keys_to_the_`
`static SubLString`	`$str94$Return_the_raw_assertion_count_at`
`static SubLString`	`$str99$Return_a_list_of_the_keys_to_the_`
`static SubLSymbol`	`$sym0$INTERMEDIATE_INDEX_P`
`static SubLSymbol`	`$sym1$NON_NEGATIVE_INTEGER_P`
`static SubLSymbol`	`$sym10$RELEVANT_NUM_GAF_ARG_INDEX_WITH_CUTOFF`
`static SubLSymbol`	`$sym101$NUM_PRAGMA_RULE_INDEX`
`static SubLSymbol`	`$sym102$KEY_PRAGMA_RULE_INDEX`
`static SubLSymbol`	`$sym103$RELEVANT_NUM_PRAGMA_RULE_INDEX`
`static SubLSymbol`	`$sym104$RELEVANT_NUM_PRAGMA_RULE_INDEX_WITH_CUTOFF`
`static SubLSymbol`	`$sym106$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym109$NUM_MT_INDEX`
`static SubLSymbol`	`$sym11$KEY_GAF_ARG_INDEX_CACHED`
`static SubLSymbol`	`$sym114$NUM_OTHER_INDEX`
`static SubLSymbol`	`$sym117$NUM_INDEX`
`static SubLSymbol`	`$sym12$_KEY_GAF_ARG_INDEX_CACHED_CACHING_STATE_`
`static SubLSymbol`	`$sym120$UNINDEXED_SYNTAX_CONSTANT_INDEX_CLEANUP_INTERNAL`
`static SubLSymbol`	`$sym121$INDEXED_TERM_P`
`static SubLSymbol`	`$sym122$ASSERTION_MT`
`static SubLSymbol`	`$sym123$ASSERTION_P`
`static SubLSymbol`	`$sym126$_`
`static SubLSymbol`	`$sym131$REMOVE_TERM_INDICES`
`static SubLSymbol`	`$sym135$VALID_FULLY_INDEXED_TERM_P`
`static SubLSymbol`	`$sym136$CDR`
`static SubLSymbol`	`$sym137$FULLY_INDEXED_HLMT_TERM_P`
`static SubLSymbol`	`$sym14$CLEAR_KEY_GAF_ARG_INDEX_CACHED`
`static SubLSymbol`	`$sym156$FULLY_INDEXED_TERM_P`
`static SubLSymbol`	`$sym157$SECOND`
`static SubLSymbol`	`$sym168$FORT_P`
`static SubLSymbol`	`$sym170$DECENT_NAT_INDEX`
`static SubLSymbol`	`$sym172$BEST_NAT_INDEX_COUNT`
`static SubLSymbol`	`$sym19$NUM_NART_ARG_INDEX`
`static SubLSymbol`	`$sym198$STRINGP`
`static SubLSymbol`	`$sym2$NUM_GAF_ARG_INDEX`
`static SubLSymbol`	`$sym200$CATCH_ERROR_MESSAGE_HANDLER`
`static SubLSymbol`	`$sym202$IGNORE_ERRORS_HANDLER`
`static SubLSymbol`	`$sym204$_`
`static SubLSymbol`	`$sym205$ASSERTION_ID`
`static SubLSymbol`	`$sym206$CNF_P`
`static SubLSymbol`	`$sym207$HLMT_P`
`static SubLSymbol`	`$sym208$FIND_ASSERTION`
`static SubLSymbol`	`$sym213$RELEVANT_MT_IS_EQ`
`static SubLSymbol`	`$sym214$FIND_ASSERTION_ANY_MT`
`static SubLSymbol`	`$sym218$FIND_ALL_ASSERTIONS`
`static SubLSymbol`	`$sym22$RELEVANT_NUM_NART_ARG_INDEX`
`static SubLSymbol`	`$sym221$EL_FORMULA_P`
`static SubLSymbol`	`$sym222$FIND_GAF`
`static SubLSymbol`	`$sym226$FIND_GAF_ANY_MT`
`static SubLSymbol`	`$sym230$RELEVANT_MT_IS_GENL_MT`
`static SubLSymbol`	`$sym231$FIND_ALL_GAFS`
`static SubLSymbol`	`$sym235$FIND_CNF_INTERNAL`
`static SubLSymbol`	`$sym236$ASSERTION_EL_FORMULA`
`static SubLSymbol`	`$sym237$GATHER_ONE_RULE_ASSERTION`
`static SubLSymbol`	`$sym24$KEY_NART_ARG_INDEX`
`static SubLSymbol`	`$sym27$NUM_PREDICATE_EXTENT_INDEX`
`static SubLSymbol`	`$sym30$KEY_PREDICATE_EXTENT_INDEX`
`static SubLSymbol`	`$sym31$RELEVANT_NUM_PREDICATE_EXTENT_INDEX`
`static SubLSymbol`	`$sym34$RELEVANT_NUM_PREDICATE_EXTENT_INDEX_WITH_CUTOFF`
`static SubLSymbol`	`$sym37$NUM_FUNCTION_EXTENT_INDEX`
`static SubLSymbol`	`$sym40$RELEVANT_NUM_FUNCTION_EXTENT_INDEX`
`static SubLSymbol`	`$sym43$NUM_PREDICATE_RULE_INDEX`
`static SubLSymbol`	`$sym46$KEY_PREDICATE_RULE_INDEX`
`static SubLSymbol`	`$sym47$RELEVANT_NUM_PREDICATE_RULE_INDEX`
`static SubLSymbol`	`$sym48$RELEVANT_NUM_PREDICATE_RULE_INDEX_WITH_CUTOFF`
`static SubLSymbol`	`$sym52$NUM_DECONTEXTUALIZED_IST_PREDICATE_RULE_INDEX`
`static SubLSymbol`	`$sym55$KEY_DECONTEXTUALIZED_IST_PREDICATE_RULE_INDEX`
`static SubLSymbol`	`$sym59$NUM_ISA_RULE_INDEX`
`static SubLSymbol`	`$sym6$KEY_GAF_ARG_INDEX`
`static SubLSymbol`	`$sym62$KEY_ISA_RULE_INDEX`
`static SubLSymbol`	`$sym63$RELEVANT_NUM_ISA_RULE_INDEX`
`static SubLSymbol`	`$sym64$RELEVANT_NUM_ISA_RULE_INDEX_WITH_CUTOFF`
`static SubLSymbol`	`$sym68$NUM_QUOTED_ISA_RULE_INDEX`
`static SubLSymbol`	`$sym69$KEY_QUOTED_ISA_RULE_INDEX`
`static SubLSymbol`	`$sym7$RELEVANT_NUM_GAF_ARG_INDEX`
`static SubLSymbol`	`$sym70$RELEVANT_NUM_QUOTED_ISA_RULE_INDEX`
`static SubLSymbol`	`$sym71$RELEVANT_NUM_QUOTED_ISA_RULE_INDEX_WITH_CUTOFF`
`static SubLSymbol`	`$sym73$NUM_GENLS_RULE_INDEX`
`static SubLSymbol`	`$sym74$KEY_GENLS_RULE_INDEX`
`static SubLSymbol`	`$sym75$RELEVANT_NUM_GENLS_RULE_INDEX`
`static SubLSymbol`	`$sym76$RELEVANT_NUM_GENLS_RULE_INDEX_WITH_CUTOFF`
`static SubLSymbol`	`$sym78$NUM_GENL_MT_RULE_INDEX`
`static SubLSymbol`	`$sym79$KEY_GENL_MT_RULE_INDEX`
`static SubLSymbol`	`$sym80$RELEVANT_NUM_GENL_MT_RULE_INDEX`
`static SubLSymbol`	`$sym81$RELEVANT_NUM_GENL_MT_RULE_INDEX_WITH_CUTOFF`
`static SubLSymbol`	`$sym83$NUM_FUNCTION_RULE_INDEX`
`static SubLSymbol`	`$sym86$KEY_FUNCTION_RULE_INDEX`
`static SubLSymbol`	`$sym87$RELEVANT_NUM_FUNCTION_RULE_INDEX`
`static SubLSymbol`	`$sym88$RELEVANT_NUM_FUNCTION_RULE_INDEX_WITH_CUTOFF`
`static SubLSymbol`	`$sym92$NUM_EXCEPTION_RULE_INDEX`
`static SubLSymbol`	`$sym95$KEY_EXCEPTION_RULE_INDEX`
`static SubLSymbol`	`$sym96$RELEVANT_NUM_EXCEPTION_RULE_INDEX`
`static SubLSymbol`	`$sym97$RELEVANT_NUM_EXCEPTION_RULE_INDEX_WITH_CUTOFF`
`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`	`add_assertion_indices(SubLObject assertion, SubLObject v_term)`
`static SubLObject`	`add_gaf_arg_index(SubLObject v_term, SubLObject argnum, SubLObject pred, SubLObject mt, SubLObject assertion)`
`static SubLObject`	`add_gaf_indices(SubLObject assertion, SubLObject v_term)`
`static SubLObject`	`add_genls_rule_index(SubLObject col, SubLObject sense, SubLObject mt, SubLObject direction, SubLObject assertion)`
`static SubLObject`	`add_mt_index_internal(SubLObject v_term, SubLObject assertion)`
`static SubLObject`	`add_mt_index(SubLObject v_term, SubLObject assertion)`
`static SubLObject`	`add_other_index(SubLObject v_term, SubLObject assertion)`
`static SubLObject`	`add_predicate_extent_index(SubLObject pred, SubLObject mt, SubLObject assertion)`
`static SubLObject`	`add_predicate_rule_index(SubLObject pred, SubLObject sense, SubLObject mt, SubLObject direction, SubLObject assertion)`
`static SubLObject`	`add_rule_indices(SubLObject assertion, SubLObject v_term)`
`static SubLObject`	`all_mt_subindex_keys_relevant_p()`
`static SubLObject`	`best_gaf_lookup_index_int(SubLObject asent, SubLObject truth)` Determine the best gaf lookup index of ASENT with truth value TRUTH.
`static SubLObject`	`best_gaf_lookup_index_try_all_allowed(SubLObject asent, SubLObject truth, SubLObject methods)`
`static SubLObject`	`best_gaf_lookup_index_wrt_methods(SubLObject asent, SubLObject truth, SubLObject methods)`
`static SubLObject`	`best_gaf_lookup_index(SubLObject asent, SubLObject truth, SubLObject methods)`
`static SubLObject`	`broad_mtP(SubLObject mt)`
`static SubLObject`	`clear_key_gaf_arg_index_cached()`
`static SubLObject`	`decent_rule_index(SubLObject rule_cnf)`
`static SubLObject`	`declare_kb_indexing_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`dependent_narts(SubLObject fort)` Return a list of all current NARTs which are are functions of FORT, or which have FORT as their functor.
`static SubLObject`	`determine_formula_indices(SubLObject formula)`
`static SubLObject`	`determine_gaf_indices(SubLObject formula, SubLObject mt)`
`static SubLObject`	`determine_rule_indices_int(SubLObject asents, SubLObject sense)`
`static SubLObject`	`determine_rule_indices(SubLObject cnf)`
`static SubLObject`	`find_assertion_any_mt(SubLObject cnf)` Find any assertion in any mt with CNF.
`static SubLObject`	`find_assertion_internal(SubLObject cnf, SubLObject mt)`
`static SubLObject`	`find_assertion(SubLObject cnf, SubLObject mt)` Find the assertion in MT with CNF.
`static SubLObject`	`find_cnf_internal(SubLObject assertion)`
`static SubLObject`	`find_cnf(SubLObject cnf)` Return an assertion which has CNF as its cnf or NIL if none present.
`static SubLObject`	`find_gaf_any_mt(SubLObject gaf_formula)` Find any assertion in any mt with GAF-FORMULA as its formula.
`static SubLObject`	`find_gaf_cnf(SubLObject cnf)` Use the gaf indexing to find any assertion whose hl-cnf is CNF
`static SubLObject`	`find_gaf_formula(SubLObject gaf_formula)` Use the gaf indexing to find any assertion whose gaf formula is GAF-FORMULA, regardless of truth.
`static SubLObject`	`find_gaf_in_relevant_mt(SubLObject gaf_formula)` Find any assertion in any currently relevant with GAF-FORMULA as its formula.
`static SubLObject`	`find_gaf_internal(SubLObject assertion, SubLObject sentence)`
`static SubLObject`	`find_gaf(SubLObject gaf_formula, SubLObject mt)` Find the assertion in MT with GAF-FORMULA as its formula.
`static SubLObject`	`find_rule_cnf_via_index_int(SubLObject cnf, SubLObject index, SubLObject v_term)`
`static SubLObject`	`find_rule_cnf(SubLObject cnf)` Use the rule indexing to find any assertion whose hl-cnf is CNF
`static SubLObject`	`function_rule_top_level_key()`
`static SubLObject`	`gaf_arg_index_key_validator(SubLObject v_term, SubLObject argnum, SubLObject predicate, SubLObject mt)` Return T iff TERM, ARGNUM, PREDICATE and MT are valid keys for the :GAF-ARG INDEX.
`static SubLObject`	`get_decontextualized_ist_predicate_rule_subindex(SubLObject pred, SubLObject sense, SubLObject direction)`
`static SubLObject`	`get_function_rule_subindex(SubLObject func, SubLObject mt, SubLObject direction)`
`static SubLObject`	`get_gaf_arg_subindex(SubLObject v_term, SubLObject argnum, SubLObject pred, SubLObject mt)` Return the subindex at TERM ARGNUM PRED MT.
`static SubLObject`	`get_genl_mt_rule_subindex(SubLObject col, SubLObject sense, SubLObject mt, SubLObject direction)`
`static SubLObject`	`get_genls_rule_subindex(SubLObject col, SubLObject sense, SubLObject mt, SubLObject direction)`
`static SubLObject`	`get_isa_rule_subindex(SubLObject col, SubLObject sense, SubLObject mt, SubLObject direction)`
`static SubLObject`	`get_nart_arg_subindex(SubLObject v_term, SubLObject argnum, SubLObject func)` Return the subindex at TERM ARGNUM FUNC MT.
`static SubLObject`	`get_other_subindex(SubLObject v_term)`
`static SubLObject`	`get_predicate_extent_subindex(SubLObject pred, SubLObject mt)`
`static SubLObject`	`get_predicate_rule_subindex(SubLObject pred, SubLObject sense, SubLObject mt, SubLObject direction)`
`static SubLObject`	`get_subindex(SubLObject v_term, SubLObject keys)`
`static SubLObject`	`init_kb_indexing_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`key_decontextualized_ist_predicate_rule_index(SubLObject pred, SubLObject sense)` Return a list of the keys to the next index level below PRED SENSE.
`static SubLObject`	`key_function_rule_index(SubLObject func, SubLObject mt)` Return a list of the keys to the next index level below FUNC MT.
`static SubLObject`	`key_gaf_arg_index_cached_internal(SubLObject v_term, SubLObject argnum, SubLObject pred)` Return a list of the keys to the next index level below TERM ARGNUM PRED.
`static SubLObject`	`key_gaf_arg_index_cached(SubLObject v_term, SubLObject argnum, SubLObject pred)`
`static SubLObject`	`key_gaf_arg_index(SubLObject v_term, SubLObject argnum, SubLObject pred)` Return a list of the keys to the next index level below TERM ARGNUM PRED.
`static SubLObject`	`key_genl_mt_rule_index(SubLObject col, SubLObject sense, SubLObject mt)` Return a list of the keys to the next index level below COL SENSE MT.
`static SubLObject`	`key_genls_rule_index(SubLObject col, SubLObject sense, SubLObject mt)` Return a list of the keys to the next index level below COL SENSE MT.
`static SubLObject`	`key_isa_rule_index(SubLObject col, SubLObject sense, SubLObject mt)` Return a list of the keys to the next index level below COL SENSE MT.
`static SubLObject`	`key_nart_arg_index(SubLObject v_term, SubLObject argnum, SubLObject func)` Return a list of the keys to the next index level below TERM ARGNUM FUNC.
`static SubLObject`	`key_predicate_extent_index(SubLObject pred)` Return a list of the keys to the next predicate-extent index level below PRED.
`static SubLObject`	`key_predicate_rule_index(SubLObject pred, SubLObject sense, SubLObject mt)` Return a list of the keys to the next index level below PRED SENSE MT.
`static SubLObject`	`lookup_index_for_gaf_arg(SubLObject best_term, SubLObject best_index_argnum, SubLObject index_pred)`
`static SubLObject`	`lookup_index_for_predicate_extent(SubLObject predicate)`
`static SubLObject`	`lookup_index_gaf_arg_values(SubLObject lookup_index)` Assumes LOOKUP-INDEX is of type :gaf-arg.
`static SubLObject`	`lookup_index_get_property(SubLObject lookup_index, SubLObject indicator, SubLObject v_default)`
`static SubLObject`	`lookup_index_get_type(SubLObject lookup_index)`
`static SubLObject`	`lookup_index_set_property(SubLObject lookup_index, SubLObject indicator, SubLObject value)` Usage: (csetq li (lookup-index-set-property li :foo 212))
`static SubLObject`	`lookup_methods_includeP(SubLObject index_type, SubLObject methods)`
`static SubLObject`	`mark_term_index_as_muted(SubLObject v_term)`
`static SubLObject`	`mt_top_level_key()`
`static SubLObject`	`num_best_gaf_lookup_index_try_all_allowed(SubLObject asent, SubLObject truth, SubLObject methods)`
`static SubLObject`	`num_best_gaf_lookup_index(SubLObject asent, SubLObject truth, SubLObject methods)`
`static SubLObject`	`num_gaf_arg_index(SubLObject v_term, SubLObject argnum, SubLObject pred, SubLObject mt)` Return the number of gafs indexed off of TERM ARGNUM PRED MT.
`static SubLObject`	`num_genls_rule_index(SubLObject col, SubLObject sense, SubLObject mt, SubLObject direction)` Return the raw assertion count at COL SENSE MT DIRECTION.
`static SubLObject`	`num_index(SubLObject v_term)` The total number of assertions indexed from TERM.
`static SubLObject`	`num_nart_arg_index(SubLObject v_term, SubLObject argnum, SubLObject func)` Return the number of #$termOfUnit gafs indexed off of TERM ARGNUM FUNC.
`static SubLObject`	`num_other_index(SubLObject v_term)` Return the number of assertions at the other index for TERM.
`static SubLObject`	`num_predicate_extent_index(SubLObject pred, SubLObject mt)` Return the assertion count at PRED MT.
`static SubLObject`	`num_predicate_rule_index(SubLObject pred, SubLObject sense, SubLObject mt, SubLObject direction)` Return the raw assertion count at PRED SENSE MT DIRECTION.
`static SubLObject`	`num_quoted_isa_rule_index(SubLObject col, SubLObject sense, SubLObject mt, SubLObject direction)` Return the raw assertion count at COL SENSE MT DIRECTION.
`static SubLObject`	`other_top_level_key()`
`static SubLObject`	`predicate_extent_top_level_key()`
`static SubLObject`	`relevant_mt_subindex_count_with_cutoff(SubLObject mt_subindex, SubLObject cutoff)`
`static SubLObject`	`relevant_num_gaf_arg_index_with_cutoff(SubLObject v_term, SubLObject cutoff, SubLObject argnum, SubLObject pred)` Return the assertion count at relevant mts under TERM ARGNUM PRED.
`static SubLObject`	`relevant_num_gaf_arg_index(SubLObject v_term, SubLObject argnum, SubLObject pred)` Return the assertion count at relevant mts under TERM ARGNUM PRED.
`static SubLObject`	`relevant_num_pragma_rule_index(SubLObject rule)` Return the raw assertion count at relevant mts under RULE.
`static SubLObject`	`relevant_num_predicate_extent_index_with_cutoff(SubLObject pred, SubLObject cutoff)` Compute the assertion count at relevant mts under PRED.
`static SubLObject`	`relevant_num_predicate_rule_index(SubLObject pred, SubLObject sense)` Return the raw assertion count at relevant mts under PRED SENSE.
`static SubLObject`	`rem_gaf_arg_index(SubLObject v_term, SubLObject argnum, SubLObject pred, SubLObject mt, SubLObject assertion)`
`static SubLObject`	`rem_genls_rule_index(SubLObject col, SubLObject sense, SubLObject mt, SubLObject direction, SubLObject assertion)`
`static SubLObject`	`rem_mt_index_internal(SubLObject v_term, SubLObject assertion)`
`static SubLObject`	`rem_mt_index(SubLObject v_term, SubLObject assertion)`
`static SubLObject`	`rem_other_index(SubLObject v_term, SubLObject assertion)`
`static SubLObject`	`rem_predicate_extent_index(SubLObject pred, SubLObject mt, SubLObject assertion)`
`static SubLObject`	`rem_predicate_rule_index(SubLObject pred, SubLObject sense, SubLObject mt, SubLObject direction, SubLObject assertion)`
`static SubLObject`	`remove_assertion_indices(SubLObject assertion, SubLObject v_term)`
`static SubLObject`	`remove_gaf_indices(SubLObject assertion, SubLObject v_term)`
`static SubLObject`	`remove_rule_indices(SubLObject assertion, SubLObject v_term)`
`static SubLObject`	`remove_term_indices(SubLObject v_term)` Remove all assertions about TERM from the KB.
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_kb_indexing_file()`
`static SubLObject`	`term_add_indexing_leaf(SubLObject v_term, SubLObject keys, SubLObject leaf)` Walks down the indexing for TERM by following successive elements of KEYS, and once it gets to the bottom, inserts LEAF.
`static SubLObject`	`term_rem_indexing_leaf(SubLObject v_term, SubLObject keys, SubLObject leaf)` Walks down the indexing for TERM by following successive elements of KEYS, and once it gets to the bottom, deletes LEAF.

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$INTERMEDIATE_INDEX_P

public static final SubLSymbol $sym0$INTERMEDIATE_INDEX_P

$sym1$NON_NEGATIVE_INTEGER_P

public static final SubLSymbol $sym1$NON_NEGATIVE_INTEGER_P

$sym2$NUM_GAF_ARG_INDEX

public static final SubLSymbol $sym2$NUM_GAF_ARG_INDEX

$list3

public static final SubLList $list3

$str4$Return_the_number_of_gafs_indexed

public static final SubLString $str4$Return_the_number_of_gafs_indexed

$list5

public static final SubLList $list5

$sym6$KEY_GAF_ARG_INDEX

public static final SubLSymbol $sym6$KEY_GAF_ARG_INDEX

$sym7$RELEVANT_NUM_GAF_ARG_INDEX

public static final SubLSymbol $sym7$RELEVANT_NUM_GAF_ARG_INDEX

$list8

public static final SubLList $list8

$str9$Return_the_assertion_count_at_rel

public static final SubLString $str9$Return_the_assertion_count_at_rel

$sym10$RELEVANT_NUM_GAF_ARG_INDEX_WITH_CUTOFF

public static final SubLSymbol $sym10$RELEVANT_NUM_GAF_ARG_INDEX_WITH_CUTOFF

$sym11$KEY_GAF_ARG_INDEX_CACHED

public static final SubLSymbol $sym11$KEY_GAF_ARG_INDEX_CACHED

$sym12$_KEY_GAF_ARG_INDEX_CACHED_CACHING_STATE_

public static final SubLSymbol $sym12$_KEY_GAF_ARG_INDEX_CACHED_CACHING_STATE_

$int13$5000

public static final SubLInteger $int13$5000

$sym14$CLEAR_KEY_GAF_ARG_INDEX_CACHED

public static final SubLSymbol $sym14$CLEAR_KEY_GAF_ARG_INDEX_CACHED

$kw15$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw15$_MEMOIZED_ITEM_NOT_FOUND_

$str16$Return_a_list_of_the_keys_to_the_

public static final SubLString $str16$Return_a_list_of_the_keys_to_the_

$list17

public static final SubLList $list17

$kw18$GAF_ARG

public static final SubLSymbol $kw18$GAF_ARG

$sym19$NUM_NART_ARG_INDEX

public static final SubLSymbol $sym19$NUM_NART_ARG_INDEX

$list20

public static final SubLList $list20

$str21$Return_the_number_of___termOfUnit

public static final SubLString $str21$Return_the_number_of___termOfUnit

$sym22$RELEVANT_NUM_NART_ARG_INDEX

public static final SubLSymbol $sym22$RELEVANT_NUM_NART_ARG_INDEX

$str23$Compute_the_assertion_count_at_re

public static final SubLString $str23$Compute_the_assertion_count_at_re

$sym24$KEY_NART_ARG_INDEX

public static final SubLSymbol $sym24$KEY_NART_ARG_INDEX

$str25$Return_a_list_of_the_keys_to_the_

public static final SubLString $str25$Return_a_list_of_the_keys_to_the_

$kw26$NART_ARG

public static final SubLSymbol $kw26$NART_ARG

$sym27$NUM_PREDICATE_EXTENT_INDEX

public static final SubLSymbol $sym27$NUM_PREDICATE_EXTENT_INDEX

$list28

public static final SubLList $list28

$str29$Return_the_assertion_count_at_PRE

public static final SubLString $str29$Return_the_assertion_count_at_PRE

$sym30$KEY_PREDICATE_EXTENT_INDEX

public static final SubLSymbol $sym30$KEY_PREDICATE_EXTENT_INDEX

$sym31$RELEVANT_NUM_PREDICATE_EXTENT_INDEX

public static final SubLSymbol $sym31$RELEVANT_NUM_PREDICATE_EXTENT_INDEX

$list32

public static final SubLList $list32

$str33$Compute_the_assertion_count_at_re

public static final SubLString $str33$Compute_the_assertion_count_at_re

$sym34$RELEVANT_NUM_PREDICATE_EXTENT_INDEX_WITH_CUTOFF

public static final SubLSymbol $sym34$RELEVANT_NUM_PREDICATE_EXTENT_INDEX_WITH_CUTOFF

$str35$Return_a_list_of_the_keys_to_the_

public static final SubLString $str35$Return_a_list_of_the_keys_to_the_

$kw36$PREDICATE_EXTENT

public static final SubLSymbol $kw36$PREDICATE_EXTENT

$sym37$NUM_FUNCTION_EXTENT_INDEX

public static final SubLSymbol $sym37$NUM_FUNCTION_EXTENT_INDEX

$list38

public static final SubLList $list38

$str39$Return_the_function_extent_of_FUN

public static final SubLString $str39$Return_the_function_extent_of_FUN

$sym40$RELEVANT_NUM_FUNCTION_EXTENT_INDEX

public static final SubLSymbol $sym40$RELEVANT_NUM_FUNCTION_EXTENT_INDEX

$str41$Compute_the_function_extent_at_re

public static final SubLString $str41$Compute_the_function_extent_at_re

$kw42$FUNCTION_EXTENT

public static final SubLSymbol $kw42$FUNCTION_EXTENT

$sym43$NUM_PREDICATE_RULE_INDEX

public static final SubLSymbol $sym43$NUM_PREDICATE_RULE_INDEX

$list44

public static final SubLList $list44

$str45$Return_the_raw_assertion_count_at

public static final SubLString $str45$Return_the_raw_assertion_count_at

$sym46$KEY_PREDICATE_RULE_INDEX

public static final SubLSymbol $sym46$KEY_PREDICATE_RULE_INDEX

$sym47$RELEVANT_NUM_PREDICATE_RULE_INDEX

public static final SubLSymbol $sym47$RELEVANT_NUM_PREDICATE_RULE_INDEX

$sym48$RELEVANT_NUM_PREDICATE_RULE_INDEX_WITH_CUTOFF

public static final SubLSymbol $sym48$RELEVANT_NUM_PREDICATE_RULE_INDEX_WITH_CUTOFF

$list49

public static final SubLList $list49

$str50$Return_a_list_of_the_keys_to_the_

public static final SubLString $str50$Return_a_list_of_the_keys_to_the_

$kw51$PREDICATE_RULE

public static final SubLSymbol $kw51$PREDICATE_RULE

$sym52$NUM_DECONTEXTUALIZED_IST_PREDICATE_RULE_INDEX

public static final SubLSymbol $sym52$NUM_DECONTEXTUALIZED_IST_PREDICATE_RULE_INDEX

$list53

public static final SubLList $list53

$str54$Return_the_raw_assertion_count_at

public static final SubLString $str54$Return_the_raw_assertion_count_at

$sym55$KEY_DECONTEXTUALIZED_IST_PREDICATE_RULE_INDEX

public static final SubLSymbol $sym55$KEY_DECONTEXTUALIZED_IST_PREDICATE_RULE_INDEX

$list56

public static final SubLList $list56

$str57$Return_a_list_of_the_keys_to_the_

public static final SubLString $str57$Return_a_list_of_the_keys_to_the_

$kw58$DECONTEXTUALIZED_IST_PREDICATE_RULE

public static final SubLSymbol $kw58$DECONTEXTUALIZED_IST_PREDICATE_RULE

$sym59$NUM_ISA_RULE_INDEX

public static final SubLSymbol $sym59$NUM_ISA_RULE_INDEX

$list60

public static final SubLList $list60

$str61$Return_the_raw_assertion_count_at

public static final SubLString $str61$Return_the_raw_assertion_count_at

$sym62$KEY_ISA_RULE_INDEX

public static final SubLSymbol $sym62$KEY_ISA_RULE_INDEX

$sym63$RELEVANT_NUM_ISA_RULE_INDEX

public static final SubLSymbol $sym63$RELEVANT_NUM_ISA_RULE_INDEX

$sym64$RELEVANT_NUM_ISA_RULE_INDEX_WITH_CUTOFF

public static final SubLSymbol $sym64$RELEVANT_NUM_ISA_RULE_INDEX_WITH_CUTOFF

$list65

public static final SubLList $list65

$str66$Return_a_list_of_the_keys_to_the_

public static final SubLString $str66$Return_a_list_of_the_keys_to_the_

$kw67$ISA_RULE

public static final SubLSymbol $kw67$ISA_RULE

$sym68$NUM_QUOTED_ISA_RULE_INDEX

public static final SubLSymbol $sym68$NUM_QUOTED_ISA_RULE_INDEX

$sym69$KEY_QUOTED_ISA_RULE_INDEX

public static final SubLSymbol $sym69$KEY_QUOTED_ISA_RULE_INDEX

$sym70$RELEVANT_NUM_QUOTED_ISA_RULE_INDEX

public static final SubLSymbol $sym70$RELEVANT_NUM_QUOTED_ISA_RULE_INDEX

$sym71$RELEVANT_NUM_QUOTED_ISA_RULE_INDEX_WITH_CUTOFF

public static final SubLSymbol $sym71$RELEVANT_NUM_QUOTED_ISA_RULE_INDEX_WITH_CUTOFF

$kw72$QUOTED_ISA_RULE

public static final SubLSymbol $kw72$QUOTED_ISA_RULE

$sym73$NUM_GENLS_RULE_INDEX

public static final SubLSymbol $sym73$NUM_GENLS_RULE_INDEX

$sym74$KEY_GENLS_RULE_INDEX

public static final SubLSymbol $sym74$KEY_GENLS_RULE_INDEX

$sym75$RELEVANT_NUM_GENLS_RULE_INDEX

public static final SubLSymbol $sym75$RELEVANT_NUM_GENLS_RULE_INDEX

$sym76$RELEVANT_NUM_GENLS_RULE_INDEX_WITH_CUTOFF

public static final SubLSymbol $sym76$RELEVANT_NUM_GENLS_RULE_INDEX_WITH_CUTOFF

$kw77$GENLS_RULE

public static final SubLSymbol $kw77$GENLS_RULE

$sym78$NUM_GENL_MT_RULE_INDEX

public static final SubLSymbol $sym78$NUM_GENL_MT_RULE_INDEX

$sym79$KEY_GENL_MT_RULE_INDEX

public static final SubLSymbol $sym79$KEY_GENL_MT_RULE_INDEX

$sym80$RELEVANT_NUM_GENL_MT_RULE_INDEX

public static final SubLSymbol $sym80$RELEVANT_NUM_GENL_MT_RULE_INDEX

$sym81$RELEVANT_NUM_GENL_MT_RULE_INDEX_WITH_CUTOFF

public static final SubLSymbol $sym81$RELEVANT_NUM_GENL_MT_RULE_INDEX_WITH_CUTOFF

$kw82$GENL_MT_RULE

public static final SubLSymbol $kw82$GENL_MT_RULE

$sym83$NUM_FUNCTION_RULE_INDEX

public static final SubLSymbol $sym83$NUM_FUNCTION_RULE_INDEX

$list84

public static final SubLList $list84

$str85$Return_the_raw_assertion_count_at

public static final SubLString $str85$Return_the_raw_assertion_count_at

$sym86$KEY_FUNCTION_RULE_INDEX

public static final SubLSymbol $sym86$KEY_FUNCTION_RULE_INDEX

$sym87$RELEVANT_NUM_FUNCTION_RULE_INDEX

public static final SubLSymbol $sym87$RELEVANT_NUM_FUNCTION_RULE_INDEX

$sym88$RELEVANT_NUM_FUNCTION_RULE_INDEX_WITH_CUTOFF

public static final SubLSymbol $sym88$RELEVANT_NUM_FUNCTION_RULE_INDEX_WITH_CUTOFF

$list89

public static final SubLList $list89

$str90$Return_a_list_of_the_keys_to_the_

public static final SubLString $str90$Return_a_list_of_the_keys_to_the_

$kw91$FUNCTION_RULE

public static final SubLSymbol $kw91$FUNCTION_RULE

$sym92$NUM_EXCEPTION_RULE_INDEX

public static final SubLSymbol $sym92$NUM_EXCEPTION_RULE_INDEX

$list93

public static final SubLList $list93

$str94$Return_the_raw_assertion_count_at

public static final SubLString $str94$Return_the_raw_assertion_count_at

$sym95$KEY_EXCEPTION_RULE_INDEX

public static final SubLSymbol $sym95$KEY_EXCEPTION_RULE_INDEX

$sym96$RELEVANT_NUM_EXCEPTION_RULE_INDEX

public static final SubLSymbol $sym96$RELEVANT_NUM_EXCEPTION_RULE_INDEX

$sym97$RELEVANT_NUM_EXCEPTION_RULE_INDEX_WITH_CUTOFF

public static final SubLSymbol $sym97$RELEVANT_NUM_EXCEPTION_RULE_INDEX_WITH_CUTOFF

$list98

public static final SubLList $list98

$str99$Return_a_list_of_the_keys_to_the_

public static final SubLString $str99$Return_a_list_of_the_keys_to_the_

$kw100$EXCEPTION_RULE

public static final SubLSymbol $kw100$EXCEPTION_RULE

$sym101$NUM_PRAGMA_RULE_INDEX

public static final SubLSymbol $sym101$NUM_PRAGMA_RULE_INDEX

$sym102$KEY_PRAGMA_RULE_INDEX

public static final SubLSymbol $sym102$KEY_PRAGMA_RULE_INDEX

$sym103$RELEVANT_NUM_PRAGMA_RULE_INDEX

public static final SubLSymbol $sym103$RELEVANT_NUM_PRAGMA_RULE_INDEX

$sym104$RELEVANT_NUM_PRAGMA_RULE_INDEX_WITH_CUTOFF

public static final SubLSymbol $sym104$RELEVANT_NUM_PRAGMA_RULE_INDEX_WITH_CUTOFF

$kw105$PRAGMA_RULE

public static final SubLSymbol $kw105$PRAGMA_RULE

$sym106$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym106$RELEVANT_MT_IS_EVERYTHING

$const107$EverythingPSC

public static final SubLObject $const107$EverythingPSC

$kw108$RULE

public static final SubLSymbol $kw108$RULE

$sym109$NUM_MT_INDEX

public static final SubLSymbol $sym109$NUM_MT_INDEX

$list110

public static final SubLList $list110

$str111$Return_the_number_of_assertions_a

public static final SubLString $str111$Return_the_number_of_assertions_a

$kw112$IST

public static final SubLSymbol $kw112$IST

$const113$BroadMicrotheory

public static final SubLObject $const113$BroadMicrotheory

$sym114$NUM_OTHER_INDEX

public static final SubLSymbol $sym114$NUM_OTHER_INDEX

$str115$Return_the_number_of_assertions_a

public static final SubLString $str115$Return_the_number_of_assertions_a

$kw116$OTHER

public static final SubLSymbol $kw116$OTHER

$sym117$NUM_INDEX

public static final SubLSymbol $sym117$NUM_INDEX

$str118$The_total_number_of_assertions_in

public static final SubLString $str118$The_total_number_of_assertions_in

$str119$Performing_indexing_cleanup___

public static final SubLString $str119$Performing_indexing_cleanup___

$sym120$UNINDEXED_SYNTAX_CONSTANT_INDEX_CLEANUP_INTERNAL

public static final SubLSymbol $sym120$UNINDEXED_SYNTAX_CONSTANT_INDEX_CLEANUP_INTERNAL

$sym121$INDEXED_TERM_P

public static final SubLSymbol $sym121$INDEXED_TERM_P

$sym122$ASSERTION_MT

public static final SubLSymbol $sym122$ASSERTION_MT

$sym123$ASSERTION_P

public static final SubLSymbol $sym123$ASSERTION_P

$kw124$POS

public static final SubLSymbol $kw124$POS

$kw125$NEG

public static final SubLSymbol $kw125$NEG

$sym126$_

public static final SubLSymbol $sym126$_

$const127$isa

public static final SubLObject $const127$isa

$const128$genls

public static final SubLObject $const128$genls

$const129$termOfUnit

public static final SubLObject $const129$termOfUnit

$str130$indexing_problem_while_removing__

public static final SubLString $str130$indexing_problem_while_removing__

$sym131$REMOVE_TERM_INDICES

public static final SubLSymbol $sym131$REMOVE_TERM_INDICES

$str132$Remove_all_assertions_about_TERM_

public static final SubLString $str132$Remove_all_assertions_about_TERM_

$list133

public static final SubLList $list133

$kw134$IGNORE

public static final SubLSymbol $kw134$IGNORE

$sym135$VALID_FULLY_INDEXED_TERM_P

public static final SubLSymbol $sym135$VALID_FULLY_INDEXED_TERM_P

$sym136$CDR

public static final SubLSymbol $sym136$CDR

$sym137$FULLY_INDEXED_HLMT_TERM_P

public static final SubLSymbol $sym137$FULLY_INDEXED_HLMT_TERM_P

$str138$So_don_t_

public static final SubLString $str138$So_don_t_

$str139$Don_t_know_how_to_index__S

public static final SubLString $str139$Don_t_know_how_to_index__S

$list140

public static final SubLList $list140

$list141

public static final SubLList $list141

$kw142$ISA

public static final SubLSymbol $kw142$ISA

$kw143$PRED

public static final SubLSymbol $kw143$PRED

$const144$quotedIsa

public static final SubLObject $const144$quotedIsa

$kw145$QUOTED_ISA

public static final SubLSymbol $kw145$QUOTED_ISA

$kw146$GENLS

public static final SubLSymbol $kw146$GENLS

$const147$genlMt

public static final SubLObject $const147$genlMt

$kw148$GENL_MT

public static final SubLSymbol $kw148$GENL_MT

$kw149$FUNC

public static final SubLSymbol $kw149$FUNC

$const150$abnormal

public static final SubLObject $const150$abnormal

$kw151$EXCEPTION

public static final SubLSymbol $kw151$EXCEPTION

$const152$meetsPragmaticRequirement

public static final SubLObject $const152$meetsPragmaticRequirement

$kw153$PRAGMA

public static final SubLSymbol $kw153$PRAGMA

$const154$ist

public static final SubLObject $const154$ist

$kw155$IST_PRED

public static final SubLSymbol $kw155$IST_PRED

$sym156$FULLY_INDEXED_TERM_P

public static final SubLSymbol $sym156$FULLY_INDEXED_TERM_P

$sym157$SECOND

public static final SubLSymbol $sym157$SECOND

$list158

public static final SubLList $list158

$str159$Can_t_index_a_pragmatic_requireme

public static final SubLString $str159$Can_t_index_a_pragmatic_requireme

$str160$Can_t_index_an_exception_as_a_neg

public static final SubLString $str160$Can_t_index_an_exception_as_a_neg

$str161$Don_t_know_how_to_handle_indexing

public static final SubLString $str161$Don_t_know_how_to_handle_indexing

$list162

public static final SubLList $list162

$str163$Can_t_index_a_function_rule_as_a_

public static final SubLString $str163$Can_t_index_a_function_rule_as_a_

$str164$Can_t_remove_the_index_of_a_pragm

public static final SubLString $str164$Can_t_remove_the_index_of_a_pragm

$str165$Can_t_remove_the_index_of_an_exce

public static final SubLString $str165$Can_t_remove_the_index_of_an_exce

$str166$Can_t_remove_the_index_of_a_funct

public static final SubLString $str166$Can_t_remove_the_index_of_a_funct

$kw167$OVERLAP

public static final SubLSymbol $kw167$OVERLAP

$sym168$FORT_P

public static final SubLSymbol $sym168$FORT_P

$kw169$GAF

public static final SubLSymbol $kw169$GAF

$sym170$DECENT_NAT_INDEX

public static final SubLSymbol $sym170$DECENT_NAT_INDEX

$list171

public static final SubLList $list171

$sym172$BEST_NAT_INDEX_COUNT

public static final SubLSymbol $sym172$BEST_NAT_INDEX_COUNT

$list173

public static final SubLList $list173

$kw174$PRED_POS

public static final SubLSymbol $kw174$PRED_POS

$kw175$IST_PRED_POS

public static final SubLSymbol $kw175$IST_PRED_POS

$kw176$ISA_POS

public static final SubLSymbol $kw176$ISA_POS

$kw177$QUOTED_ISA_POS

public static final SubLSymbol $kw177$QUOTED_ISA_POS

$kw178$GENLS_POS

public static final SubLSymbol $kw178$GENLS_POS

$kw179$GENL_MT_POS

public static final SubLSymbol $kw179$GENL_MT_POS

$kw180$PRED_NEG

public static final SubLSymbol $kw180$PRED_NEG

$kw181$IST_PRED_NEG

public static final SubLSymbol $kw181$IST_PRED_NEG

$kw182$ISA_NEG

public static final SubLSymbol $kw182$ISA_NEG

$kw183$QUOTED_ISA_NEG

public static final SubLSymbol $kw183$QUOTED_ISA_NEG

$kw184$GENLS_NEG

public static final SubLSymbol $kw184$GENLS_NEG

$kw185$GENL_MT_NEG

public static final SubLSymbol $kw185$GENL_MT_NEG

$list186

public static final SubLList $list186

$list187

public static final SubLList $list187

$kw188$INDEX_TYPE

public static final SubLSymbol $kw188$INDEX_TYPE

$kw189$PREDICATE

public static final SubLSymbol $kw189$PREDICATE

$kw190$TERM

public static final SubLSymbol $kw190$TERM

$kw191$ARGNUM

public static final SubLSymbol $kw191$ARGNUM

$kw192$TERMS

public static final SubLSymbol $kw192$TERMS

$kw193$FUNCTOR

public static final SubLSymbol $kw193$FUNCTOR

$int194$10000

public static final SubLInteger $int194$10000

$str195$Clearing_FORT_indexing

public static final SubLString $str195$Clearing_FORT_indexing

$kw196$SKIP

public static final SubLSymbol $kw196$SKIP

$str197$Clearing_Assertion_indexing

public static final SubLString $str197$Clearing_Assertion_indexing

$sym198$STRINGP

public static final SubLSymbol $sym198$STRINGP

$str199$Reindexing_assertions

public static final SubLString $str199$Reindexing_assertions

$sym200$CATCH_ERROR_MESSAGE_HANDLER

public static final SubLSymbol $sym200$CATCH_ERROR_MESSAGE_HANDLER

$kw201$IGNORE_ERRORS_TARGET

public static final SubLSymbol $kw201$IGNORE_ERRORS_TARGET

$sym202$IGNORE_ERRORS_HANDLER

public static final SubLSymbol $sym202$IGNORE_ERRORS_HANDLER

$str203$Error_when_indexing_assertion__A_

public static final SubLString $str203$Error_when_indexing_assertion__A_

$sym204$_

public static final SubLSymbol $sym204$_

$sym205$ASSERTION_ID

public static final SubLSymbol $sym205$ASSERTION_ID

$sym206$CNF_P

public static final SubLSymbol $sym206$CNF_P

$sym207$HLMT_P

public static final SubLSymbol $sym207$HLMT_P

$sym208$FIND_ASSERTION

public static final SubLSymbol $sym208$FIND_ASSERTION

$list209

public static final SubLList $list209

$str210$Find_the_assertion_in_MT_with_CNF

public static final SubLString $str210$Find_the_assertion_in_MT_with_CNF

$list211

public static final SubLList $list211

$list212

public static final SubLList $list212

$sym213$RELEVANT_MT_IS_EQ

public static final SubLSymbol $sym213$RELEVANT_MT_IS_EQ

$sym214$FIND_ASSERTION_ANY_MT

public static final SubLSymbol $sym214$FIND_ASSERTION_ANY_MT

$list215

public static final SubLList $list215

$str216$Find_any_assertion_in_any_mt_with

public static final SubLString $str216$Find_any_assertion_in_any_mt_with

$list217

public static final SubLList $list217

$sym218$FIND_ALL_ASSERTIONS

public static final SubLSymbol $sym218$FIND_ALL_ASSERTIONS

$str219$Return_all_assertions_that_have_C

public static final SubLString $str219$Return_all_assertions_that_have_C

$list220

public static final SubLList $list220

$sym221$EL_FORMULA_P

public static final SubLSymbol $sym221$EL_FORMULA_P

$sym222$FIND_GAF

public static final SubLSymbol $sym222$FIND_GAF

$list223

public static final SubLList $list223

$str224$Find_the_assertion_in_MT_with_GAF

public static final SubLString $str224$Find_the_assertion_in_MT_with_GAF

$list225

public static final SubLList $list225

$sym226$FIND_GAF_ANY_MT

public static final SubLSymbol $sym226$FIND_GAF_ANY_MT

$list227

public static final SubLList $list227

$str228$Find_any_assertion_in_any_mt_with

public static final SubLString $str228$Find_any_assertion_in_any_mt_with

$list229

public static final SubLList $list229

$sym230$RELEVANT_MT_IS_GENL_MT

public static final SubLSymbol $sym230$RELEVANT_MT_IS_GENL_MT

$sym231$FIND_ALL_GAFS

public static final SubLSymbol $sym231$FIND_ALL_GAFS

$str232$Return_all_assertions_of_GAF_FORM

public static final SubLString $str232$Return_all_assertions_of_GAF_FORM

$list233

public static final SubLList $list233

$kw234$MAPPING_DONE

public static final SubLSymbol $kw234$MAPPING_DONE

$sym235$FIND_CNF_INTERNAL

public static final SubLSymbol $sym235$FIND_CNF_INTERNAL

$sym236$ASSERTION_EL_FORMULA

public static final SubLSymbol $sym236$ASSERTION_EL_FORMULA

$sym237$GATHER_ONE_RULE_ASSERTION

public static final SubLSymbol $sym237$GATHER_ONE_RULE_ASSERTION

$list238

public static final SubLList $list238

$const239$implies

public static final SubLObject $const239$implies

Method Detail

get_subindex

public static final SubLObject get_subindex(SubLObject v_term,
                                            SubLObject keys)

term_add_indexing_leaf

public static final SubLObject term_add_indexing_leaf(SubLObject v_term,
                                                      SubLObject keys,
                                                      SubLObject leaf)

Walks down the indexing for TERM by following successive elements of KEYS, and once it gets to the bottom, inserts LEAF.

term_rem_indexing_leaf

public static final SubLObject term_rem_indexing_leaf(SubLObject v_term,
                                                      SubLObject keys,
                                                      SubLObject leaf)

Walks down the indexing for TERM by following successive elements of KEYS, and once it gets to the bottom, deletes LEAF.

all_mt_subindex_keys_relevant_p

public static final SubLObject all_mt_subindex_keys_relevant_p()

relevant_mt_subindex_count_with_cutoff

public static final SubLObject relevant_mt_subindex_count_with_cutoff(SubLObject mt_subindex,
                                                                      SubLObject cutoff)

mark_term_index_as_muted

public static final SubLObject mark_term_index_as_muted(SubLObject v_term)

num_gaf_arg_index

public static final SubLObject num_gaf_arg_index(SubLObject v_term,
                                                 SubLObject argnum,
                                                 SubLObject pred,
                                                 SubLObject mt)

Return the number of gafs indexed off of TERM ARGNUM PRED MT.

relevant_num_gaf_arg_index

public static final SubLObject relevant_num_gaf_arg_index(SubLObject v_term,
                                                          SubLObject argnum,
                                                          SubLObject pred)

Return the assertion count at relevant mts under TERM ARGNUM PRED.

relevant_num_gaf_arg_index_with_cutoff

public static final SubLObject relevant_num_gaf_arg_index_with_cutoff(SubLObject v_term,
                                                                      SubLObject cutoff,
                                                                      SubLObject argnum,
                                                                      SubLObject pred)

Return the assertion count at relevant mts under TERM ARGNUM PRED.

Parameters:: CUTOFF - non-negative-integer-p; a number beyond which to stop counting relevant assertions and just return CUTOFF.

clear_key_gaf_arg_index_cached

public static final SubLObject clear_key_gaf_arg_index_cached()

key_gaf_arg_index_cached_internal

public static final SubLObject key_gaf_arg_index_cached_internal(SubLObject v_term,
                                                                 SubLObject argnum,
                                                                 SubLObject pred)

Return a list of the keys to the next index level below TERM ARGNUM PRED.

key_gaf_arg_index_cached

public static final SubLObject key_gaf_arg_index_cached(SubLObject v_term,
                                                        SubLObject argnum,
                                                        SubLObject pred)

key_gaf_arg_index

public static final SubLObject key_gaf_arg_index(SubLObject v_term,
                                                 SubLObject argnum,
                                                 SubLObject pred)

Return a list of the keys to the next index level below TERM ARGNUM PRED.

gaf_arg_index_key_validator

public static final SubLObject gaf_arg_index_key_validator(SubLObject v_term,
                                                           SubLObject argnum,
                                                           SubLObject predicate,
                                                           SubLObject mt)

Return T iff TERM, ARGNUM, PREDICATE and MT are valid keys for the :GAF-ARG INDEX.

get_gaf_arg_subindex

public static final SubLObject get_gaf_arg_subindex(SubLObject v_term,
                                                    SubLObject argnum,
                                                    SubLObject pred,
                                                    SubLObject mt)

Return the subindex at TERM ARGNUM PRED MT. Return NIL if none present.

add_gaf_arg_index

public static final SubLObject add_gaf_arg_index(SubLObject v_term,
                                                 SubLObject argnum,
                                                 SubLObject pred,
                                                 SubLObject mt,
                                                 SubLObject assertion)

rem_gaf_arg_index

public static final SubLObject rem_gaf_arg_index(SubLObject v_term,
                                                 SubLObject argnum,
                                                 SubLObject pred,
                                                 SubLObject mt,
                                                 SubLObject assertion)

num_nart_arg_index

public static final SubLObject num_nart_arg_index(SubLObject v_term,
                                                  SubLObject argnum,
                                                  SubLObject func)

Return the number of #$termOfUnit gafs indexed off of TERM ARGNUM FUNC.

key_nart_arg_index

public static final SubLObject key_nart_arg_index(SubLObject v_term,
                                                  SubLObject argnum,
                                                  SubLObject func)

Return a list of the keys to the next index level below TERM ARGNUM FUNC.

get_nart_arg_subindex

public static final SubLObject get_nart_arg_subindex(SubLObject v_term,
                                                     SubLObject argnum,
                                                     SubLObject func)

Return the subindex at TERM ARGNUM FUNC MT. Return NIL if none present.

num_predicate_extent_index

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

Return the assertion count at PRED MT.

relevant_num_predicate_extent_index_with_cutoff

public static final SubLObject relevant_num_predicate_extent_index_with_cutoff(SubLObject pred,
                                                                               SubLObject cutoff)

Compute the assertion count at relevant mts under PRED.

Parameters:: CUTOFF - non-negative-integer-p; a number beyond which to stop counting relevant assertions and just return CUTOFF.

key_predicate_extent_index

public static final SubLObject key_predicate_extent_index(SubLObject pred)

Return a list of the keys to the next predicate-extent index level below PRED.

predicate_extent_top_level_key

public static final SubLObject predicate_extent_top_level_key()

add_predicate_extent_index

public static final SubLObject add_predicate_extent_index(SubLObject pred,
                                                          SubLObject mt,
                                                          SubLObject assertion)

rem_predicate_extent_index

public static final SubLObject rem_predicate_extent_index(SubLObject pred,
                                                          SubLObject mt,
                                                          SubLObject assertion)

get_predicate_extent_subindex

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

Returns:: nil or subindex-p; Return the subindex at PRED MT, or NIL if none present

num_predicate_rule_index

public static final SubLObject num_predicate_rule_index(SubLObject pred,
                                                        SubLObject sense,
                                                        SubLObject mt,
                                                        SubLObject direction)

Return the raw assertion count at PRED SENSE MT DIRECTION.

relevant_num_predicate_rule_index

public static final SubLObject relevant_num_predicate_rule_index(SubLObject pred,
                                                                 SubLObject sense)

Return the raw assertion count at relevant mts under PRED SENSE.

key_predicate_rule_index

public static final SubLObject key_predicate_rule_index(SubLObject pred,
                                                        SubLObject sense,
                                                        SubLObject mt)

Return a list of the keys to the next index level below PRED SENSE MT.

get_predicate_rule_subindex

public static final SubLObject get_predicate_rule_subindex(SubLObject pred,
                                                           SubLObject sense,
                                                           SubLObject mt,
                                                           SubLObject direction)

Returns:: nil or subindex-p

add_predicate_rule_index

public static final SubLObject add_predicate_rule_index(SubLObject pred,
                                                        SubLObject sense,
                                                        SubLObject mt,
                                                        SubLObject direction,
                                                        SubLObject assertion)

rem_predicate_rule_index

public static final SubLObject rem_predicate_rule_index(SubLObject pred,
                                                        SubLObject sense,
                                                        SubLObject mt,
                                                        SubLObject direction,
                                                        SubLObject assertion)

key_decontextualized_ist_predicate_rule_index

public static final SubLObject key_decontextualized_ist_predicate_rule_index(SubLObject pred,
                                                                             SubLObject sense)

Return a list of the keys to the next index level below PRED SENSE.

get_decontextualized_ist_predicate_rule_subindex

public static final SubLObject get_decontextualized_ist_predicate_rule_subindex(SubLObject pred,
                                                                                SubLObject sense,
                                                                                SubLObject direction)

Returns:: nil or subindex-p

key_isa_rule_index

public static final SubLObject key_isa_rule_index(SubLObject col,
                                                  SubLObject sense,
                                                  SubLObject mt)

Return a list of the keys to the next index level below COL SENSE MT.

get_isa_rule_subindex

public static final SubLObject get_isa_rule_subindex(SubLObject col,
                                                     SubLObject sense,
                                                     SubLObject mt,
                                                     SubLObject direction)

Returns:: nil or subindex-p

num_quoted_isa_rule_index

public static final SubLObject num_quoted_isa_rule_index(SubLObject col,
                                                         SubLObject sense,
                                                         SubLObject mt,
                                                         SubLObject direction)

Return the raw assertion count at COL SENSE MT DIRECTION.

num_genls_rule_index

public static final SubLObject num_genls_rule_index(SubLObject col,
                                                    SubLObject sense,
                                                    SubLObject mt,
                                                    SubLObject direction)

Return the raw assertion count at COL SENSE MT DIRECTION.

key_genls_rule_index

public static final SubLObject key_genls_rule_index(SubLObject col,
                                                    SubLObject sense,
                                                    SubLObject mt)

Return a list of the keys to the next index level below COL SENSE MT.

get_genls_rule_subindex

public static final SubLObject get_genls_rule_subindex(SubLObject col,
                                                       SubLObject sense,
                                                       SubLObject mt,
                                                       SubLObject direction)

Returns:: nil or subindex-p

add_genls_rule_index

public static final SubLObject add_genls_rule_index(SubLObject col,
                                                    SubLObject sense,
                                                    SubLObject mt,
                                                    SubLObject direction,
                                                    SubLObject assertion)

rem_genls_rule_index

public static final SubLObject rem_genls_rule_index(SubLObject col,
                                                    SubLObject sense,
                                                    SubLObject mt,
                                                    SubLObject direction,
                                                    SubLObject assertion)

key_genl_mt_rule_index

public static final SubLObject key_genl_mt_rule_index(SubLObject col,
                                                      SubLObject sense,
                                                      SubLObject mt)

Return a list of the keys to the next index level below COL SENSE MT.

get_genl_mt_rule_subindex

public static final SubLObject get_genl_mt_rule_subindex(SubLObject col,
                                                         SubLObject sense,
                                                         SubLObject mt,
                                                         SubLObject direction)

Returns:: nil or subindex-p

key_function_rule_index

public static final SubLObject key_function_rule_index(SubLObject func,
                                                       SubLObject mt)

Return a list of the keys to the next index level below FUNC MT.

get_function_rule_subindex

public static final SubLObject get_function_rule_subindex(SubLObject func,
                                                          SubLObject mt,
                                                          SubLObject direction)

Returns:: nil or subindex-p

function_rule_top_level_key

public static final SubLObject function_rule_top_level_key()

relevant_num_pragma_rule_index

public static final SubLObject relevant_num_pragma_rule_index(SubLObject rule)

Return the raw assertion count at relevant mts under RULE.

add_mt_index

public static final SubLObject add_mt_index(SubLObject v_term,
                                            SubLObject assertion)

rem_mt_index

public static final SubLObject rem_mt_index(SubLObject v_term,
                                            SubLObject assertion)

add_mt_index_internal

public static final SubLObject add_mt_index_internal(SubLObject v_term,
                                                     SubLObject assertion)

rem_mt_index_internal

public static final SubLObject rem_mt_index_internal(SubLObject v_term,
                                                     SubLObject assertion)

mt_top_level_key

public static final SubLObject mt_top_level_key()

broad_mtP

public static final SubLObject broad_mtP(SubLObject mt)

num_other_index

public static final SubLObject num_other_index(SubLObject v_term)

Return the number of assertions at the other index for TERM.

get_other_subindex

public static final SubLObject get_other_subindex(SubLObject v_term)

add_other_index

public static final SubLObject add_other_index(SubLObject v_term,
                                               SubLObject assertion)

rem_other_index

public static final SubLObject rem_other_index(SubLObject v_term,
                                               SubLObject assertion)

other_top_level_key

public static final SubLObject other_top_level_key()

num_index

public static final SubLObject num_index(SubLObject v_term)

The total number of assertions indexed from TERM.

add_assertion_indices

public static final SubLObject add_assertion_indices(SubLObject assertion,
                                                     SubLObject v_term)

remove_assertion_indices

public static final SubLObject remove_assertion_indices(SubLObject assertion,
                                                        SubLObject v_term)

remove_term_indices

public static final SubLObject remove_term_indices(SubLObject v_term)

Remove all assertions about TERM from the KB. Return the TERM.

determine_formula_indices

public static final SubLObject determine_formula_indices(SubLObject formula)

Returns:: 0 alist-p; a list of (argnum . term) pairs

determine_gaf_indices

public static final SubLObject determine_gaf_indices(SubLObject formula,
                                                     SubLObject mt)

Returns:: 0 alist-p; a list of (argnum . term) pairs

add_gaf_indices

public static final SubLObject add_gaf_indices(SubLObject assertion,
                                               SubLObject v_term)

remove_gaf_indices

public static final SubLObject remove_gaf_indices(SubLObject assertion,
                                                  SubLObject v_term)

determine_rule_indices_int

public static final SubLObject determine_rule_indices_int(SubLObject asents,
                                                          SubLObject sense)

Returns:: 0 a list of pairs. The first element of each pair is the type of indexing: :pred, :ist-pred, :func, :isa, :genls, :genl-mt, :exception, or :pragma. and the second element of each pair is the term to be indexed with that type of indexing.

determine_rule_indices

public static final SubLObject determine_rule_indices(SubLObject cnf)

Returns:: 0 a list of pairs. The first element of each pair is the type of indexing: :pred, :func, :isa, :genls, :genl-mt, :exception, or :pragma. and the second element of each pair is the term to be indexed with that type of indexing. All these pairs occurred as neg-lits in CNF.

add_rule_indices

public static final SubLObject add_rule_indices(SubLObject assertion,
                                                SubLObject v_term)

remove_rule_indices

public static final SubLObject remove_rule_indices(SubLObject assertion,
                                                   SubLObject v_term)

dependent_narts

public static final SubLObject dependent_narts(SubLObject fort)

Return a list of all current NARTs which are are functions of FORT, or which have FORT as their functor.

decent_rule_index

public static final SubLObject decent_rule_index(SubLObject rule_cnf)

Returns:: 0 keywordp; the type of indexing: :pred-neg, :pred-pos, :ist-pred-neg, :ist-pred-pos, :func, :isa-neg, :isa-pos, :genls-neg, :genls-pos, :genl-mt-neg, :genl-mt-pos, :exception, :pragma, or :other.

lookup_index_get_property

public static final SubLObject lookup_index_get_property(SubLObject lookup_index,
                                                         SubLObject indicator,
                                                         SubLObject v_default)

lookup_index_set_property

public static final SubLObject lookup_index_set_property(SubLObject lookup_index,
                                                         SubLObject indicator,
                                                         SubLObject value)

Usage: (csetq li (lookup-index-set-property li :foo 212))

lookup_index_get_type

public static final SubLObject lookup_index_get_type(SubLObject lookup_index)

lookup_index_gaf_arg_values

public static final SubLObject lookup_index_gaf_arg_values(SubLObject lookup_index)

Assumes LOOKUP-INDEX is of type :gaf-arg.

Returns:: 0 term

lookup_index_for_predicate_extent

public static final SubLObject lookup_index_for_predicate_extent(SubLObject predicate)

lookup_index_for_gaf_arg

public static final SubLObject lookup_index_for_gaf_arg(SubLObject best_term,
                                                        SubLObject best_index_argnum,
                                                        SubLObject index_pred)

lookup_methods_includeP

public static final SubLObject lookup_methods_includeP(SubLObject index_type,
                                                       SubLObject methods)

Returns:: boolean; t iff INDEX-TYPE is allowable, according to METHODS.

best_gaf_lookup_index

public static final SubLObject best_gaf_lookup_index(SubLObject asent,
                                                     SubLObject truth,
                                                     SubLObject methods)

Parameters:: METHODS; - the allowable methods (index-types) that the function can return. If nil, all methods are allowed.
Returns:: nil or property-list-p; a property list containing the property :index-type, which identifies which type of index is best for lookup of ASENT with TRUTH. The remaining elements on the plist are additional information pertaining to that type of index. A nil return value means that no possible index was found using the allowable methods.

num_best_gaf_lookup_index

public static final SubLObject num_best_gaf_lookup_index(SubLObject asent,
                                                         SubLObject truth,
                                                         SubLObject methods)

best_gaf_lookup_index_try_all_allowed

public static final SubLObject best_gaf_lookup_index_try_all_allowed(SubLObject asent,
                                                                     SubLObject truth,
                                                                     SubLObject methods)

num_best_gaf_lookup_index_try_all_allowed

public static final SubLObject num_best_gaf_lookup_index_try_all_allowed(SubLObject asent,
                                                                         SubLObject truth,
                                                                         SubLObject methods)

best_gaf_lookup_index_wrt_methods

public static final SubLObject best_gaf_lookup_index_wrt_methods(SubLObject asent,
                                                                 SubLObject truth,
                                                                 SubLObject methods)

best_gaf_lookup_index_int

public static final SubLObject best_gaf_lookup_index_int(SubLObject asent,
                                                         SubLObject truth)

Determine the best gaf lookup index of ASENT with truth value TRUTH. First look for mt-insensitive counts, then, if not all mts are relevant, try to do better by finding a smaller mt-sensitive count, but use the min of the mt-insensitive counts as a cutoff so it won't waste time computing the relevance of things that aren't going to be any better.

find_assertion

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

Find the assertion in MT with CNF. Return NIL if not present.

find_assertion_internal

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

find_assertion_any_mt

public static final SubLObject find_assertion_any_mt(SubLObject cnf)

Find any assertion in any mt with CNF. Return NIL if none are present.

find_gaf

public static final SubLObject find_gaf(SubLObject gaf_formula,
                                        SubLObject mt)

Find the assertion in MT with GAF-FORMULA as its formula. Return NIL if not present.

find_gaf_any_mt

public static final SubLObject find_gaf_any_mt(SubLObject gaf_formula)

Find any assertion in any mt with GAF-FORMULA as its formula. Return NIL if not present.

find_gaf_in_relevant_mt

public static final SubLObject find_gaf_in_relevant_mt(SubLObject gaf_formula)

Find any assertion in any currently relevant with GAF-FORMULA as its formula. Return NIL if not present.

find_cnf

public static final SubLObject find_cnf(SubLObject cnf)

Return an assertion which has CNF as its cnf or NIL if none present. Relevant mts are assumed scoped from the outside.

find_gaf_cnf

public static final SubLObject find_gaf_cnf(SubLObject cnf)

Use the gaf indexing to find any assertion whose hl-cnf is CNF

find_rule_cnf

public static final SubLObject find_rule_cnf(SubLObject cnf)

Use the rule indexing to find any assertion whose hl-cnf is CNF

find_rule_cnf_via_index_int

public static final SubLObject find_rule_cnf_via_index_int(SubLObject cnf,
                                                           SubLObject index,
                                                           SubLObject v_term)

find_cnf_internal

public static final SubLObject find_cnf_internal(SubLObject assertion)

find_gaf_formula

public static final SubLObject find_gaf_formula(SubLObject gaf_formula)

Use the gaf indexing to find any assertion whose gaf formula is GAF-FORMULA, regardless of truth. If there are more than one, it will return an arbitrary one.

find_gaf_internal

public static final SubLObject find_gaf_internal(SubLObject assertion,
                                                 SubLObject sentence)

declare_kb_indexing_file

public static final SubLObject declare_kb_indexing_file()

init_kb_indexing_file

public static final SubLObject init_kb_indexing_file()

setup_kb_indexing_file

public static final SubLObject setup_kb_indexing_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_indexing

me

myName

$sym0$INTERMEDIATE_INDEX_P

$sym1$NON_NEGATIVE_INTEGER_P

$sym2$NUM_GAF_ARG_INDEX

$list3

$str4$Return_the_number_of_gafs_indexed

$list5

$sym6$KEY_GAF_ARG_INDEX

$sym7$RELEVANT_NUM_GAF_ARG_INDEX

$list8

$str9$Return_the_assertion_count_at_rel

$sym10$RELEVANT_NUM_GAF_ARG_INDEX_WITH_CUTOFF

$sym11$KEY_GAF_ARG_INDEX_CACHED

$sym12$_KEY_GAF_ARG_INDEX_CACHED_CACHING_STATE_

$int13$5000

$sym14$CLEAR_KEY_GAF_ARG_INDEX_CACHED

$kw15$_MEMOIZED_ITEM_NOT_FOUND_

$str16$Return_a_list_of_the_keys_to_the_

$list17

$kw18$GAF_ARG

$sym19$NUM_NART_ARG_INDEX

$list20

$str21$Return_the_number_of___termOfUnit

$sym22$RELEVANT_NUM_NART_ARG_INDEX

$str23$Compute_the_assertion_count_at_re

$sym24$KEY_NART_ARG_INDEX

$str25$Return_a_list_of_the_keys_to_the_

$kw26$NART_ARG

$sym27$NUM_PREDICATE_EXTENT_INDEX

$list28

$str29$Return_the_assertion_count_at_PRE

$sym30$KEY_PREDICATE_EXTENT_INDEX

$sym31$RELEVANT_NUM_PREDICATE_EXTENT_INDEX

$list32

$str33$Compute_the_assertion_count_at_re

$sym34$RELEVANT_NUM_PREDICATE_EXTENT_INDEX_WITH_CUTOFF

$str35$Return_a_list_of_the_keys_to_the_

$kw36$PREDICATE_EXTENT

$sym37$NUM_FUNCTION_EXTENT_INDEX

$list38

$str39$Return_the_function_extent_of_FUN

$sym40$RELEVANT_NUM_FUNCTION_EXTENT_INDEX

$str41$Compute_the_function_extent_at_re

$kw42$FUNCTION_EXTENT

$sym43$NUM_PREDICATE_RULE_INDEX

$list44

$str45$Return_the_raw_assertion_count_at

$sym46$KEY_PREDICATE_RULE_INDEX

$sym47$RELEVANT_NUM_PREDICATE_RULE_INDEX

$sym48$RELEVANT_NUM_PREDICATE_RULE_INDEX_WITH_CUTOFF

$list49

$str50$Return_a_list_of_the_keys_to_the_

$kw51$PREDICATE_RULE

$sym52$NUM_DECONTEXTUALIZED_IST_PREDICATE_RULE_INDEX

$list53

$str54$Return_the_raw_assertion_count_at

$sym55$KEY_DECONTEXTUALIZED_IST_PREDICATE_RULE_INDEX

$list56

$str57$Return_a_list_of_the_keys_to_the_

$kw58$DECONTEXTUALIZED_IST_PREDICATE_RULE

$sym59$NUM_ISA_RULE_INDEX

$list60

$str61$Return_the_raw_assertion_count_at

$sym62$KEY_ISA_RULE_INDEX

$sym63$RELEVANT_NUM_ISA_RULE_INDEX

$sym64$RELEVANT_NUM_ISA_RULE_INDEX_WITH_CUTOFF

$list65

$str66$Return_a_list_of_the_keys_to_the_

$kw67$ISA_RULE

$sym68$NUM_QUOTED_ISA_RULE_INDEX

$sym69$KEY_QUOTED_ISA_RULE_INDEX

$sym70$RELEVANT_NUM_QUOTED_ISA_RULE_INDEX

$sym71$RELEVANT_NUM_QUOTED_ISA_RULE_INDEX_WITH_CUTOFF

$kw72$QUOTED_ISA_RULE

$sym73$NUM_GENLS_RULE_INDEX

$sym74$KEY_GENLS_RULE_INDEX

$sym75$RELEVANT_NUM_GENLS_RULE_INDEX

$sym76$RELEVANT_NUM_GENLS_RULE_INDEX_WITH_CUTOFF

com.cyc.cycjava.cycl
Class kb_indexing