kb_utilities

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_utilities

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class kb_utilities
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`kb_utilities.$clear_cached_union_all_specs_count$ZeroArityFunction`
`static class`	`kb_utilities.$clear_forbidden_kb_covering_collections_set$ZeroArityFunction`
`static class`	`kb_utilities.$form_sort_pred$BinaryFunction`
`static class`	`kb_utilities.$fort_L$BinaryFunction`
`static class`	`kb_utilities.$hl_external_id_string_p$UnaryFunction`
`static class`	`kb_utilities.$term_L$BinaryFunction`

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

Field Summary
`static SubLObject`	`$const17$Collection`
`static SubLObject`	`$const19$FirstOrderCollection`
`static SubLObject`	`$const21$SecondOrderCollection`
`static SubLObject`	`$const213$Microtheory`
`static SubLObject`	`$const23$ThirdOrderCollection`
`static SubLObject`	`$const245$InferencePSC`
`static SubLObject`	`$const247$Nothing`
`static SubLObject`	`$const248$CollectionSubsetFn`
`static SubLObject`	`$const25$Relation`
`static SubLObject`	`$const250$CollectionIntersection2Fn`
`static SubLObject`	`$const251$CollectionIntersectionFn`
`static SubLObject`	`$const252$TheSet`
`static SubLObject`	`$const253$Thing`
`static SubLObject`	`$const27$Function_Denotational`
`static SubLObject`	`$const29$Predicate`
`static SubLObject`	`$const291$BinaryPredicate`
`static SubLObject`	`$const293$Date`
`static SubLObject`	`$const299$oldConstantName`
`static SubLObject`	`$const31$Individual`
`static SubLObject`	`$const34$EverythingPSC`
`static SubLObject`	`$const44$isa`
`static SubLFloat`	`$float61$17_1`
`static SubLFloat`	`$float62$1_41`
`static SubLFloat`	`$float63$2_67`
`static SubLFloat`	`$float64$39_3`
`static SubLFloat`	`$float65$30_3`
`static SubLFloat`	`$float66$1_12`
`static SubLFloat`	`$float67$7_97`
`static SubLFloat`	`$float68$1_05`
`static SubLInteger`	`$int118$256`
`static SubLInteger`	`$int121$500`
`static SubLInteger`	`$int146$200`
`static SubLInteger`	`$int266$100`
`static SubLInteger`	`$int289$10000`
`static SubLInteger`	`$int69$50000`
`static SubLSymbol`	`$kw124$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw126$ALL`
`static SubLSymbol`	`$kw167$ALLOW_OTHER_KEYS`
`static SubLSymbol`	`$kw168$KB_CHANGED_MESSAGE`
`static SubLSymbol`	`$kw169$KB_UNCHANGED_MESSAGE`
`static SubLSymbol`	`$kw204$UNKNOWN_SECOND`
`static SubLSymbol`	`$kw209$UNKNOWN_DATE`
`static SubLSymbol`	`$kw210$UNKNOWN_ID`
`static SubLSymbol`	`$kw216$INDEX`
`static SubLSymbol`	`$kw217$PREDICATE`
`static SubLSymbol`	`$kw218$TRUTH`
`static SubLSymbol`	`$kw219$DIRECTION`
`static SubLSymbol`	`$kw220$DONE`
`static SubLSymbol`	`$kw244$MAPPING_DONE`
`static SubLSymbol`	`$kw297$IGNORE`
`static SubLSymbol`	`$kw304$OUTPUT`
`static SubLSymbol`	`$kw36$GAF`
`static SubLSymbol`	`$kw39$MT`
`static SubLSymbol`	`$kw40$BROAD_MT`
`static SubLSymbol`	`$kw43$SKIP`
`static SubLSymbol`	`$kw45$BREADTH`
`static SubLSymbol`	`$kw46$QUEUE`
`static SubLSymbol`	`$kw47$STACK`
`static SubLSymbol`	`$kw49$ERROR`
`static SubLSymbol`	`$kw52$CERROR`
`static SubLSymbol`	`$kw54$WARN`
`static SubLSymbol`	`$kw90$HEX`
`static SubLSymbol`	`$kw92$64`
`static SubLSymbol`	`$kw98$IGNORE_ERRORS_TARGET`
`static SubLList`	`$list117`
`static SubLList`	`$list165`
`static SubLList`	`$list166`
`static SubLList`	`$list178`
`static SubLList`	`$list194`
`static SubLList`	`$list195`
`static SubLList`	`$list197`
`static SubLList`	`$list202`
`static SubLList`	`$list211`
`static SubLList`	`$list212`
`static SubLList`	`$list214`
`static SubLList`	`$list215`
`static SubLList`	`$list223`
`static SubLList`	`$list234`
`static SubLList`	`$list235`
`static SubLList`	`$list237`
`static SubLList`	`$list240`
`static SubLList`	`$list249`
`static SubLList`	`$list258`
`static SubLList`	`$list260`
`static SubLList`	`$list261`
`static SubLList`	`$list262`
`static SubLList`	`$list280`
`static SubLList`	`$list284`
`static SubLList`	`$list287`
`static SubLList`	`$list288`
`static SubLList`	`$list295`
`static SubLList`	`$list298`
`static SubLList`	`$list57`
`static SubLList`	`$list81`
`static SubLList`	`$list83`
`static SubLString`	`$str1$______KB__S_statistics`
`static SubLString`	`$str10$___Bookkeeping_Assertions____9___`
`static SubLString`	`$str105$Invalid_hl_external_id____A____fo`
`static SubLString`	`$str108$invalid_mode__S`
`static SubLString`	`$str11$__Deductions_________________9___`
`static SubLString`	`$str110$an_unnamed_constant`
`static SubLString`	`$str111$_a`
`static SubLString`	`$str12$__KB_HL_supports_____________9___`
`static SubLString`	`$str125$Invalid_attempt_to_reuse_memoizat`
`static SubLString`	`$str127$cdolist`
`static SubLString`	`$str13$__Unrepresented_terms________9___`
`static SubLString`	`$str130$cdotimes`
`static SubLString`	`$str132$examining_creation_times_by__S`
`static SubLString`	`$str133$examining_all_creation_times`
`static SubLString`	`$str14$______KB__S_content_statistics`
`static SubLString`	`$str140$examining_assertion_timestamps`
`static SubLString`	`$str149$searching_for_probably_most_recen`
`static SubLString`	`$str15$__Terms______________________9___`
`static SubLString`	`$str150$Gathering_all_constants`
`static SubLString`	`$str151$Gathering_all_narts`
`static SubLString`	`$str152$Gathering_all_forts`
`static SubLString`	`$str153$Gathering_all_deductions`
`static SubLString`	`$str154$Gathering_all_KB_HL_supports`
`static SubLString`	`$str155$Gathering_all_assertions`
`static SubLString`	`$str156$Gathering_all_gafs`
`static SubLString`	`$str157$Gathering_all_forward_gafs`
`static SubLString`	`$str158$Gathering_all_backward_gafs`
`static SubLString`	`$str159$Gathering_all_rules`
`static SubLString`	`$str16$___Collections_______________9___`
`static SubLString`	`$str160$Gathering_all_forward_rules`
`static SubLString`	`$str161$Gathering_all_backward_rules`
`static SubLString`	`$str18$____FirstOrderCollections____9___`
`static SubLString`	`$str190$___A__`
`static SubLString`	`$str191$___s_constant_A__A__`
`static SubLString`	`$str198$___s_nart_A__A__`
`static SubLString`	`$str199$___s_assertion_A__A__`
`static SubLString`	`$str2$__FORTs______________________9___`
`static SubLString`	`$str20$____SecondOrderCollections___9___`
`static SubLString`	`$str200$___s_kb_hl_support_A__A__`
`static SubLString`	`$str201$___s_deduction_A__A__`
`static SubLString`	`$str203$mapping_Cyc_constants`
`static SubLString`	`$str22$____ThirdOrderCollections____9___`
`static SubLString`	`$str24$___Relations_________________9___`
`static SubLString`	`$str254$_S_was_not_a_set`
`static SubLString`	`$str26$____Denotational_Functions___9___`
`static SubLString`	`$str264$_5_d__s__`
`static SubLString`	`$str265$__Total_coverage___S___`
`static SubLString`	`$str267$__Optimizing_coverage_via_relativ`
`static SubLString`	`$str268$_s___s_unique_spec_p__`
`static SubLString`	`$str28$____Predicates_______________9___`
`static SubLString`	`$str290$All_args_of__s_were_open`
`static SubLString`	`$str3$___Constants_________________9___`
`static SubLString`	`$str30$___Individuals_______________9___`
`static SubLString`	`$str303$_`
`static SubLString`	`$str305$Unable_to_open__S`
`static SubLString`	`$str306$Writing_coasserted_forts`
`static SubLString`	`$str308$_A`
`static SubLString`	`$str32$__KB_Assertions______________9___`
`static SubLString`	`$str35$Calculating_cardinalities_of_pred`
`static SubLString`	`$str4$____cached_indexing__________9___`
`static SubLString`	`$str41$do_broad_mt_index`
`static SubLString`	`$str5$___NARTs_____________________9___`
`static SubLString`	`$str50$_A_is_not_a__A`
`static SubLString`	`$str53$continue_anyway`
`static SubLString`	`$str55$_A_is_not_a_valid__sbhl_type_erro`
`static SubLString`	`$str56$attempting_to_bind_direction_link`
`static SubLString`	`$str58$Node__a_does_not_pass_sbhl_type_t`
`static SubLString`	`$str6$____cached_HL_formulas_______9___`
`static SubLString`	`$str7$__Assertions_________________9___`
`static SubLString`	`$str73$______KB__S_new_KB_objects__`
`static SubLString`	`$str74$__New_FORTs__________________9___`
`static SubLString`	`$str75$___New_Constants_____________9___`
`static SubLString`	`$str76$___New_NARTs_________________9___`
`static SubLString`	`$str77$__New_Assertions_____________9___`
`static SubLString`	`$str78$__New_Deductions_____________9___`
`static SubLString`	`$str79$__New_KB_HL_Supports_________9___`
`static SubLString`	`$str8$___KB_Assertions_____________9___`
`static SubLString`	`$str9$____cached___________________9___`
`static SubLSymbol`	`$sym0$DOUBLE_FLOAT`
`static SubLSymbol`	`$sym100$_EXIT`
`static SubLSymbol`	`$sym101$HL_EXTERNAL_ID_STRING`
`static SubLSymbol`	`$sym102$COMPACT_HL_EXTERNAL_ID_STRING`
`static SubLSymbol`	`$sym103$FIND_OBJECT_BY_HL_EXTERNAL_ID_STRING`
`static SubLSymbol`	`$sym104$FIND_CYCL_OBJECT_BY_COMPACT_HL_EXTERNAL_ID_STRING`
`static SubLSymbol`	`$sym106$FIND_OBJECT_BY_COMPACT_HL_EXTERNAL_ID_STRING`
`static SubLSymbol`	`$sym107$MAYBE_FIND_OBJECT_BY_COMPACT_HL_EXTERNAL_ID_STRING`
`static SubLSymbol`	`$sym109$INVALID_HL_OBJECT_P`
`static SubLSymbol`	`$sym112$STABLE_SORT`
`static SubLSymbol`	`$sym113$SORT`
`static SubLSymbol`	`$sym114$FORM_SORT_PRED`
`static SubLSymbol`	`$sym115$FORT_P`
`static SubLSymbol`	`$sym116$FORT__`
`static SubLSymbol`	`$sym119$TERM_ORDER_ASSERTION_METHOD`
`static SubLSymbol`	`$sym120$TERM_ORDER_CONS_METHOD`
`static SubLSymbol`	`$sym122$VALUES`
`static SubLSymbol`	`$sym123$TERM_SIMILARITY_METRIC_GENERALIZATIONS`
`static SubLSymbol`	`$sym128$NON_NEGATIVE_INTEGER_P`
`static SubLSymbol`	`$sym129$VECTOR`
`static SubLSymbol`	`$sym131$INTEGERP`
`static SubLSymbol`	`$sym134$TERM__`
`static SubLSymbol`	`$sym135$CONSTANT_NAME`
`static SubLSymbol`	`$sym136$CREATION_TIME__`
`static SubLSymbol`	`$sym137$CREATOR__`
`static SubLSymbol`	`$sym138$FIND_GROUND_NAUT`
`static SubLSymbol`	`$sym139$TERM_OF_UNIT`
`static SubLSymbol`	`$sym141$ASSERTION_CNF`
`static SubLSymbol`	`$sym142$ASSERT_DATE__`
`static SubLSymbol`	`$sym143$ASSERT_CYCLIST__`
`static SubLSymbol`	`$sym144$CACHED_CREATION_TIME`
`static SubLSymbol`	`$sym145$_CACHED_CREATION_TIME_CACHING_STATE_`
`static SubLSymbol`	`$sym147$CACHED_CREATOR`
`static SubLSymbol`	`$sym148$_CACHED_CREATOR_CACHING_STATE_`
`static SubLSymbol`	`$sym162$DEDUCED_ASSERTION_`
`static SubLSymbol`	`$sym163$SAFE__`
`static SubLSymbol`	`$sym164$ASSERTED_WHEN`
`static SubLSymbol`	`$sym170$KB_OBJECT_COUNT_LIST_1`
`static SubLSymbol`	`$sym171$KB_OBJECT_COUNT_LIST_2`
`static SubLSymbol`	`$sym172$NEW_CONSTANT_COUNT`
`static SubLSymbol`	`$sym173$NEW_NART_COUNT`
`static SubLSymbol`	`$sym174$NEW_ASSERTION_COUNT`
`static SubLSymbol`	`$sym175$NEW_KB_HL_SUPPORT_COUNT`
`static SubLSymbol`	`$sym176$NEW_DEDUCTION_COUNT`
`static SubLSymbol`	`$sym177$CLET`
`static SubLSymbol`	`$sym179$KB_OBJECT_COUNT_LISTS_NEW_CONSTANT_COUNT`
`static SubLSymbol`	`$sym180$KB_OBJECT_COUNT_LISTS_NEW_NART_COUNT`
`static SubLSymbol`	`$sym181$KB_OBJECT_COUNT_LISTS_NEW_ASSERTION_COUNT`
`static SubLSymbol`	`$sym182$KB_OBJECT_COUNT_LISTS_NEW_KB_HL_SUPPORT_COUNT`
`static SubLSymbol`	`$sym183$KB_OBJECT_COUNT_LISTS_NEW_DEDUCTION_COUNT`
`static SubLSymbol`	`$sym184$PIF`
`static SubLSymbol`	`$sym185$COR`
`static SubLSymbol`	`$sym186$NON_ZERO_INTEGER_P`
`static SubLSymbol`	`$sym187$PROGN`
`static SubLSymbol`	`$sym188$PWHEN`
`static SubLSymbol`	`$sym189$FORMAT`
`static SubLSymbol`	`$sym192$ABS`
`static SubLSymbol`	`$sym193$FIF`
`static SubLSymbol`	`$sym196$POSITIVE_INTEGER_P`
`static SubLSymbol`	`$sym205$CONSTANT_SORTING_FUNKY__`
`static SubLSymbol`	`$sym206$FOURTH`
`static SubLSymbol`	`$sym207$SORT_CONSTANTS_BY_SORTING_INFO`
`static SubLSymbol`	`$sym208$FIRST`
`static SubLSymbol`	`$sym221$INDEXED_TERMS`
`static SubLSymbol`	`$sym222$EXPRESSION_GATHER`
`static SubLSymbol`	`$sym224$INDEXED_TERM_P`
`static SubLSymbol`	`$sym225$CPUSH`
`static SubLSymbol`	`$sym226$DO_OVERLAP_INDEX`
`static SubLSymbol`	`$sym227$CAND`
`static SubLSymbol`	`$sym228$NULL`
`static SubLSymbol`	`$sym229$ASSERTION_DIRECTION`
`static SubLSymbol`	`$sym230$FORMULA_OPERATOR`
`static SubLSymbol`	`$sym231$ASSERTION_FORMULA`
`static SubLSymbol`	`$sym232$FORMULA_ARG`
`static SubLSymbol`	`$sym233$TERM_OCCURS_AS_FORMULA_ARGUMENT`
`static SubLSymbol`	`$sym236$INDEXED_TERMS`
`static SubLSymbol`	`$sym238$CNOT`
`static SubLSymbol`	`$sym239$EXPRESSION_FIND`
`static SubLSymbol`	`$sym241$ASSERTION_MT`
`static SubLSymbol`	`$sym242$FUNCTION_SPEC_P`
`static SubLSymbol`	`$sym243$NAUT_P`
`static SubLSymbol`	`$sym246$EL_SET_P`
`static SubLSymbol`	`$sym255$CACHED_UNION_ALL_SPECS_COUNT`
`static SubLSymbol`	`$sym256$_CACHED_UNION_ALL_SPECS_COUNT_CACHING_STATE_`
`static SubLSymbol`	`$sym257$CLEAR_CACHED_UNION_ALL_SPECS_COUNT`
`static SubLSymbol`	`$sym259$CONSTANT_P`
`static SubLSymbol`	`$sym263$SPEC_CARDINALITY`
`static SubLSymbol`	`$sym269$FORBIDDEN_KB_COVERING_COLLECTION_`
`static SubLSymbol`	`$sym270$ALL_SPECS_SET`
`static SubLSymbol`	`$sym271$FORBIDDEN_KB_COVERING_COLLECTIONS_SET`
`static SubLSymbol`	`$sym272$_FORBIDDEN_KB_COVERING_COLLECTIONS_SET_CACHING_STATE_`
`static SubLSymbol`	`$sym273$CLEAR_FORBIDDEN_KB_COVERING_COLLECTIONS_SET`
`static SubLSymbol`	`$sym274$_ALL_SPECS_SET_CACHING_STATE_`
`static SubLSymbol`	`$sym275$CLEAR_ALL_SPECS_SET`
`static SubLSymbol`	`$sym276$ALL_GENLS_SET`
`static SubLSymbol`	`$sym277$_ALL_GENLS_SET_CACHING_STATE_`
`static SubLSymbol`	`$sym278$CLEAR_ALL_GENLS_SET`
`static SubLSymbol`	`$sym279$NART_AFFIX_CHAR_P`
`static SubLSymbol`	`$sym281$NON_DOTTED_LIST_P`
`static SubLSymbol`	`$sym282$COLLECTION_P`
`static SubLSymbol`	`$sym283$SET_SIZE`
`static SubLSymbol`	`$sym285$LIST`
`static SubLSymbol`	`$sym286$PREDICATE_P`
`static SubLSymbol`	`$sym292$DATE_`
`static SubLSymbol`	`$sym294$VALID_CONSTANT_NAME_CHAR_P`
`static SubLSymbol`	`$sym296$GAF_ASSERTION_`
`static SubLSymbol`	`$sym300$VISIT_COASSERTED_FORT`
`static SubLSymbol`	`$sym301$CACHED_COMPACT_HL_EXTERNAL_ID_STRING`
`static SubLSymbol`	`$sym302$_CACHED_COMPACT_HL_EXTERNAL_ID_STRING_CACHING_STATE_`
`static SubLSymbol`	`$sym307$CATCH_ERROR_MESSAGE_HANDLER`
`static SubLSymbol`	`$sym33$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym37$_`
`static SubLSymbol`	`$sym38$CDR`
`static SubLSymbol`	`$sym42$STRINGP`
`static SubLSymbol`	`$sym48$RELEVANT_SBHL_TV_IS_GENERAL_TV`
`static SubLSymbol`	`$sym51$SBHL_TRUE_TV_P`
`static SubLSymbol`	`$sym59$_`
`static SubLSymbol`	`$sym60$_`
`static SubLSymbol`	`$sym70$INIT_CONSTANT`
`static SubLSymbol`	`$sym71$SWAP_OUT_ALL_PRISTINE_KB_OBJECTS`
`static SubLSymbol`	`$sym72$SHOW_NEW_KB_STATE`
`static SubLSymbol`	`$sym80$CLEAR_NEW_KB_STATE`
`static SubLSymbol`	`$sym82$KB_CHECKPOINT_P`
`static SubLSymbol`	`$sym84$THEORY_CHECKPOINT_P`
`static SubLSymbol`	`$sym85$HL_INTERNAL_ID_STRING_P`
`static SubLSymbol`	`$sym86$COMPACT_HL_INTERNAL_ID_STRING_P`
`static SubLSymbol`	`$sym87$HL_INTERNAL_ID_STRING`
`static SubLSymbol`	`$sym88$COMPACT_HL_INTERNAL_ID_STRING`
`static SubLSymbol`	`$sym89$FIND_OBJECT_BY_HL_INTERNAL_ID_STRING`
`static SubLSymbol`	`$sym91$FIND_OBJECT_BY_COMPACT_HL_INTERNAL_ID_STRING`
`static SubLSymbol`	`$sym93$MAYBE_FIND_OBJECT_BY_HL_INTERNAL_ID_STRING`
`static SubLSymbol`	`$sym94$MAYBE_FIND_OBJECT_BY_COMPACT_HL_INTERNAL_ID_STRING`
`static SubLSymbol`	`$sym95$HL_EXTERNAL_ID_STRING_P`
`static SubLSymbol`	`$sym96$COMPACT_HL_EXTERNAL_ID_STRING_P`
`static SubLSymbol`	`$sym97$COMPACT_HL_EXTERNAL_ID_STRING_`
`static SubLSymbol`	`$sym99$IGNORE_ERRORS_HANDLER`
`static SubLSymbol`	$term_order_method_table$
`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`	`atom_sort_pred(SubLObject atom1, SubLObject atom2)`
`static SubLObject`	`clear_kb_state_hashes()` Clear any hashes related to KB state.
`static SubLObject`	`clear_kb_state_int()`
`static SubLObject`	`cons_sort_pred(SubLObject cons1, SubLObject cons2)`
`static SubLObject`	`constant_sort_pred(SubLObject constant1, SubLObject constant2)`
`static SubLObject`	`declare_kb_utilities_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`form_sort_pred(SubLObject form1, SubLObject form2)`
`static SubLObject`	`fort_sort_pred(SubLObject fort1, SubLObject fort2)`
`static SubLObject`	`init_kb_utilities_file()`
`static SubLObject`	`initialize_kb_state_hashes()` Initialize any hashes related to KB state.
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`kb_statistics(SubLObject stream)`
`static SubLObject`	`possibly_clear_dumpable_kb_state_hashes()`
`static SubLObject`	`possibly_initialize_dumpable_kb_state_hashes()`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_kb_assertion_tables(SubLObject assertion_table_size, SubLObject exactP)`
`static SubLObject`	`setup_kb_deduction_tables(SubLObject deduction_table_size, SubLObject exactP)`
`static SubLObject`	`setup_kb_fort_tables(SubLObject constant_count, SubLObject nart_count, SubLObject exactP)` Setup the kb fort tables, based on an estimate of CONSTANT-COUNT total constants and NART-COUNT total narts.
`static SubLObject`	`setup_kb_tables_int(SubLObject exactP, SubLObject constant_count, SubLObject nart_count, SubLObject assertion_count, SubLObject deduction_count, SubLObject kb_hl_support_count, SubLObject clause_struc_count, SubLObject kb_unrepresented_term_count)`
`static SubLObject`	`setup_kb_utilities_file()`
`static SubLObject`	`sort_terms(SubLObject list, SubLObject copyP, SubLObject stableP, SubLObject constants_by_nameP, SubLObject ignore_variable_symbolsP, SubLObject key, SubLObject use_internal_idsP)`
`static SubLObject`	`swap_out_all_pristine_kb_objects()`
`static SubLObject`	`symbol_sort_pred(SubLObject symbol1, SubLObject symbol2)`
`static SubLObject`	`term_L(SubLObject term1, SubLObject term2, SubLObject constants_by_nameP, SubLObject ignore_variable_symbolsP, SubLObject use_internal_idsP)`
`static SubLObject`	`term_order_assertion_method(SubLObject object)`
`static SubLObject`	`term_order_cons_method(SubLObject object)` Fancy way of returning max term order within cons tree.

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

$term_order_method_table$

public static SubLSymbol $term_order_method_table$

$sym0$DOUBLE_FLOAT

public static final SubLSymbol $sym0$DOUBLE_FLOAT

$str1$____KBS_statistics

public static final SubLString $str1$______KB__S_statistics

$str2$FORTs__________________9_

public static final SubLString $str2$__FORTs______________________9___

$str3$_Constants_____________9_

public static final SubLString $str3$___Constants_________________9___

$str4$____cached_indexing________9_

public static final SubLString $str4$____cached_indexing__________9___

$str5$_NARTs_________________9_

public static final SubLString $str5$___NARTs_____________________9___

$str6$____cached_HL_formulas_____9_

public static final SubLString $str6$____cached_HL_formulas_______9___

$str7$Assertions_____________9_

public static final SubLString $str7$__Assertions_________________9___

$str8$___KB_Assertions___________9_

public static final SubLString $str8$___KB_Assertions_____________9___

$str9$cached_____________9_

public static final SubLString $str9$____cached___________________9___

$str10$___Bookkeeping_Assertions__9_

public static final SubLString $str10$___Bookkeeping_Assertions____9___

$str11$Deductions_____________9_

public static final SubLString $str11$__Deductions_________________9___

$str12$__KB_HL_supports___________9_

public static final SubLString $str12$__KB_HL_supports_____________9___

$str13$__Unrepresented_terms______9_

public static final SubLString $str13$__Unrepresented_terms________9___

$str14$____KBS_content_statistics

public static final SubLString $str14$______KB__S_content_statistics

$str15$Terms__________________9_

public static final SubLString $str15$__Terms______________________9___

$str16$_Collections___________9_

public static final SubLString $str16$___Collections_______________9___

$const17$Collection

public static final SubLObject $const17$Collection

$str18$__FirstOrderCollections9_

public static final SubLString $str18$____FirstOrderCollections____9___

$const19$FirstOrderCollection

public static final SubLObject $const19$FirstOrderCollection

$str20$__SecondOrderCollections_9___

public static final SubLString $str20$____SecondOrderCollections___9___

$const21$SecondOrderCollection

public static final SubLObject $const21$SecondOrderCollection

$str22$__ThirdOrderCollections9_

public static final SubLString $str22$____ThirdOrderCollections____9___

$const23$ThirdOrderCollection

public static final SubLObject $const23$ThirdOrderCollection

$str24$_Relations_____________9_

public static final SubLString $str24$___Relations_________________9___

$const25$Relation

public static final SubLObject $const25$Relation

$str26$____Denotational_Functions_9_

public static final SubLString $str26$____Denotational_Functions___9___

$const27$Function_Denotational

public static final SubLObject $const27$Function_Denotational

$str28$Predicates_________9_

public static final SubLString $str28$____Predicates_______________9___

$const29$Predicate

public static final SubLObject $const29$Predicate

$str30$_Individuals___________9_

public static final SubLString $str30$___Individuals_______________9___

$const31$Individual

public static final SubLObject $const31$Individual

$str32$__KB_Assertions____________9_

public static final SubLString $str32$__KB_Assertions______________9___

$sym33$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym33$RELEVANT_MT_IS_EVERYTHING

$const34$EverythingPSC

public static final SubLObject $const34$EverythingPSC

$str35$Calculating_cardinalities_of_pred

public static final SubLString $str35$Calculating_cardinalities_of_pred

$kw36$GAF

public static final SubLSymbol $kw36$GAF

$sym37$_

public static final SubLSymbol $sym37$_

$sym38$CDR

public static final SubLSymbol $sym38$CDR

$kw39$MT

public static final SubLSymbol $kw39$MT

$kw40$BROAD_MT

public static final SubLSymbol $kw40$BROAD_MT

$str41$do_broad_mt_index

public static final SubLString $str41$do_broad_mt_index

$sym42$STRINGP

public static final SubLSymbol $sym42$STRINGP

$kw43$SKIP

public static final SubLSymbol $kw43$SKIP

$const44$isa

public static final SubLObject $const44$isa

$kw45$BREADTH

public static final SubLSymbol $kw45$BREADTH

$kw46$QUEUE

public static final SubLSymbol $kw46$QUEUE

$kw47$STACK

public static final SubLSymbol $kw47$STACK

$sym48$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym48$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw49$ERROR

public static final SubLSymbol $kw49$ERROR

$str50$_A_is_not_a__A

public static final SubLString $str50$_A_is_not_a__A

$sym51$SBHL_TRUE_TV_P

public static final SubLSymbol $sym51$SBHL_TRUE_TV_P

$kw52$CERROR

public static final SubLSymbol $kw52$CERROR

$str53$continue_anyway

public static final SubLString $str53$continue_anyway

$kw54$WARN

public static final SubLSymbol $kw54$WARN

$str55$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str55$_A_is_not_a_valid__sbhl_type_erro

$str56$attempting_to_bind_direction_link

public static final SubLString $str56$attempting_to_bind_direction_link

$list57

public static final SubLList $list57

$str58$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str58$Node__a_does_not_pass_sbhl_type_t

$sym59$_

public static final SubLSymbol $sym59$_

$sym60$_

public static final SubLSymbol $sym60$_

$float61$17_1

public static final SubLFloat $float61$17_1

$float62$1_41

public static final SubLFloat $float62$1_41

$float63$2_67

public static final SubLFloat $float63$2_67

$float64$39_3

public static final SubLFloat $float64$39_3

$float65$30_3

public static final SubLFloat $float65$30_3

$float66$1_12

public static final SubLFloat $float66$1_12

$float67$7_97

public static final SubLFloat $float67$7_97

$float68$1_05

public static final SubLFloat $float68$1_05

$int69$50000

public static final SubLInteger $int69$50000

$sym70$INIT_CONSTANT

public static final SubLSymbol $sym70$INIT_CONSTANT

$sym71$SWAP_OUT_ALL_PRISTINE_KB_OBJECTS

public static final SubLSymbol $sym71$SWAP_OUT_ALL_PRISTINE_KB_OBJECTS

$sym72$SHOW_NEW_KB_STATE

public static final SubLSymbol $sym72$SHOW_NEW_KB_STATE

$str73$____KBS_new_KB_objects__

public static final SubLString $str73$______KB__S_new_KB_objects__

$str74$__New_FORTs________________9_

public static final SubLString $str74$__New_FORTs__________________9___

$str75$___New_Constants___________9_

public static final SubLString $str75$___New_Constants_____________9___

$str76$___New_NARTs_______________9_

public static final SubLString $str76$___New_NARTs_________________9___

$str77$__New_Assertions___________9_

public static final SubLString $str77$__New_Assertions_____________9___

$str78$__New_Deductions___________9_

public static final SubLString $str78$__New_Deductions_____________9___

$str79$__New_KB_HL_Supports_______9_

public static final SubLString $str79$__New_KB_HL_Supports_________9___

$sym80$CLEAR_NEW_KB_STATE

public static final SubLSymbol $sym80$CLEAR_NEW_KB_STATE

$list81

public static final SubLList $list81

$sym82$KB_CHECKPOINT_P

public static final SubLSymbol $sym82$KB_CHECKPOINT_P

$list83

public static final SubLList $list83

$sym84$THEORY_CHECKPOINT_P

public static final SubLSymbol $sym84$THEORY_CHECKPOINT_P

$sym85$HL_INTERNAL_ID_STRING_P

public static final SubLSymbol $sym85$HL_INTERNAL_ID_STRING_P

$sym86$COMPACT_HL_INTERNAL_ID_STRING_P

public static final SubLSymbol $sym86$COMPACT_HL_INTERNAL_ID_STRING_P

$sym87$HL_INTERNAL_ID_STRING

public static final SubLSymbol $sym87$HL_INTERNAL_ID_STRING

$sym88$COMPACT_HL_INTERNAL_ID_STRING

public static final SubLSymbol $sym88$COMPACT_HL_INTERNAL_ID_STRING

$sym89$FIND_OBJECT_BY_HL_INTERNAL_ID_STRING

public static final SubLSymbol $sym89$FIND_OBJECT_BY_HL_INTERNAL_ID_STRING

$kw90$HEX

public static final SubLSymbol $kw90$HEX

$sym91$FIND_OBJECT_BY_COMPACT_HL_INTERNAL_ID_STRING

public static final SubLSymbol $sym91$FIND_OBJECT_BY_COMPACT_HL_INTERNAL_ID_STRING

$kw92$64

public static final SubLSymbol $kw92$64

$sym93$MAYBE_FIND_OBJECT_BY_HL_INTERNAL_ID_STRING

public static final SubLSymbol $sym93$MAYBE_FIND_OBJECT_BY_HL_INTERNAL_ID_STRING

$sym94$MAYBE_FIND_OBJECT_BY_COMPACT_HL_INTERNAL_ID_STRING

public static final SubLSymbol $sym94$MAYBE_FIND_OBJECT_BY_COMPACT_HL_INTERNAL_ID_STRING

$sym95$HL_EXTERNAL_ID_STRING_P

public static final SubLSymbol $sym95$HL_EXTERNAL_ID_STRING_P

$sym96$COMPACT_HL_EXTERNAL_ID_STRING_P

public static final SubLSymbol $sym96$COMPACT_HL_EXTERNAL_ID_STRING_P

$sym97$COMPACT_HL_EXTERNAL_ID_STRING_

public static final SubLSymbol $sym97$COMPACT_HL_EXTERNAL_ID_STRING_

$kw98$IGNORE_ERRORS_TARGET

public static final SubLSymbol $kw98$IGNORE_ERRORS_TARGET

$sym99$IGNORE_ERRORS_HANDLER

public static final SubLSymbol $sym99$IGNORE_ERRORS_HANDLER

$sym100$_EXIT

public static final SubLSymbol $sym100$_EXIT

$sym101$HL_EXTERNAL_ID_STRING

public static final SubLSymbol $sym101$HL_EXTERNAL_ID_STRING

$sym102$COMPACT_HL_EXTERNAL_ID_STRING

public static final SubLSymbol $sym102$COMPACT_HL_EXTERNAL_ID_STRING

$sym103$FIND_OBJECT_BY_HL_EXTERNAL_ID_STRING

public static final SubLSymbol $sym103$FIND_OBJECT_BY_HL_EXTERNAL_ID_STRING

$sym104$FIND_CYCL_OBJECT_BY_COMPACT_HL_EXTERNAL_ID_STRING

public static final SubLSymbol $sym104$FIND_CYCL_OBJECT_BY_COMPACT_HL_EXTERNAL_ID_STRING

$str105$Invalid_hl_external_idAfo

public static final SubLString $str105$Invalid_hl_external_id____A____fo

$sym106$FIND_OBJECT_BY_COMPACT_HL_EXTERNAL_ID_STRING

public static final SubLSymbol $sym106$FIND_OBJECT_BY_COMPACT_HL_EXTERNAL_ID_STRING

$sym107$MAYBE_FIND_OBJECT_BY_COMPACT_HL_EXTERNAL_ID_STRING

public static final SubLSymbol $sym107$MAYBE_FIND_OBJECT_BY_COMPACT_HL_EXTERNAL_ID_STRING

$str108$invalid_mode__S

public static final SubLString $str108$invalid_mode__S

$sym109$INVALID_HL_OBJECT_P

public static final SubLSymbol $sym109$INVALID_HL_OBJECT_P

$str110$an_unnamed_constant

public static final SubLString $str110$an_unnamed_constant

$str111$_a

public static final SubLString $str111$_a

$sym112$STABLE_SORT

public static final SubLSymbol $sym112$STABLE_SORT

$sym113$SORT

public static final SubLSymbol $sym113$SORT

$sym114$FORM_SORT_PRED

public static final SubLSymbol $sym114$FORM_SORT_PRED

$sym115$FORT_P

public static final SubLSymbol $sym115$FORT_P

$sym116$FORT__

public static final SubLSymbol $sym116$FORT__

$list117

public static final SubLList $list117

$int118$256

public static final SubLInteger $int118$256

$sym119$TERM_ORDER_ASSERTION_METHOD

public static final SubLSymbol $sym119$TERM_ORDER_ASSERTION_METHOD

$sym120$TERM_ORDER_CONS_METHOD

public static final SubLSymbol $sym120$TERM_ORDER_CONS_METHOD

$int121$500

public static final SubLInteger $int121$500

$sym122$VALUES

public static final SubLSymbol $sym122$VALUES

$sym123$TERM_SIMILARITY_METRIC_GENERALIZATIONS

public static final SubLSymbol $sym123$TERM_SIMILARITY_METRIC_GENERALIZATIONS

$kw124$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw124$_MEMOIZED_ITEM_NOT_FOUND_

$str125$Invalid_attempt_to_reuse_memoizat

public static final SubLString $str125$Invalid_attempt_to_reuse_memoizat

$kw126$ALL

public static final SubLSymbol $kw126$ALL

$str127$cdolist

public static final SubLString $str127$cdolist

$sym128$NON_NEGATIVE_INTEGER_P

public static final SubLSymbol $sym128$NON_NEGATIVE_INTEGER_P

$sym129$VECTOR

public static final SubLSymbol $sym129$VECTOR

$str130$cdotimes

public static final SubLString $str130$cdotimes

$sym131$INTEGERP

public static final SubLSymbol $sym131$INTEGERP

$str132$examining_creation_times_by__S

public static final SubLString $str132$examining_creation_times_by__S

$str133$examining_all_creation_times

public static final SubLString $str133$examining_all_creation_times

$sym134$TERM__

public static final SubLSymbol $sym134$TERM__

$sym135$CONSTANT_NAME

public static final SubLSymbol $sym135$CONSTANT_NAME

$sym136$CREATION_TIME__

public static final SubLSymbol $sym136$CREATION_TIME__

$sym137$CREATOR__

public static final SubLSymbol $sym137$CREATOR__

$sym138$FIND_GROUND_NAUT

public static final SubLSymbol $sym138$FIND_GROUND_NAUT

$sym139$TERM_OF_UNIT

public static final SubLSymbol $sym139$TERM_OF_UNIT

$str140$examining_assertion_timestamps

public static final SubLString $str140$examining_assertion_timestamps

$sym141$ASSERTION_CNF

public static final SubLSymbol $sym141$ASSERTION_CNF

$sym142$ASSERT_DATE__

public static final SubLSymbol $sym142$ASSERT_DATE__

$sym143$ASSERT_CYCLIST__

public static final SubLSymbol $sym143$ASSERT_CYCLIST__

$sym144$CACHED_CREATION_TIME

public static final SubLSymbol $sym144$CACHED_CREATION_TIME

$sym145$_CACHED_CREATION_TIME_CACHING_STATE_

public static final SubLSymbol $sym145$_CACHED_CREATION_TIME_CACHING_STATE_

$int146$200

public static final SubLInteger $int146$200

$sym147$CACHED_CREATOR

public static final SubLSymbol $sym147$CACHED_CREATOR

$sym148$_CACHED_CREATOR_CACHING_STATE_

public static final SubLSymbol $sym148$_CACHED_CREATOR_CACHING_STATE_

$str149$searching_for_probably_most_recen

public static final SubLString $str149$searching_for_probably_most_recen

$str150$Gathering_all_constants

public static final SubLString $str150$Gathering_all_constants

$str151$Gathering_all_narts

public static final SubLString $str151$Gathering_all_narts

$str152$Gathering_all_forts

public static final SubLString $str152$Gathering_all_forts

$str153$Gathering_all_deductions

public static final SubLString $str153$Gathering_all_deductions

$str154$Gathering_all_KB_HL_supports

public static final SubLString $str154$Gathering_all_KB_HL_supports

$str155$Gathering_all_assertions

public static final SubLString $str155$Gathering_all_assertions

$str156$Gathering_all_gafs

public static final SubLString $str156$Gathering_all_gafs

$str157$Gathering_all_forward_gafs

public static final SubLString $str157$Gathering_all_forward_gafs

$str158$Gathering_all_backward_gafs

public static final SubLString $str158$Gathering_all_backward_gafs

$str159$Gathering_all_rules

public static final SubLString $str159$Gathering_all_rules

$str160$Gathering_all_forward_rules

public static final SubLString $str160$Gathering_all_forward_rules

$str161$Gathering_all_backward_rules

public static final SubLString $str161$Gathering_all_backward_rules

$sym162$DEDUCED_ASSERTION_

public static final SubLSymbol $sym162$DEDUCED_ASSERTION_

$sym163$SAFE__

public static final SubLSymbol $sym163$SAFE__

$sym164$ASSERTED_WHEN

public static final SubLSymbol $sym164$ASSERTED_WHEN

$list165

public static final SubLList $list165

$list166

public static final SubLList $list166

$kw167$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw167$ALLOW_OTHER_KEYS

$kw168$KB_CHANGED_MESSAGE

public static final SubLSymbol $kw168$KB_CHANGED_MESSAGE

$kw169$KB_UNCHANGED_MESSAGE

public static final SubLSymbol $kw169$KB_UNCHANGED_MESSAGE

$sym170$KB_OBJECT_COUNT_LIST_1

public static final SubLSymbol $sym170$KB_OBJECT_COUNT_LIST_1

$sym171$KB_OBJECT_COUNT_LIST_2

public static final SubLSymbol $sym171$KB_OBJECT_COUNT_LIST_2

$sym172$NEW_CONSTANT_COUNT

public static final SubLSymbol $sym172$NEW_CONSTANT_COUNT

$sym173$NEW_NART_COUNT

public static final SubLSymbol $sym173$NEW_NART_COUNT

$sym174$NEW_ASSERTION_COUNT

public static final SubLSymbol $sym174$NEW_ASSERTION_COUNT

$sym175$NEW_KB_HL_SUPPORT_COUNT

public static final SubLSymbol $sym175$NEW_KB_HL_SUPPORT_COUNT

$sym176$NEW_DEDUCTION_COUNT

public static final SubLSymbol $sym176$NEW_DEDUCTION_COUNT

$sym177$CLET

public static final SubLSymbol $sym177$CLET

$list178

public static final SubLList $list178

$sym179$KB_OBJECT_COUNT_LISTS_NEW_CONSTANT_COUNT

public static final SubLSymbol $sym179$KB_OBJECT_COUNT_LISTS_NEW_CONSTANT_COUNT

$sym180$KB_OBJECT_COUNT_LISTS_NEW_NART_COUNT

public static final SubLSymbol $sym180$KB_OBJECT_COUNT_LISTS_NEW_NART_COUNT

$sym181$KB_OBJECT_COUNT_LISTS_NEW_ASSERTION_COUNT

public static final SubLSymbol $sym181$KB_OBJECT_COUNT_LISTS_NEW_ASSERTION_COUNT

$sym182$KB_OBJECT_COUNT_LISTS_NEW_KB_HL_SUPPORT_COUNT

public static final SubLSymbol $sym182$KB_OBJECT_COUNT_LISTS_NEW_KB_HL_SUPPORT_COUNT

$sym183$KB_OBJECT_COUNT_LISTS_NEW_DEDUCTION_COUNT

public static final SubLSymbol $sym183$KB_OBJECT_COUNT_LISTS_NEW_DEDUCTION_COUNT

$sym184$PIF

public static final SubLSymbol $sym184$PIF

$sym185$COR

public static final SubLSymbol $sym185$COR

$sym186$NON_ZERO_INTEGER_P

public static final SubLSymbol $sym186$NON_ZERO_INTEGER_P

$sym187$PROGN

public static final SubLSymbol $sym187$PROGN

$sym188$PWHEN

public static final SubLSymbol $sym188$PWHEN

$sym189$FORMAT

public static final SubLSymbol $sym189$FORMAT

$str190$_A

public static final SubLString $str190$___A__

$str191$___s_constant_AA

public static final SubLString $str191$___s_constant_A__A__

$sym192$ABS

public static final SubLSymbol $sym192$ABS

$sym193$FIF

public static final SubLSymbol $sym193$FIF

$list194

public static final SubLList $list194

$list195

public static final SubLList $list195

$sym196$POSITIVE_INTEGER_P

public static final SubLSymbol $sym196$POSITIVE_INTEGER_P

$list197

public static final SubLList $list197

$str198$___s_nart_AA

public static final SubLString $str198$___s_nart_A__A__

$str199$___s_assertion_AA

public static final SubLString $str199$___s_assertion_A__A__

$str200$___s_kb_hl_support_AA

public static final SubLString $str200$___s_kb_hl_support_A__A__

$str201$___s_deduction_AA

public static final SubLString $str201$___s_deduction_A__A__

$list202

public static final SubLList $list202

$str203$mapping_Cyc_constants

public static final SubLString $str203$mapping_Cyc_constants

$kw204$UNKNOWN_SECOND

public static final SubLSymbol $kw204$UNKNOWN_SECOND

$sym205$CONSTANT_SORTING_FUNKY__

public static final SubLSymbol $sym205$CONSTANT_SORTING_FUNKY__

$sym206$FOURTH

public static final SubLSymbol $sym206$FOURTH

$sym207$SORT_CONSTANTS_BY_SORTING_INFO

public static final SubLSymbol $sym207$SORT_CONSTANTS_BY_SORTING_INFO

$sym208$FIRST

public static final SubLSymbol $sym208$FIRST

$kw209$UNKNOWN_DATE

public static final SubLSymbol $kw209$UNKNOWN_DATE

$kw210$UNKNOWN_ID

public static final SubLSymbol $kw210$UNKNOWN_ID

$list211

public static final SubLList $list211

$list212

public static final SubLList $list212

$const213$Microtheory

public static final SubLObject $const213$Microtheory

$list214

public static final SubLList $list214

$list215

public static final SubLList $list215

$kw216$INDEX

public static final SubLSymbol $kw216$INDEX

$kw217$PREDICATE

public static final SubLSymbol $kw217$PREDICATE

$kw218$TRUTH

public static final SubLSymbol $kw218$TRUTH

$kw219$DIRECTION

public static final SubLSymbol $kw219$DIRECTION

$kw220$DONE

public static final SubLSymbol $kw220$DONE

$sym221$INDEXED_TERMS

public static final SubLSymbol $sym221$INDEXED_TERMS

$sym222$EXPRESSION_GATHER

public static final SubLSymbol $sym222$EXPRESSION_GATHER

$list223

public static final SubLList $list223

$sym224$INDEXED_TERM_P

public static final SubLSymbol $sym224$INDEXED_TERM_P

$sym225$CPUSH

public static final SubLSymbol $sym225$CPUSH

$sym226$DO_OVERLAP_INDEX

public static final SubLSymbol $sym226$DO_OVERLAP_INDEX

$sym227$CAND

public static final SubLSymbol $sym227$CAND

$sym228$NULL

public static final SubLSymbol $sym228$NULL

$sym229$ASSERTION_DIRECTION

public static final SubLSymbol $sym229$ASSERTION_DIRECTION

$sym230$FORMULA_OPERATOR

public static final SubLSymbol $sym230$FORMULA_OPERATOR

$sym231$ASSERTION_FORMULA

public static final SubLSymbol $sym231$ASSERTION_FORMULA

$sym232$FORMULA_ARG

public static final SubLSymbol $sym232$FORMULA_ARG

$sym233$TERM_OCCURS_AS_FORMULA_ARGUMENT

public static final SubLSymbol $sym233$TERM_OCCURS_AS_FORMULA_ARGUMENT

$list234

public static final SubLList $list234

$list235

public static final SubLList $list235

$sym236$INDEXED_TERMS

public static final SubLSymbol $sym236$INDEXED_TERMS

$list237

public static final SubLList $list237

$sym238$CNOT

public static final SubLSymbol $sym238$CNOT

$sym239$EXPRESSION_FIND

public static final SubLSymbol $sym239$EXPRESSION_FIND

$list240

public static final SubLList $list240

$sym241$ASSERTION_MT

public static final SubLSymbol $sym241$ASSERTION_MT

$sym242$FUNCTION_SPEC_P

public static final SubLSymbol $sym242$FUNCTION_SPEC_P

$sym243$NAUT_P

public static final SubLSymbol $sym243$NAUT_P

$kw244$MAPPING_DONE

public static final SubLSymbol $kw244$MAPPING_DONE

$const245$InferencePSC

public static final SubLObject $const245$InferencePSC

$sym246$EL_SET_P

public static final SubLSymbol $sym246$EL_SET_P

$const247$Nothing

public static final SubLObject $const247$Nothing

$const248$CollectionSubsetFn

public static final SubLObject $const248$CollectionSubsetFn

$list249

public static final SubLList $list249

$const250$CollectionIntersection2Fn

public static final SubLObject $const250$CollectionIntersection2Fn

$const251$CollectionIntersectionFn

public static final SubLObject $const251$CollectionIntersectionFn

$const252$TheSet

public static final SubLObject $const252$TheSet

$const253$Thing

public static final SubLObject $const253$Thing

$str254$_S_was_not_a_set

public static final SubLString $str254$_S_was_not_a_set

$sym255$CACHED_UNION_ALL_SPECS_COUNT

public static final SubLSymbol $sym255$CACHED_UNION_ALL_SPECS_COUNT

$sym256$_CACHED_UNION_ALL_SPECS_COUNT_CACHING_STATE_

public static final SubLSymbol $sym256$_CACHED_UNION_ALL_SPECS_COUNT_CACHING_STATE_

$sym257$CLEAR_CACHED_UNION_ALL_SPECS_COUNT

public static final SubLSymbol $sym257$CLEAR_CACHED_UNION_ALL_SPECS_COUNT

$list258

public static final SubLList $list258

$sym259$CONSTANT_P

public static final SubLSymbol $sym259$CONSTANT_P

$list260

public static final SubLList $list260

$list261

public static final SubLList $list261

$list262

public static final SubLList $list262

$sym263$SPEC_CARDINALITY

public static final SubLSymbol $sym263$SPEC_CARDINALITY

$str264$_5_ds

public static final SubLString $str264$_5_d__s__

$str265$__Total_coverage_S_

public static final SubLString $str265$__Total_coverage___S___

$int266$100

public static final SubLInteger $int266$100

$str267$__Optimizing_coverage_via_relativ

public static final SubLString $str267$__Optimizing_coverage_via_relativ

$str268$_s___s_unique_spec_p__

public static final SubLString $str268$_s___s_unique_spec_p__

$sym269$FORBIDDEN_KB_COVERING_COLLECTION_

public static final SubLSymbol $sym269$FORBIDDEN_KB_COVERING_COLLECTION_

$sym270$ALL_SPECS_SET

public static final SubLSymbol $sym270$ALL_SPECS_SET

$sym271$FORBIDDEN_KB_COVERING_COLLECTIONS_SET

public static final SubLSymbol $sym271$FORBIDDEN_KB_COVERING_COLLECTIONS_SET

$sym272$_FORBIDDEN_KB_COVERING_COLLECTIONS_SET_CACHING_STATE_

public static final SubLSymbol $sym272$_FORBIDDEN_KB_COVERING_COLLECTIONS_SET_CACHING_STATE_

$sym273$CLEAR_FORBIDDEN_KB_COVERING_COLLECTIONS_SET

public static final SubLSymbol $sym273$CLEAR_FORBIDDEN_KB_COVERING_COLLECTIONS_SET

$sym274$_ALL_SPECS_SET_CACHING_STATE_

public static final SubLSymbol $sym274$_ALL_SPECS_SET_CACHING_STATE_

$sym275$CLEAR_ALL_SPECS_SET

public static final SubLSymbol $sym275$CLEAR_ALL_SPECS_SET

$sym276$ALL_GENLS_SET

public static final SubLSymbol $sym276$ALL_GENLS_SET

$sym277$_ALL_GENLS_SET_CACHING_STATE_

public static final SubLSymbol $sym277$_ALL_GENLS_SET_CACHING_STATE_

$sym278$CLEAR_ALL_GENLS_SET

public static final SubLSymbol $sym278$CLEAR_ALL_GENLS_SET

$sym279$NART_AFFIX_CHAR_P

public static final SubLSymbol $sym279$NART_AFFIX_CHAR_P

$list280

public static final SubLList $list280

$sym281$NON_DOTTED_LIST_P

public static final SubLSymbol $sym281$NON_DOTTED_LIST_P

$sym282$COLLECTION_P

public static final SubLSymbol $sym282$COLLECTION_P

$sym283$SET_SIZE

public static final SubLSymbol $sym283$SET_SIZE

$list284

public static final SubLList $list284

$sym285$LIST

public static final SubLSymbol $sym285$LIST

$sym286$PREDICATE_P

public static final SubLSymbol $sym286$PREDICATE_P

$list287

public static final SubLList $list287

$list288

public static final SubLList $list288

$int289$10000

public static final SubLInteger $int289$10000

$str290$All_args_of__s_were_open

public static final SubLString $str290$All_args_of__s_were_open

$const291$BinaryPredicate

public static final SubLObject $const291$BinaryPredicate

$sym292$DATE_

public static final SubLSymbol $sym292$DATE_

$const293$Date

public static final SubLObject $const293$Date

$sym294$VALID_CONSTANT_NAME_CHAR_P

public static final SubLSymbol $sym294$VALID_CONSTANT_NAME_CHAR_P

$list295

public static final SubLList $list295

$sym296$GAF_ASSERTION_

public static final SubLSymbol $sym296$GAF_ASSERTION_

$kw297$IGNORE

public static final SubLSymbol $kw297$IGNORE

$list298

public static final SubLList $list298

$const299$oldConstantName

public static final SubLObject $const299$oldConstantName

$sym300$VISIT_COASSERTED_FORT

public static final SubLSymbol $sym300$VISIT_COASSERTED_FORT

$sym301$CACHED_COMPACT_HL_EXTERNAL_ID_STRING

public static final SubLSymbol $sym301$CACHED_COMPACT_HL_EXTERNAL_ID_STRING

$sym302$_CACHED_COMPACT_HL_EXTERNAL_ID_STRING_CACHING_STATE_

public static final SubLSymbol $sym302$_CACHED_COMPACT_HL_EXTERNAL_ID_STRING_CACHING_STATE_

$str303$_

public static final SubLString $str303$_

$kw304$OUTPUT

public static final SubLSymbol $kw304$OUTPUT

$str305$Unable_to_open__S

public static final SubLString $str305$Unable_to_open__S

$str306$Writing_coasserted_forts

public static final SubLString $str306$Writing_coasserted_forts

$sym307$CATCH_ERROR_MESSAGE_HANDLER

public static final SubLSymbol $sym307$CATCH_ERROR_MESSAGE_HANDLER

$str308$_A

public static final SubLString $str308$_A

Method Detail

kb_statistics

public static final SubLObject kb_statistics(SubLObject stream)

setup_kb_tables_int

public static final SubLObject setup_kb_tables_int(SubLObject exactP,
                                                   SubLObject constant_count,
                                                   SubLObject nart_count,
                                                   SubLObject assertion_count,
                                                   SubLObject deduction_count,
                                                   SubLObject kb_hl_support_count,
                                                   SubLObject clause_struc_count,
                                                   SubLObject kb_unrepresented_term_count)

setup_kb_fort_tables

public static final SubLObject setup_kb_fort_tables(SubLObject constant_count,
                                                    SubLObject nart_count,
                                                    SubLObject exactP)

Setup the kb fort tables, based on an estimate of CONSTANT-COUNT total constants and NART-COUNT total narts.

setup_kb_assertion_tables

public static final SubLObject setup_kb_assertion_tables(SubLObject assertion_table_size,
                                                         SubLObject exactP)

setup_kb_deduction_tables

public static final SubLObject setup_kb_deduction_tables(SubLObject deduction_table_size,
                                                         SubLObject exactP)

clear_kb_state_int

public static final SubLObject clear_kb_state_int()

possibly_clear_dumpable_kb_state_hashes

public static final SubLObject possibly_clear_dumpable_kb_state_hashes()

possibly_initialize_dumpable_kb_state_hashes

public static final SubLObject possibly_initialize_dumpable_kb_state_hashes()

clear_kb_state_hashes

public static final SubLObject clear_kb_state_hashes()

Clear any hashes related to KB state.

initialize_kb_state_hashes

public static final SubLObject initialize_kb_state_hashes()

Initialize any hashes related to KB state.

swap_out_all_pristine_kb_objects

public static final SubLObject swap_out_all_pristine_kb_objects()

sort_terms

public static final SubLObject sort_terms(SubLObject list,
                                          SubLObject copyP,
                                          SubLObject stableP,
                                          SubLObject constants_by_nameP,
                                          SubLObject ignore_variable_symbolsP,
                                          SubLObject key,
                                          SubLObject use_internal_idsP)

term_L

public static final SubLObject term_L(SubLObject term1,
                                      SubLObject term2,
                                      SubLObject constants_by_nameP,
                                      SubLObject ignore_variable_symbolsP,
                                      SubLObject use_internal_idsP)

form_sort_pred

public static final SubLObject form_sort_pred(SubLObject form1,
                                              SubLObject form2)

cons_sort_pred

public static final SubLObject cons_sort_pred(SubLObject cons1,
                                              SubLObject cons2)

atom_sort_pred

public static final SubLObject atom_sort_pred(SubLObject atom1,
                                              SubLObject atom2)

symbol_sort_pred

public static final SubLObject symbol_sort_pred(SubLObject symbol1,
                                                SubLObject symbol2)

fort_sort_pred

public static final SubLObject fort_sort_pred(SubLObject fort1,
                                              SubLObject fort2)

constant_sort_pred

public static final SubLObject constant_sort_pred(SubLObject constant1,
                                                  SubLObject constant2)

term_order_assertion_method

public static final SubLObject term_order_assertion_method(SubLObject object)

term_order_cons_method

public static final SubLObject term_order_cons_method(SubLObject object)

Fancy way of returning max term order within cons tree. Handles dotted pairs.

declare_kb_utilities_file

public static final SubLObject declare_kb_utilities_file()

init_kb_utilities_file

public static final SubLObject init_kb_utilities_file()

setup_kb_utilities_file

public static final SubLObject setup_kb_utilities_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_utilities

me

myName

$term_order_method_table$

$sym0$DOUBLE_FLOAT

$str1$______KB__S_statistics

$str2$__FORTs______________________9___

$str3$___Constants_________________9___

$str4$____cached_indexing__________9___

$str5$___NARTs_____________________9___

$str6$____cached_HL_formulas_______9___

$str7$__Assertions_________________9___

$str8$___KB_Assertions_____________9___

$str9$____cached___________________9___

$str10$___Bookkeeping_Assertions____9___

$str11$__Deductions_________________9___

$str12$__KB_HL_supports_____________9___

$str13$__Unrepresented_terms________9___

$str14$______KB__S_content_statistics

$str15$__Terms______________________9___

$str16$___Collections_______________9___

$const17$Collection

$str18$____FirstOrderCollections____9___

$const19$FirstOrderCollection

$str20$____SecondOrderCollections___9___

$const21$SecondOrderCollection

$str22$____ThirdOrderCollections____9___

$const23$ThirdOrderCollection

$str24$___Relations_________________9___

$const25$Relation

$str26$____Denotational_Functions___9___

$const27$Function_Denotational

$str28$____Predicates_______________9___

$const29$Predicate

$str30$___Individuals_______________9___

$const31$Individual

$str32$__KB_Assertions______________9___

$sym33$RELEVANT_MT_IS_EVERYTHING

$const34$EverythingPSC

$str35$Calculating_cardinalities_of_pred

$kw36$GAF

$sym37$_

$sym38$CDR

$kw39$MT

$kw40$BROAD_MT

$str41$do_broad_mt_index

$sym42$STRINGP

$kw43$SKIP

$const44$isa

$kw45$BREADTH

$kw46$QUEUE

$kw47$STACK

$sym48$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw49$ERROR

$str50$_A_is_not_a__A

$sym51$SBHL_TRUE_TV_P

$kw52$CERROR

$str53$continue_anyway

$kw54$WARN

$str55$_A_is_not_a_valid__sbhl_type_erro

$str56$attempting_to_bind_direction_link

$list57

$str58$Node__a_does_not_pass_sbhl_type_t

$sym59$_

$sym60$_

$float61$17_1

$float62$1_41

$float63$2_67

$float64$39_3

$float65$30_3

$float66$1_12

$float67$7_97

$float68$1_05

$int69$50000

$sym70$INIT_CONSTANT

$sym71$SWAP_OUT_ALL_PRISTINE_KB_OBJECTS

$sym72$SHOW_NEW_KB_STATE

$str73$______KB__S_new_KB_objects__

$str74$__New_FORTs__________________9___

$str75$___New_Constants_____________9___

com.cyc.cycjava.cycl
Class kb_utilities

$str1$____KBS_statistics

$str2$FORTs__________________9_

$str3$_Constants_____________9_

$str4$____cached_indexing________9_

$str5$_NARTs_________________9_

$str6$____cached_HL_formulas_____9_

$str7$Assertions_____________9_

$str8$___KB_Assertions___________9_

$str9$cached_____________9_

$str10$___Bookkeeping_Assertions__9_

$str11$Deductions_____________9_

$str12$__KB_HL_supports___________9_

$str13$__Unrepresented_terms______9_

$str14$____KBS_content_statistics

$str15$Terms__________________9_

$str16$_Collections___________9_

$str18$__FirstOrderCollections9_

$str20$__SecondOrderCollections_9___

$str22$__ThirdOrderCollections9_

$str24$_Relations_____________9_

$str26$____Denotational_Functions_9_

$str28$Predicates_________9_

$str30$_Individuals___________9_

$str32$__KB_Assertions____________9_

$str73$____KBS_new_KB_objects__

$str74$__New_FORTs________________9_

$str75$___New_Constants___________9_

$str76$___New_NARTs_______________9_

$str77$__New_Assertions___________9_

$str78$__New_Deductions___________9_

$str79$__New_KB_HL_Supports_______9_

$str105$Invalid_hl_external_idAfo