kb_paths

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_paths

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class kb_paths
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary

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

Field Summary
`static SubLSymbol`	$collect_kbp_statsP$
`static SubLObject`	`$const105$EverythingPSC`
`static SubLObject`	`$const126$genls`
`static SubLObject`	`$const129$isa`
`static SubLObject`	`$const164$conceptuallyRelated`
`static SubLObject`	`$const171$InferencePSC`
`static SubLObject`	`$const172$and`
`static SubLObject`	`$const193$genlPreds`
`static SubLSymbol`	$cr_error_count$
`static SubLSymbol`	$cr_explained_count$
`static SubLSymbol`	$cr_gaf_count$
`static SubLSymbol`	$cr_paths_table$
`static SubLSymbol`	$exclude_links$
`static SubLSymbol`	$exclude_nodes$
`static SubLInteger`	`$int157$1024`
`static SubLInteger`	`$int35$2048`
`static SubLInteger`	`$int46$1000`
`static SubLSymbol`	$kbp_ancestor_hash$
`static SubLSymbol`	$kbp_ancestor$
`static SubLSymbol`	$kbp_bound_gaf_terms$
`static SubLSymbol`	$kbp_bound_gaf_termsP$
`static SubLSymbol`	$kbp_bound_link_terms$
`static SubLSymbol`	$kbp_bound_link_termsP$
`static SubLSymbol`	$kbp_common_nodes$
`static SubLSymbol`	$kbp_depth$
`static SubLSymbol`	$kbp_designated_link_references$
`static SubLSymbol`	$kbp_designated_link_referencesP$
`static SubLSymbol`	$kbp_designated_node_superiors$
`static SubLSymbol`	$kbp_designated_node_superiorsP$
`static SubLSymbol`	$kbp_designated_preds$
`static SubLSymbol`	$kbp_designated_predsP$
`static SubLSymbol`	$kbp_explode_natsP$
`static SubLSymbol`	$kbp_external_link_pred$
`static SubLSymbol`	$kbp_external_link_predP$
`static SubLSymbol`	$kbp_genl_bound$
`static SubLSymbol`	$kbp_genl_boundP$
`static SubLSymbol`	$kbp_genls_cardinality_delta_bound$
`static SubLSymbol`	$kbp_genls_cardinality_delta_boundP$
`static SubLSymbol`	$kbp_isa_bound$
`static SubLSymbol`	$kbp_isa_boundP$
`static SubLSymbol`	$kbp_link_count$
`static SubLSymbol`	$kbp_link_reference_set_bound$
`static SubLSymbol`	$kbp_link_reference_set_boundP$
`static SubLSymbol`	$kbp_linkP$
`static SubLSymbol`	$kbp_links$
`static SubLSymbol`	$kbp_max_depth$
`static SubLSymbol`	$kbp_max_term_count$
`static SubLSymbol`	$kbp_min_genls_pathP$
`static SubLSymbol`	$kbp_min_isa_pathP$
`static SubLSymbol`	$kbp_no_bi_scoping_linksP$
`static SubLSymbol`	$kbp_no_bookkeeping_linksP$
`static SubLSymbol`	$kbp_no_instance_linksP$
`static SubLSymbol`	$kbp_node_count$
`static SubLSymbol`	$kbp_node_isa_bound$
`static SubLSymbol`	$kbp_node_isa_boundP$
`static SubLSymbol`	$kbp_nodeP$
`static SubLSymbol`	$kbp_nodes$
`static SubLSymbol`	$kbp_only_gaf_linksP$
`static SubLSymbol`	$kbp_quit_with_successP$
`static SubLSymbol`	$kbp_quitP$
`static SubLSymbol`	$kbp_restricted_mts$
`static SubLSymbol`	$kbp_restricted_mtsP$
`static SubLSymbol`	$kbp_restricted_nodes_as_arg$
`static SubLSymbol`	$kbp_restricted_nodes_as_argP$
`static SubLSymbol`	$kbp_restricted_preds$
`static SubLSymbol`	$kbp_restricted_predsP$
`static SubLSymbol`	$kbp_result_format$
`static SubLSymbol`	$kbp_run_time$
`static SubLSymbol`	$kbp_search_hash$
`static SubLSymbol`	$kbp_searcher$
`static SubLSymbol`	$kbp_searchers$
`static SubLSymbol`	$kbp_stats$
`static SubLSymbol`	$kbp_term_count$
`static SubLSymbol`	$kbp_trace_level$
`static SubLSymbol`	$kbp_use_max_mtsP$
`static SubLSymbol`	`$kw1$PATHS`
`static SubLSymbol`	`$kw102$SUCCESS`
`static SubLSymbol`	`$kw111$LINKS`
`static SubLSymbol`	`$kw122$TERM_BOUND`
`static SubLSymbol`	`$kw127$UP`
`static SubLSymbol`	`$kw128$DOWN`
`static SubLSymbol`	`$kw130$NEG`
`static SubLSymbol`	`$kw132$POS`
`static SubLSymbol`	`$kw133$OTHER`
`static SubLSymbol`	`$kw134$DEPTH`
`static SubLSymbol`	`$kw135$ITERATIONS`
`static SubLSymbol`	`$kw136$TERMS`
`static SubLSymbol`	`$kw137$NODES`
`static SubLSymbol`	`$kw138$BRANCH`
`static SubLSymbol`	`$kw139$TIME`
`static SubLSymbol`	`$kw140$TERMINATION`
`static SubLSymbol`	`$kw141$EXHAUST`
`static SubLSymbol`	`$kw142$ITERATION_BOUND`
`static SubLSymbol`	`$kw173$MIN`
`static SubLSymbol`	`$kw175$BREADTH`
`static SubLSymbol`	`$kw176$QUEUE`
`static SubLSymbol`	`$kw177$STACK`
`static SubLSymbol`	`$kw179$ERROR`
`static SubLSymbol`	`$kw182$CERROR`
`static SubLSymbol`	`$kw183$WARN`
`static SubLSymbol`	`$kw186$TRUE`
`static SubLSymbol`	`$kw194$ALL`
`static SubLSymbol`	`$kw195$MAX`
`static SubLSymbol`	`$kw196$MID`
`static SubLSymbol`	`$kw197$EDGE`
`static SubLSymbol`	$limit_path_depthP$
`static SubLSymbol`	$link_ancestors$
`static SubLList`	`$list113`
`static SubLList`	`$list14`
`static SubLList`	`$list145`
`static SubLList`	`$list146`
`static SubLList`	`$list147`
`static SubLList`	`$list148`
`static SubLList`	`$list149`
`static SubLList`	`$list154`
`static SubLList`	`$list155`
`static SubLList`	`$list156`
`static SubLList`	`$list158`
`static SubLList`	`$list159`
`static SubLList`	`$list16`
`static SubLList`	`$list160`
`static SubLList`	`$list161`
`static SubLList`	`$list162`
`static SubLList`	`$list174`
`static SubLList`	`$list190`
`static SubLList`	`$list198`
`static SubLList`	`$list59`
`static SubLList`	`$list72`
`static SubLList`	`$list79`
`static SubLSymbol`	$max_search_iterations$
`static SubLSymbol`	$node_ancestors$
`static SubLSymbol`	$node_equalP$
`static SubLSymbol`	$nodes_accessor_fn$
`static SubLSymbol`	$path_horizon$
`static SubLSymbol`	$path_link_lattice$
`static SubLSymbol`	$path_link_op$
`static SubLSymbol`	$path_node_lattice$
`static SubLSymbol`	$path_node_op$
`static SubLSymbol`	$path_source$
`static SubLSymbol`	$path_target$
`static SubLSymbol`	$relevant_link_treeP$
`static SubLSymbol`	$relevant_linkP$
`static SubLSymbol`	$relevant_node_treeP$
`static SubLSymbol`	$relevant_nodeP$
`static SubLSymbol`	$search_iteration$
`static SubLSymbol`	$source_term_args$
`static SubLString`	`$str100$duplicates_in_accessed1`
`static SubLString`	`$str101$duplicates_in_accessed2`
`static SubLString`	`$str103$horizons_missed__iteration__s`
`static SubLString`	`$str107$____kbp_common_nodes___a`
`static SubLString`	`$str108$____complete_paths_home_from___s_`
`static SubLString`	`$str109$_____acomplete_paths_home_from_li`
`static SubLString`	`$str110$_____acomplete_paths_home_from_no`
`static SubLString`	`$str112$invalid_path_format___s`
`static SubLString`	`$str114$_____agather_node_latice____a_s`
`static SubLString`	`$str115$_____agather_link_latice_____a_s`
`static SubLString`	`$str117$____marking_horizon_for__s_in_ite`
`static SubLString`	`$str118$__search_node____s__s___s`
`static SubLString`	`$str119$empty_horizon_for__s_in_iteration`
`static SubLString`	`$str120$___s_searched_by___s`
`static SubLString`	`$str121$___s______goal_________________`
`static SubLString`	`$str152$continue_anyway`
`static SubLString`	`$str168$__cr_gafs_considered___a`
`static SubLString`	`$str169$__cr_gafs_explained___a`
`static SubLString`	`$str170$__cr_gafs_w_errors___a`
`static SubLString`	`$str180$_A_is_not_a__A`
`static SubLString`	`$str184$_A_is_not_a_valid__sbhl_type_erro`
`static SubLString`	`$str187$attempting_to_bind_direction_link`
`static SubLString`	`$str188$Node__a_does_not_pass_sbhl_type_t`
`static SubLString`	`$str98$searching_for_kb_paths`
`static SubLString`	`$str99$missed_connection`
`static SubLSymbol`	`$sym0$_KBP_QUIT__`
`static SubLSymbol`	`$sym10$_COLLECT_KBP_STATS__`
`static SubLSymbol`	`$sym104$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym106$RELEVANT_MT_IS_EQ`
`static SubLSymbol`	`$sym11$_KBP_NODE_COUNT_`
`static SubLSymbol`	`$sym116$KBP_LINK_NODES`
`static SubLSymbol`	`$sym12$_KBP_LINK_COUNT_`
`static SubLSymbol`	`$sym123$_`
`static SubLSymbol`	`$sym124$INTEGERP`
`static SubLSymbol`	`$sym125$SPEC_CARDINALITY`
`static SubLSymbol`	`$sym13$_KBP_TERM_COUNT_`
`static SubLSymbol`	`$sym131$SECOND`
`static SubLSymbol`	`$sym143$EQUAL_NODES_`
`static SubLSymbol`	`$sym144$ASSERTIONS_FI_EQUAL_`
`static SubLSymbol`	`$sym15$_SOURCE_TERM_ARGS_`
`static SubLSymbol`	`$sym150$KBP_JUST_FROM_TUPLES`
`static SubLSymbol`	`$sym151$KBP_JUST_FROM_TUPLE`
`static SubLSymbol`	`$sym153$WARN`
`static SubLSymbol`	`$sym163$EXPLAIN_CR_GAF_VIA_PATHS`
`static SubLSymbol`	`$sym165$CATCH_ERROR_MESSAGE_HANDLER`
`static SubLSymbol`	`$sym166$KB_ASSERTION_`
`static SubLSymbol`	`$sym167$ASSERTION_FI_FORMULA`
`static SubLSymbol`	`$sym17$_TARGET_TERM_ARGS_`
`static SubLSymbol`	`$sym178$RELEVANT_SBHL_TV_IS_GENERAL_TV`
`static SubLSymbol`	`$sym18$_RELEVANT_NODE_TREE__`
`static SubLSymbol`	`$sym181$SBHL_TRUE_TV_P`
`static SubLSymbol`	`$sym185$GENLS_GATHER_FOCUS_PREDS_COLS`
`static SubLSymbol`	`$sym189$CAR`
`static SubLSymbol`	`$sym19$_PATH_SOURCE_`
`static SubLSymbol`	`$sym191$_`
`static SubLSymbol`	`$sym192$CADR`
`static SubLSymbol`	`$sym199$GENLS_GATHER_FOCUS_PREDS_OF`
`static SubLSymbol`	`$sym2$_KBP_RESULT_FORMAT_`
`static SubLSymbol`	`$sym20$_PATH_TARGET_`
`static SubLSymbol`	`$sym21$_KBP_SEARCHER_`
`static SubLSymbol`	`$sym22$_KBP_SEARCHERS_`
`static SubLSymbol`	`$sym23$_PATH_HORIZON_`
`static SubLSymbol`	`$sym24$_KBP_COMMON_NODES_`
`static SubLSymbol`	`$sym25$_PATH_LINK_LATTICE_`
`static SubLSymbol`	`$sym26$_PATH_NODE_LATTICE_`
`static SubLSymbol`	`$sym27$_KBP_ANCESTOR_`
`static SubLSymbol`	`$sym28$_KBP_RUN_TIME_`
`static SubLSymbol`	`$sym29$_NODE_ANCESTORS_`
`static SubLSymbol`	`$sym3$_SEARCH_ITERATION_`
`static SubLSymbol`	`$sym30$_LINK_ANCESTORS_`
`static SubLSymbol`	`$sym31$_KBP_DEPTH_`
`static SubLSymbol`	`$sym32$_KBP_NODES_`
`static SubLSymbol`	`$sym33$_KBP_LINKS_`
`static SubLSymbol`	`$sym34$_TERM_ARG_`
`static SubLSymbol`	`$sym36$_KBP_ANCESTOR_HASH_`
`static SubLSymbol`	`$sym37$_KBP_SEARCH_HASH_`
`static SubLSymbol`	`$sym38$_KBP_MIN_ISA_PATH__`
`static SubLSymbol`	`$sym39$_KBP_MIN_GENLS_PATH__`
`static SubLSymbol`	`$sym4$_NODE_EQUAL__`
`static SubLSymbol`	`$sym40$_KBP_DESIGNATED_NODE_SUPERIORS__`
`static SubLSymbol`	`$sym41$_KBP_DESIGNATED_NODE_SUPERIORS_`
`static SubLSymbol`	`$sym42$_KBP_TRACE_LEVEL_`
`static SubLSymbol`	`$sym43$_MAX_SEARCH_ITERATIONS_`
`static SubLSymbol`	`$sym44$_LIMIT_PATH_DEPTH__`
`static SubLSymbol`	`$sym45$_KBP_MAX_DEPTH_`
`static SubLSymbol`	`$sym47$_KBP_MAX_TERM_COUNT_`
`static SubLSymbol`	`$sym48$_KBP_QUIT_WITH_SUCCESS__`
`static SubLSymbol`	`$sym49$_KBP_ONLY_GAF_LINKS__`
`static SubLSymbol`	`$sym5$FORT_P`
`static SubLSymbol`	`$sym50$_KBP_NO_BOOKKEEPING_LINKS__`
`static SubLSymbol`	`$sym51$_KBP_NO_INSTANCE_LINKS__`
`static SubLSymbol`	`$sym52$_KBP_NO_BI_SCOPING_LINKS__`
`static SubLSymbol`	`$sym53$_KBP_EXPLODE_NATS__`
`static SubLSymbol`	`$sym54$_KBP_DESIGNATED_PREDS__`
`static SubLSymbol`	`$sym55$_KBP_DESIGNATED_PREDS_`
`static SubLSymbol`	`$sym56$_KBP_RESTRICTED_PREDS__`
`static SubLSymbol`	`$sym57$_KBP_RESTRICTED_PREDS_`
`static SubLSymbol`	`$sym58$_KBP_RESTRICTED_MTS__`
`static SubLSymbol`	`$sym6$_KBP_NODE__`
`static SubLSymbol`	`$sym60$_KBP_RESTRICTED_MTS_`
`static SubLSymbol`	`$sym61$_KBP_EXTERNAL_LINK_PRED__`
`static SubLSymbol`	`$sym62$_KBP_EXTERNAL_LINK_PRED_`
`static SubLSymbol`	`$sym63$_KBP_GENL_BOUND__`
`static SubLSymbol`	`$sym64$_KBP_GENL_BOUND_`
`static SubLSymbol`	`$sym65$_KBP_GENLS_CARDINALITY_DELTA_BOUND__`
`static SubLSymbol`	`$sym66$_KBP_GENLS_CARDINALITY_DELTA_BOUND_`
`static SubLSymbol`	`$sym67$_KBP_ISA_BOUND__`
`static SubLSymbol`	`$sym68$_KBP_ISA_BOUND_`
`static SubLSymbol`	`$sym69$_KBP_NODE_ISA_BOUND__`
`static SubLSymbol`	`$sym7$ASSERTION_P`
`static SubLSymbol`	`$sym70$_KBP_NODE_ISA_BOUND_`
`static SubLSymbol`	`$sym71$_KBP_RESTRICTED_NODES_AS_ARG__`
`static SubLSymbol`	`$sym73$_KBP_RESTRICTED_NODES_AS_ARG_`
`static SubLSymbol`	`$sym74$_KBP_LINK_REFERENCE_SET_BOUND__`
`static SubLSymbol`	`$sym75$_KBP_LINK_REFERENCE_SET_BOUND_`
`static SubLSymbol`	`$sym76$_KBP_DESIGNATED_LINK_REFERENCES__`
`static SubLSymbol`	`$sym77$_KBP_DESIGNATED_LINK_REFERENCES_`
`static SubLSymbol`	`$sym78$_KBP_BOUND_GAF_TERMS__`
`static SubLSymbol`	`$sym8$_KBP_LINK__`
`static SubLSymbol`	`$sym80$_KBP_BOUND_GAF_TERMS_`
`static SubLSymbol`	`$sym81$_KBP_BOUND_LINK_TERMS__`
`static SubLSymbol`	`$sym82$_KBP_BOUND_LINK_TERMS_`
`static SubLSymbol`	`$sym83$_KBP_USE_MAX_MTS__`
`static SubLSymbol`	`$sym84$_NODES_ACCESSOR_FN_`
`static SubLSymbol`	`$sym85$_PATH_LINK_OP_`
`static SubLSymbol`	`$sym86$_PATH_NODE_OP_`
`static SubLSymbol`	`$sym87$_RELEVANT_LINK__`
`static SubLSymbol`	`$sym88$_RELEVANT_NODE__`
`static SubLSymbol`	`$sym89$_RELEVANT_LINK_TREE__`
`static SubLSymbol`	`$sym9$_KBP_STATS_`
`static SubLSymbol`	`$sym90$_EXCLUDE_NODES_`
`static SubLSymbol`	`$sym91$_EXCLUDE_LINKS_`
`static SubLSymbol`	`$sym92$ALL_ASSERTION_TERMS`
`static SubLSymbol`	`$sym93$DEFAULT_LINK_OP`
`static SubLSymbol`	`$sym94$DEFAULT_NODE_OP`
`static SubLSymbol`	`$sym95$DEFAULT_RELEVANT_LINK_`
`static SubLSymbol`	`$sym96$DEFAULT_RELEVANT_NODE_`
`static SubLSymbol`	`$sym97$DEFAULT_RELEVANT_LINK_TREE_`
`static SubLSymbol`	$target_term_args$
`static SubLSymbol`	$term_arg$
`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`	`declare_kb_paths_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`fort_name(SubLObject fort)`
`static SubLObject`	`init_kb_paths_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_kb_paths_file()`

Methods inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
`extractFunctionNamed`

Methods inherited from class com.cyc.tool.subl.util.SubLTrampolineFile
`checkType, enforceType, extractBinaryFunc, extractCount, extractEnd, extractEndUsingSize, extractPackage, extractStart, extractUnaryFunc, main`

Methods inherited from class java.lang.Object
`equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Field Detail

me

public static final SubLFile me

myName

public static final java.lang.String myName

See Also:: Constant Field Values

$kbp_quitP$

public static SubLSymbol $kbp_quitP$

$kbp_result_format$

public static SubLSymbol $kbp_result_format$

$search_iteration$

public static SubLSymbol $search_iteration$

$node_equalP$

public static SubLSymbol $node_equalP$

$kbp_nodeP$

public static SubLSymbol $kbp_nodeP$

$kbp_linkP$

public static SubLSymbol $kbp_linkP$

$kbp_stats$

public static SubLSymbol $kbp_stats$

$collect_kbp_statsP$

public static SubLSymbol $collect_kbp_statsP$

$kbp_node_count$

public static SubLSymbol $kbp_node_count$

$kbp_link_count$

public static SubLSymbol $kbp_link_count$

$kbp_term_count$

public static SubLSymbol $kbp_term_count$

$source_term_args$

public static SubLSymbol $source_term_args$

$target_term_args$

public static SubLSymbol $target_term_args$

$relevant_node_treeP$

public static SubLSymbol $relevant_node_treeP$

$path_source$

public static SubLSymbol $path_source$

$path_target$

public static SubLSymbol $path_target$

$kbp_searcher$

public static SubLSymbol $kbp_searcher$

$kbp_searchers$

public static SubLSymbol $kbp_searchers$

$path_horizon$

public static SubLSymbol $path_horizon$

$kbp_common_nodes$

public static SubLSymbol $kbp_common_nodes$

$path_link_lattice$

public static SubLSymbol $path_link_lattice$

$path_node_lattice$

public static SubLSymbol $path_node_lattice$

$kbp_ancestor$

public static SubLSymbol $kbp_ancestor$

$kbp_run_time$

public static SubLSymbol $kbp_run_time$

$node_ancestors$

public static SubLSymbol $node_ancestors$

$link_ancestors$

public static SubLSymbol $link_ancestors$

$kbp_depth$

public static SubLSymbol $kbp_depth$

$kbp_nodes$

public static SubLSymbol $kbp_nodes$

$kbp_links$

public static SubLSymbol $kbp_links$

$term_arg$

public static SubLSymbol $term_arg$

$kbp_ancestor_hash$

public static SubLSymbol $kbp_ancestor_hash$

$kbp_search_hash$

public static SubLSymbol $kbp_search_hash$

$kbp_min_isa_pathP$

public static SubLSymbol $kbp_min_isa_pathP$

$kbp_min_genls_pathP$

public static SubLSymbol $kbp_min_genls_pathP$

$kbp_designated_node_superiorsP$

public static SubLSymbol $kbp_designated_node_superiorsP$

$kbp_designated_node_superiors$

public static SubLSymbol $kbp_designated_node_superiors$

$kbp_trace_level$

public static SubLSymbol $kbp_trace_level$

$max_search_iterations$

public static SubLSymbol $max_search_iterations$

$limit_path_depthP$

public static SubLSymbol $limit_path_depthP$

$kbp_max_depth$

public static SubLSymbol $kbp_max_depth$

$kbp_max_term_count$

public static SubLSymbol $kbp_max_term_count$

$kbp_quit_with_successP$

public static SubLSymbol $kbp_quit_with_successP$

$kbp_only_gaf_linksP$

public static SubLSymbol $kbp_only_gaf_linksP$

$kbp_no_bookkeeping_linksP$

public static SubLSymbol $kbp_no_bookkeeping_linksP$

$kbp_no_instance_linksP$

public static SubLSymbol $kbp_no_instance_linksP$

$kbp_no_bi_scoping_linksP$

public static SubLSymbol $kbp_no_bi_scoping_linksP$

$kbp_explode_natsP$

public static SubLSymbol $kbp_explode_natsP$

$kbp_designated_predsP$

public static SubLSymbol $kbp_designated_predsP$

$kbp_designated_preds$

public static SubLSymbol $kbp_designated_preds$

$kbp_restricted_predsP$

public static SubLSymbol $kbp_restricted_predsP$

$kbp_restricted_preds$

public static SubLSymbol $kbp_restricted_preds$

$kbp_restricted_mtsP$

public static SubLSymbol $kbp_restricted_mtsP$

$kbp_restricted_mts$

public static SubLSymbol $kbp_restricted_mts$

$kbp_external_link_predP$

public static SubLSymbol $kbp_external_link_predP$

$kbp_external_link_pred$

public static SubLSymbol $kbp_external_link_pred$

$kbp_genl_boundP$

public static SubLSymbol $kbp_genl_boundP$

$kbp_genl_bound$

public static SubLSymbol $kbp_genl_bound$

$kbp_genls_cardinality_delta_boundP$

public static SubLSymbol $kbp_genls_cardinality_delta_boundP$

$kbp_genls_cardinality_delta_bound$

public static SubLSymbol $kbp_genls_cardinality_delta_bound$

$kbp_isa_boundP$

public static SubLSymbol $kbp_isa_boundP$

$kbp_isa_bound$

public static SubLSymbol $kbp_isa_bound$

$kbp_node_isa_boundP$

public static SubLSymbol $kbp_node_isa_boundP$

$kbp_node_isa_bound$

public static SubLSymbol $kbp_node_isa_bound$

$kbp_restricted_nodes_as_argP$

public static SubLSymbol $kbp_restricted_nodes_as_argP$

$kbp_restricted_nodes_as_arg$

public static SubLSymbol $kbp_restricted_nodes_as_arg$

$kbp_link_reference_set_boundP$

public static SubLSymbol $kbp_link_reference_set_boundP$

$kbp_link_reference_set_bound$

public static SubLSymbol $kbp_link_reference_set_bound$

$kbp_designated_link_referencesP$

public static SubLSymbol $kbp_designated_link_referencesP$

$kbp_designated_link_references$

public static SubLSymbol $kbp_designated_link_references$

$kbp_bound_gaf_termsP$

public static SubLSymbol $kbp_bound_gaf_termsP$

$kbp_bound_gaf_terms$

public static SubLSymbol $kbp_bound_gaf_terms$

$kbp_bound_link_termsP$

public static SubLSymbol $kbp_bound_link_termsP$

$kbp_bound_link_terms$

public static SubLSymbol $kbp_bound_link_terms$

$kbp_use_max_mtsP$

public static SubLSymbol $kbp_use_max_mtsP$

$nodes_accessor_fn$

public static SubLSymbol $nodes_accessor_fn$

$path_link_op$

public static SubLSymbol $path_link_op$

$path_node_op$

public static SubLSymbol $path_node_op$

$relevant_linkP$

public static SubLSymbol $relevant_linkP$

$relevant_nodeP$

public static SubLSymbol $relevant_nodeP$

$relevant_link_treeP$

public static SubLSymbol $relevant_link_treeP$

$exclude_nodes$

public static SubLSymbol $exclude_nodes$

$exclude_links$

public static SubLSymbol $exclude_links$

$cr_paths_table$

public static SubLSymbol $cr_paths_table$

$cr_gaf_count$

public static SubLSymbol $cr_gaf_count$

$cr_explained_count$

public static SubLSymbol $cr_explained_count$

$cr_error_count$

public static SubLSymbol $cr_error_count$

$sym0$_KBP_QUIT__

public static final SubLSymbol $sym0$_KBP_QUIT__

$kw1$PATHS

public static final SubLSymbol $kw1$PATHS

$sym2$_KBP_RESULT_FORMAT_

public static final SubLSymbol $sym2$_KBP_RESULT_FORMAT_

$sym3$_SEARCH_ITERATION_

public static final SubLSymbol $sym3$_SEARCH_ITERATION_

$sym4$_NODE_EQUAL__

public static final SubLSymbol $sym4$_NODE_EQUAL__

$sym5$FORT_P

public static final SubLSymbol $sym5$FORT_P

$sym6$_KBP_NODE__

public static final SubLSymbol $sym6$_KBP_NODE__

$sym7$ASSERTION_P

public static final SubLSymbol $sym7$ASSERTION_P

$sym8$_KBP_LINK__

public static final SubLSymbol $sym8$_KBP_LINK__

$sym9$_KBP_STATS_

public static final SubLSymbol $sym9$_KBP_STATS_

$sym10$_COLLECT_KBP_STATS__

public static final SubLSymbol $sym10$_COLLECT_KBP_STATS__

$sym11$_KBP_NODE_COUNT_

public static final SubLSymbol $sym11$_KBP_NODE_COUNT_

$sym12$_KBP_LINK_COUNT_

public static final SubLSymbol $sym12$_KBP_LINK_COUNT_

$sym13$_KBP_TERM_COUNT_

public static final SubLSymbol $sym13$_KBP_TERM_COUNT_

$list14

public static final SubLList $list14

$sym15$_SOURCE_TERM_ARGS_

public static final SubLSymbol $sym15$_SOURCE_TERM_ARGS_

$list16

public static final SubLList $list16

$sym17$_TARGET_TERM_ARGS_

public static final SubLSymbol $sym17$_TARGET_TERM_ARGS_

$sym18$_RELEVANT_NODE_TREE__

public static final SubLSymbol $sym18$_RELEVANT_NODE_TREE__

$sym19$_PATH_SOURCE_

public static final SubLSymbol $sym19$_PATH_SOURCE_

$sym20$_PATH_TARGET_

public static final SubLSymbol $sym20$_PATH_TARGET_

$sym21$_KBP_SEARCHER_

public static final SubLSymbol $sym21$_KBP_SEARCHER_

$sym22$_KBP_SEARCHERS_

public static final SubLSymbol $sym22$_KBP_SEARCHERS_

$sym23$_PATH_HORIZON_

public static final SubLSymbol $sym23$_PATH_HORIZON_

$sym24$_KBP_COMMON_NODES_

public static final SubLSymbol $sym24$_KBP_COMMON_NODES_

$sym25$_PATH_LINK_LATTICE_

public static final SubLSymbol $sym25$_PATH_LINK_LATTICE_

$sym26$_PATH_NODE_LATTICE_

public static final SubLSymbol $sym26$_PATH_NODE_LATTICE_

$sym27$_KBP_ANCESTOR_

public static final SubLSymbol $sym27$_KBP_ANCESTOR_

$sym28$_KBP_RUN_TIME_

public static final SubLSymbol $sym28$_KBP_RUN_TIME_

$sym29$_NODE_ANCESTORS_

public static final SubLSymbol $sym29$_NODE_ANCESTORS_

$sym30$_LINK_ANCESTORS_

public static final SubLSymbol $sym30$_LINK_ANCESTORS_

$sym31$_KBP_DEPTH_

public static final SubLSymbol $sym31$_KBP_DEPTH_

$sym32$_KBP_NODES_

public static final SubLSymbol $sym32$_KBP_NODES_

$sym33$_KBP_LINKS_

public static final SubLSymbol $sym33$_KBP_LINKS_

$sym34$_TERM_ARG_

public static final SubLSymbol $sym34$_TERM_ARG_

$int35$2048

public static final SubLInteger $int35$2048

$sym36$_KBP_ANCESTOR_HASH_

public static final SubLSymbol $sym36$_KBP_ANCESTOR_HASH_

$sym37$_KBP_SEARCH_HASH_

public static final SubLSymbol $sym37$_KBP_SEARCH_HASH_

$sym38$_KBP_MIN_ISA_PATH__

public static final SubLSymbol $sym38$_KBP_MIN_ISA_PATH__

$sym39$_KBP_MIN_GENLS_PATH__

public static final SubLSymbol $sym39$_KBP_MIN_GENLS_PATH__

$sym40$_KBP_DESIGNATED_NODE_SUPERIORS__

public static final SubLSymbol $sym40$_KBP_DESIGNATED_NODE_SUPERIORS__

$sym41$_KBP_DESIGNATED_NODE_SUPERIORS_

public static final SubLSymbol $sym41$_KBP_DESIGNATED_NODE_SUPERIORS_

$sym42$_KBP_TRACE_LEVEL_

public static final SubLSymbol $sym42$_KBP_TRACE_LEVEL_

$sym43$_MAX_SEARCH_ITERATIONS_

public static final SubLSymbol $sym43$_MAX_SEARCH_ITERATIONS_

$sym44$_LIMIT_PATH_DEPTH__

public static final SubLSymbol $sym44$_LIMIT_PATH_DEPTH__

$sym45$_KBP_MAX_DEPTH_

public static final SubLSymbol $sym45$_KBP_MAX_DEPTH_

$int46$1000

public static final SubLInteger $int46$1000

$sym47$_KBP_MAX_TERM_COUNT_

public static final SubLSymbol $sym47$_KBP_MAX_TERM_COUNT_

$sym48$_KBP_QUIT_WITH_SUCCESS__

public static final SubLSymbol $sym48$_KBP_QUIT_WITH_SUCCESS__

$sym49$_KBP_ONLY_GAF_LINKS__

public static final SubLSymbol $sym49$_KBP_ONLY_GAF_LINKS__

$sym50$_KBP_NO_BOOKKEEPING_LINKS__

public static final SubLSymbol $sym50$_KBP_NO_BOOKKEEPING_LINKS__

$sym51$_KBP_NO_INSTANCE_LINKS__

public static final SubLSymbol $sym51$_KBP_NO_INSTANCE_LINKS__

$sym52$_KBP_NO_BI_SCOPING_LINKS__

public static final SubLSymbol $sym52$_KBP_NO_BI_SCOPING_LINKS__

$sym53$_KBP_EXPLODE_NATS__

public static final SubLSymbol $sym53$_KBP_EXPLODE_NATS__

$sym54$_KBP_DESIGNATED_PREDS__

public static final SubLSymbol $sym54$_KBP_DESIGNATED_PREDS__

$sym55$_KBP_DESIGNATED_PREDS_

public static final SubLSymbol $sym55$_KBP_DESIGNATED_PREDS_

$sym56$_KBP_RESTRICTED_PREDS__

public static final SubLSymbol $sym56$_KBP_RESTRICTED_PREDS__

$sym57$_KBP_RESTRICTED_PREDS_

public static final SubLSymbol $sym57$_KBP_RESTRICTED_PREDS_

$sym58$_KBP_RESTRICTED_MTS__

public static final SubLSymbol $sym58$_KBP_RESTRICTED_MTS__

$list59

public static final SubLList $list59

$sym60$_KBP_RESTRICTED_MTS_

public static final SubLSymbol $sym60$_KBP_RESTRICTED_MTS_

$sym61$_KBP_EXTERNAL_LINK_PRED__

public static final SubLSymbol $sym61$_KBP_EXTERNAL_LINK_PRED__

$sym62$_KBP_EXTERNAL_LINK_PRED_

public static final SubLSymbol $sym62$_KBP_EXTERNAL_LINK_PRED_

$sym63$_KBP_GENL_BOUND__

public static final SubLSymbol $sym63$_KBP_GENL_BOUND__

$sym64$_KBP_GENL_BOUND_

public static final SubLSymbol $sym64$_KBP_GENL_BOUND_

$sym65$_KBP_GENLS_CARDINALITY_DELTA_BOUND__

public static final SubLSymbol $sym65$_KBP_GENLS_CARDINALITY_DELTA_BOUND__

$sym66$_KBP_GENLS_CARDINALITY_DELTA_BOUND_

public static final SubLSymbol $sym66$_KBP_GENLS_CARDINALITY_DELTA_BOUND_

$sym67$_KBP_ISA_BOUND__

public static final SubLSymbol $sym67$_KBP_ISA_BOUND__

$sym68$_KBP_ISA_BOUND_

public static final SubLSymbol $sym68$_KBP_ISA_BOUND_

$sym69$_KBP_NODE_ISA_BOUND__

public static final SubLSymbol $sym69$_KBP_NODE_ISA_BOUND__

$sym70$_KBP_NODE_ISA_BOUND_

public static final SubLSymbol $sym70$_KBP_NODE_ISA_BOUND_

$sym71$_KBP_RESTRICTED_NODES_AS_ARG__

public static final SubLSymbol $sym71$_KBP_RESTRICTED_NODES_AS_ARG__

$list72

public static final SubLList $list72

$sym73$_KBP_RESTRICTED_NODES_AS_ARG_

public static final SubLSymbol $sym73$_KBP_RESTRICTED_NODES_AS_ARG_

$sym74$_KBP_LINK_REFERENCE_SET_BOUND__

public static final SubLSymbol $sym74$_KBP_LINK_REFERENCE_SET_BOUND__

$sym75$_KBP_LINK_REFERENCE_SET_BOUND_

public static final SubLSymbol $sym75$_KBP_LINK_REFERENCE_SET_BOUND_

$sym76$_KBP_DESIGNATED_LINK_REFERENCES__

public static final SubLSymbol $sym76$_KBP_DESIGNATED_LINK_REFERENCES__

$sym77$_KBP_DESIGNATED_LINK_REFERENCES_

public static final SubLSymbol $sym77$_KBP_DESIGNATED_LINK_REFERENCES_

$sym78$_KBP_BOUND_GAF_TERMS__

public static final SubLSymbol $sym78$_KBP_BOUND_GAF_TERMS__

$list79

public static final SubLList $list79

$sym80$_KBP_BOUND_GAF_TERMS_

public static final SubLSymbol $sym80$_KBP_BOUND_GAF_TERMS_

$sym81$_KBP_BOUND_LINK_TERMS__

public static final SubLSymbol $sym81$_KBP_BOUND_LINK_TERMS__

$sym82$_KBP_BOUND_LINK_TERMS_

public static final SubLSymbol $sym82$_KBP_BOUND_LINK_TERMS_

$sym83$_KBP_USE_MAX_MTS__

public static final SubLSymbol $sym83$_KBP_USE_MAX_MTS__

$sym84$_NODES_ACCESSOR_FN_

public static final SubLSymbol $sym84$_NODES_ACCESSOR_FN_

$sym85$_PATH_LINK_OP_

public static final SubLSymbol $sym85$_PATH_LINK_OP_

$sym86$_PATH_NODE_OP_

public static final SubLSymbol $sym86$_PATH_NODE_OP_

$sym87$_RELEVANT_LINK__

public static final SubLSymbol $sym87$_RELEVANT_LINK__

$sym88$_RELEVANT_NODE__

public static final SubLSymbol $sym88$_RELEVANT_NODE__

$sym89$_RELEVANT_LINK_TREE__

public static final SubLSymbol $sym89$_RELEVANT_LINK_TREE__

$sym90$_EXCLUDE_NODES_

public static final SubLSymbol $sym90$_EXCLUDE_NODES_

$sym91$_EXCLUDE_LINKS_

public static final SubLSymbol $sym91$_EXCLUDE_LINKS_

$sym92$ALL_ASSERTION_TERMS

public static final SubLSymbol $sym92$ALL_ASSERTION_TERMS

$sym93$DEFAULT_LINK_OP

public static final SubLSymbol $sym93$DEFAULT_LINK_OP

$sym94$DEFAULT_NODE_OP

public static final SubLSymbol $sym94$DEFAULT_NODE_OP

$sym95$DEFAULT_RELEVANT_LINK_

public static final SubLSymbol $sym95$DEFAULT_RELEVANT_LINK_

$sym96$DEFAULT_RELEVANT_NODE_

public static final SubLSymbol $sym96$DEFAULT_RELEVANT_NODE_

$sym97$DEFAULT_RELEVANT_LINK_TREE_

public static final SubLSymbol $sym97$DEFAULT_RELEVANT_LINK_TREE_

$str98$searching_for_kb_paths

public static final SubLString $str98$searching_for_kb_paths

$str99$missed_connection

public static final SubLString $str99$missed_connection

$str100$duplicates_in_accessed1

public static final SubLString $str100$duplicates_in_accessed1

$str101$duplicates_in_accessed2

public static final SubLString $str101$duplicates_in_accessed2

$kw102$SUCCESS

public static final SubLSymbol $kw102$SUCCESS

$str103$horizons_missediterations

public static final SubLString $str103$horizons_missed__iteration__s

$sym104$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym104$RELEVANT_MT_IS_EVERYTHING

$const105$EverythingPSC

public static final SubLObject $const105$EverythingPSC

$sym106$RELEVANT_MT_IS_EQ

public static final SubLSymbol $sym106$RELEVANT_MT_IS_EQ

$str107$____kbp_common_nodes___a

public static final SubLString $str107$____kbp_common_nodes___a

$str108$____complete_paths_home_from___s_

public static final SubLString $str108$____complete_paths_home_from___s_

$str109$_____acomplete_paths_home_from_li

public static final SubLString $str109$_____acomplete_paths_home_from_li

$str110$_____acomplete_paths_home_from_no

public static final SubLString $str110$_____acomplete_paths_home_from_no

$kw111$LINKS

public static final SubLSymbol $kw111$LINKS

$str112$invalid_path_format___s

public static final SubLString $str112$invalid_path_format___s

$list113

public static final SubLList $list113

$str114$_____agather_node_latice____a_s

public static final SubLString $str114$_____agather_node_latice____a_s

$str115$_____agather_link_latice_____a_s

public static final SubLString $str115$_____agather_link_latice_____a_s

$sym116$KBP_LINK_NODES

public static final SubLSymbol $sym116$KBP_LINK_NODES

$str117$____marking_horizon_for__s_in_ite

public static final SubLString $str117$____marking_horizon_for__s_in_ite

$str118$__search_nodess_s

public static final SubLString $str118$__search_node____s__s___s

$str119$empty_horizon_for__s_in_iteration

public static final SubLString $str119$empty_horizon_for__s_in_iteration

$str120$___s_searched_by___s

public static final SubLString $str120$___s_searched_by___s

$str121$_sgoal_____________

public static final SubLString $str121$___s______goal_________________

$kw122$TERM_BOUND

public static final SubLSymbol $kw122$TERM_BOUND

$sym123$_

public static final SubLSymbol $sym123$_

$sym124$INTEGERP

public static final SubLSymbol $sym124$INTEGERP

$sym125$SPEC_CARDINALITY

public static final SubLSymbol $sym125$SPEC_CARDINALITY

$const126$genls

public static final SubLObject $const126$genls

$kw127$UP

public static final SubLSymbol $kw127$UP

$kw128$DOWN

public static final SubLSymbol $kw128$DOWN

$const129$isa

public static final SubLObject $const129$isa

$kw130$NEG

public static final SubLSymbol $kw130$NEG

$sym131$SECOND

public static final SubLSymbol $sym131$SECOND

$kw132$POS

public static final SubLSymbol $kw132$POS

$kw133$OTHER

public static final SubLSymbol $kw133$OTHER

$kw134$DEPTH

public static final SubLSymbol $kw134$DEPTH

$kw135$ITERATIONS

public static final SubLSymbol $kw135$ITERATIONS

$kw136$TERMS

public static final SubLSymbol $kw136$TERMS

$kw137$NODES

public static final SubLSymbol $kw137$NODES

$kw138$BRANCH

public static final SubLSymbol $kw138$BRANCH

$kw139$TIME

public static final SubLSymbol $kw139$TIME

$kw140$TERMINATION

public static final SubLSymbol $kw140$TERMINATION

$kw141$EXHAUST

public static final SubLSymbol $kw141$EXHAUST

$kw142$ITERATION_BOUND

public static final SubLSymbol $kw142$ITERATION_BOUND

$sym143$EQUAL_NODES_

public static final SubLSymbol $sym143$EQUAL_NODES_

$sym144$ASSERTIONS_FI_EQUAL_

public static final SubLSymbol $sym144$ASSERTIONS_FI_EQUAL_

$list145

public static final SubLList $list145

$list146

public static final SubLList $list146

$list147

public static final SubLList $list147

$list148

public static final SubLList $list148

$list149

public static final SubLList $list149

$sym150$KBP_JUST_FROM_TUPLES

public static final SubLSymbol $sym150$KBP_JUST_FROM_TUPLES

$sym151$KBP_JUST_FROM_TUPLE

public static final SubLSymbol $sym151$KBP_JUST_FROM_TUPLE

$str152$continue_anyway

public static final SubLString $str152$continue_anyway

$sym153$WARN

public static final SubLSymbol $sym153$WARN

$list154

public static final SubLList $list154

$list155

public static final SubLList $list155

$list156

public static final SubLList $list156

$int157$1024

public static final SubLInteger $int157$1024

$list158

public static final SubLList $list158

$list159

public static final SubLList $list159

$list160

public static final SubLList $list160

$list161

public static final SubLList $list161

$list162

public static final SubLList $list162

$sym163$EXPLAIN_CR_GAF_VIA_PATHS

public static final SubLSymbol $sym163$EXPLAIN_CR_GAF_VIA_PATHS

$const164$conceptuallyRelated

public static final SubLObject $const164$conceptuallyRelated

$sym165$CATCH_ERROR_MESSAGE_HANDLER

public static final SubLSymbol $sym165$CATCH_ERROR_MESSAGE_HANDLER

$sym166$KB_ASSERTION_

public static final SubLSymbol $sym166$KB_ASSERTION_

$sym167$ASSERTION_FI_FORMULA

public static final SubLSymbol $sym167$ASSERTION_FI_FORMULA

$str168$__cr_gafs_considered___a

public static final SubLString $str168$__cr_gafs_considered___a

$str169$__cr_gafs_explained___a

public static final SubLString $str169$__cr_gafs_explained___a

$str170$__cr_gafs_w_errors___a

public static final SubLString $str170$__cr_gafs_w_errors___a

$const171$InferencePSC

public static final SubLObject $const171$InferencePSC

$const172$and

public static final SubLObject $const172$and

$kw173$MIN

public static final SubLSymbol $kw173$MIN

$list174

public static final SubLList $list174

$kw175$BREADTH

public static final SubLSymbol $kw175$BREADTH

$kw176$QUEUE

public static final SubLSymbol $kw176$QUEUE

$kw177$STACK

public static final SubLSymbol $kw177$STACK

$sym178$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym178$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw179$ERROR

public static final SubLSymbol $kw179$ERROR

$str180$_A_is_not_a__A

public static final SubLString $str180$_A_is_not_a__A

$sym181$SBHL_TRUE_TV_P

public static final SubLSymbol $sym181$SBHL_TRUE_TV_P

$kw182$CERROR

public static final SubLSymbol $kw182$CERROR

$kw183$WARN

public static final SubLSymbol $kw183$WARN

$str184$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str184$_A_is_not_a_valid__sbhl_type_erro

$sym185$GENLS_GATHER_FOCUS_PREDS_COLS

public static final SubLSymbol $sym185$GENLS_GATHER_FOCUS_PREDS_COLS

$kw186$TRUE

public static final SubLSymbol $kw186$TRUE

$str187$attempting_to_bind_direction_link

public static final SubLString $str187$attempting_to_bind_direction_link

$str188$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str188$Node__a_does_not_pass_sbhl_type_t

$sym189$CAR

public static final SubLSymbol $sym189$CAR

$list190

public static final SubLList $list190

$sym191$_

public static final SubLSymbol $sym191$_

$sym192$CADR

public static final SubLSymbol $sym192$CADR

$const193$genlPreds

public static final SubLObject $const193$genlPreds

$kw194$ALL

public static final SubLSymbol $kw194$ALL

$kw195$MAX

public static final SubLSymbol $kw195$MAX

$kw196$MID

public static final SubLSymbol $kw196$MID

$kw197$EDGE

public static final SubLSymbol $kw197$EDGE

$list198

public static final SubLList $list198

$sym199$GENLS_GATHER_FOCUS_PREDS_OF

public static final SubLSymbol $sym199$GENLS_GATHER_FOCUS_PREDS_OF

Method Detail

fort_name

public static final SubLObject fort_name(SubLObject fort)

declare_kb_paths_file

public static final SubLObject declare_kb_paths_file()

init_kb_paths_file

public static final SubLObject init_kb_paths_file()

setup_kb_paths_file

public static final SubLObject setup_kb_paths_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_paths

me

myName

$kbp_quitP$

$kbp_result_format$

$search_iteration$

$node_equalP$

$kbp_nodeP$

$kbp_linkP$

$kbp_stats$

$collect_kbp_statsP$

$kbp_node_count$

$kbp_link_count$

$kbp_term_count$

$source_term_args$

$target_term_args$

$relevant_node_treeP$

$path_source$

$path_target$

$kbp_searcher$

$kbp_searchers$

$path_horizon$

$kbp_common_nodes$

$path_link_lattice$

$path_node_lattice$

$kbp_ancestor$

$kbp_run_time$

$node_ancestors$

$link_ancestors$

$kbp_depth$

$kbp_nodes$

$kbp_links$

$term_arg$

$kbp_ancestor_hash$

$kbp_search_hash$

$kbp_min_isa_pathP$

$kbp_min_genls_pathP$

$kbp_designated_node_superiorsP$

$kbp_designated_node_superiors$

$kbp_trace_level$

$max_search_iterations$

$limit_path_depthP$

$kbp_max_depth$

$kbp_max_term_count$

$kbp_quit_with_successP$

$kbp_only_gaf_linksP$

$kbp_no_bookkeeping_linksP$

$kbp_no_instance_linksP$

$kbp_no_bi_scoping_linksP$

$kbp_explode_natsP$

$kbp_designated_predsP$

$kbp_designated_preds$

$kbp_restricted_predsP$

$kbp_restricted_preds$

$kbp_restricted_mtsP$

$kbp_restricted_mts$

$kbp_external_link_predP$

$kbp_external_link_pred$

$kbp_genl_boundP$

$kbp_genl_bound$

$kbp_genls_cardinality_delta_boundP$

$kbp_genls_cardinality_delta_bound$

$kbp_isa_boundP$

$kbp_isa_bound$

$kbp_node_isa_boundP$

$kbp_node_isa_bound$

$kbp_restricted_nodes_as_argP$

$kbp_restricted_nodes_as_arg$

$kbp_link_reference_set_boundP$

$kbp_link_reference_set_bound$

$kbp_designated_link_referencesP$

$kbp_designated_link_references$

$kbp_bound_gaf_termsP$

$kbp_bound_gaf_terms$

$kbp_bound_link_termsP$

$kbp_bound_link_terms$

$kbp_use_max_mtsP$

$nodes_accessor_fn$

$path_link_op$

$path_node_op$

com.cyc.cycjava.cycl
Class kb_paths