kb_mapping

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_mapping

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class kb_mapping
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`kb_mapping.$assertion_with_search_term$UnaryFunction`
`static class`	`kb_mapping.$gather_assertions$UnaryFunction`

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

Field Summary
`static SubLObject`	`$const52$EverythingPSC`
`static SubLSymbol`	`$kw17$MAPPING_DONE`
`static SubLSymbol`	`$kw18$GAF`
`static SubLSymbol`	`$kw20$RULE`
`static SubLSymbol`	`$kw36$SKIP`
`static SubLSymbol`	`$kw55$TRUE`
`static SubLList`	`$list0`
`static SubLList`	`$list104`
`static SubLList`	`$list12`
`static SubLList`	`$list22`
`static SubLList`	`$list24`
`static SubLList`	`$list25`
`static SubLList`	`$list28`
`static SubLList`	`$list30`
`static SubLList`	`$list32`
`static SubLList`	`$list38`
`static SubLList`	`$list41`
`static SubLList`	`$list48`
`static SubLList`	`$list5`
`static SubLList`	`$list50`
`static SubLList`	`$list57`
`static SubLList`	`$list59`
`static SubLList`	`$list61`
`static SubLList`	`$list63`
`static SubLList`	`$list66`
`static SubLList`	`$list69`
`static SubLList`	`$list72`
`static SubLList`	`$list74`
`static SubLList`	`$list76`
`static SubLList`	`$list79`
`static SubLList`	`$list8`
`static SubLList`	`$list86`
`static SubLList`	`$list89`
`static SubLList`	`$list92`
`static SubLList`	`$list99`
`static SubLString`	`$str100$Return_a_list_of_all_assertions_s`
`static SubLString`	`$str102$Return_a_list_of_other_assertions`
`static SubLString`	`$str105$Return_a_list_of_all_mt_relevant_`
`static SubLString`	`$str23$Apply_FUNCTION_to_each_assertion_`
`static SubLString`	`$str29$Apply_FUNCTION_to_each_assertion_`
`static SubLString`	`$str33$Apply_FUNCTION_to_every_gaf_index`
`static SubLString`	`$str34$mapping_broad_mt_index`
`static SubLString`	`$str39$Apply_FUNCTION_to_each_assertion_`
`static SubLString`	`$str42$Apply_FUNCTION_to_each_assertion_`
`static SubLString`	`$str44$Apply_FUNCTION_to_each_assertion_`
`static SubLString`	`$str45$So_don_t_`
`static SubLString`	`$str46$Can_t_gather_unknown_auxiliary_in`
`static SubLString`	`$str49$Return_a_list_of_all_mt_relevant_`
`static SubLString`	`$str54$Return_a_list_of_all_assertions_i`
`static SubLString`	`$str58$Return_a_list_of_all_gaf_assertio`
`static SubLString`	`$str64$Return_a_list_of_all___termOfUnit`
`static SubLString`	`$str67$Return_a_list_of_all_gaf_assertio`
`static SubLString`	`$str70$Return_a_list_of_all___termOfUnit`
`static SubLString`	`$str73$Return_a_list_of_all_non_gaf_asse`
`static SubLString`	`$str77$Return_a_list_of_all_non_gaf_asse`
`static SubLString`	`$str80$Return_a_list_of_all_non_gaf_asse`
`static SubLString`	`$str82$Return_a_list_of_all_non_gaf_asse`
`static SubLString`	`$str84$Return_a_list_of_all_non_gaf_asse`
`static SubLString`	`$str87$Return_a_list_of_all_non_gaf_asse`
`static SubLString`	`$str90$Return_a_list_of_all_non_gaf_asse`
`static SubLString`	`$str93$Return_a_list_of_all_non_gaf_asse`
`static SubLString`	`$str95$Return_a_list_of_all_non_gaf_asse`
`static SubLSymbol`	`$sym1$PRED`
`static SubLSymbol`	`$sym10$COR`
`static SubLSymbol`	`$sym101$GATHER_OTHER_INDEX`
`static SubLSymbol`	`$sym103$GATHER_TERM_ASSERTIONS`
`static SubLSymbol`	`$sym106$FORT_P`
`static SubLSymbol`	`$sym107$GATHER_META_ASSERTIONS`
`static SubLSymbol`	`$sym11$NULL`
`static SubLSymbol`	`$sym13$DO_FINAL_INDEX`
`static SubLSymbol`	`$sym14$ASSERTION_MATCHES_TRUTH_`
`static SubLSymbol`	`$sym15$FUNCTION_SPEC_P`
`static SubLSymbol`	`$sym16$POSITIVE_INTEGER_P`
`static SubLSymbol`	`$sym19$SENSE_P`
`static SubLSymbol`	`$sym2$DO_INTERMEDIATE_INDEX`
`static SubLSymbol`	`$sym21$MAP_TERM`
`static SubLSymbol`	`$sym26$MAP_TERM_SELECTIVE_INTERNAL`
`static SubLSymbol`	`$sym27$MAP_TERM_SELECTIVE`
`static SubLSymbol`	`$sym3$PWHEN`
`static SubLSymbol`	`$sym31$MAP_TERM_GAFS`
`static SubLSymbol`	`$sym35$STRINGP`
`static SubLSymbol`	`$sym37$MAP_MT_CONTENTS`
`static SubLSymbol`	`$sym4$RELEVANT_PRED_`
`static SubLSymbol`	`$sym40$MAP_MT_INDEX`
`static SubLSymbol`	`$sym43$MAP_OTHER_INDEX`
`static SubLSymbol`	`$sym47$GATHER_INDEX`
`static SubLSymbol`	`$sym51$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym53$GATHER_INDEX_IN_ANY_MT`
`static SubLSymbol`	`$sym56$GATHER_GAF_ARG_INDEX`
`static SubLSymbol`	`$sym6$MT`
`static SubLSymbol`	`$sym60$GATHER_GAF_ARG_INDEX_WITH_PREDICATE`
`static SubLSymbol`	`$sym62$GATHER_NART_ARG_INDEX`
`static SubLSymbol`	`$sym65$GATHER_PREDICATE_EXTENT_INDEX`
`static SubLSymbol`	`$sym68$GATHER_FUNCTION_EXTENT_INDEX`
`static SubLSymbol`	`$sym7$RELEVANT_MT_`
`static SubLSymbol`	`$sym71$GATHER_PREDICATE_RULE_INDEX`
`static SubLSymbol`	`$sym75$GATHER_DECONTEXTUALIZED_IST_PREDICATE_RULE_INDEX`
`static SubLSymbol`	`$sym78$GATHER_ISA_RULE_INDEX`
`static SubLSymbol`	`$sym81$GATHER_QUOTED_ISA_RULE_INDEX`
`static SubLSymbol`	`$sym83$GATHER_GENLS_RULE_INDEX`
`static SubLSymbol`	`$sym85$GATHER_GENL_MT_RULE_INDEX`
`static SubLSymbol`	`$sym88$GATHER_FUNCTION_RULE_INDEX`
`static SubLSymbol`	`$sym9$CANDIDATE_DIRECTION`
`static SubLSymbol`	`$sym91$GATHER_EXCEPTION_RULE_INDEX`
`static SubLSymbol`	`$sym94$GATHER_PRAGMA_RULE_INDEX`
`static SubLSymbol`	`$sym96$RELEVANT_MT_IS_EQ`
`static SubLSymbol`	`$sym97$GATHER_ASSERTIONS`
`static SubLSymbol`	`$sym98$GATHER_MT_INDEX`
`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_mapping_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`gather_assertions(SubLObject assertion)`
`static SubLObject`	`gather_decontextualized_ist_predicate_rule_index(SubLObject pred, SubLObject sense, SubLObject direction)` Return a list of all non-gaf assertions (rules) such that: a) if SENSE is :pos, it has PRED as a predicate in a positive literal wrapped in #$ist b) if SENSE is :neg, it has PRED as a predicate in a negative literal wrapped in #$ist c) if DIRECTION is non-nil, then DIRECTION must be its direction.
`static SubLObject`	`gather_exception_rule_index(SubLObject rule, SubLObject mt, SubLObject direction)` Return a list of all non-gaf assertions (rules) such that: a) it has a positive literal of the form (abnormal RULE) b) if MT is non-nil, then MT must be its microtheory c) if DIRECTION is non-nil, then DIRECTION must be its direction.
`static SubLObject`	`gather_function_extent_index(SubLObject func)` Return a list of all #$termOfUnit assertions such that: FUNC is the functor of the naut arg2.
`static SubLObject`	`gather_function_rule_index(SubLObject func, SubLObject mt, SubLObject direction)` Return a list of all non-gaf assertions (rules) such that: a) it has a negative literal of the form (termOfUnit (FUNC .
`static SubLObject`	`gather_gaf_arg_index(SubLObject v_term, SubLObject argnum, SubLObject pred, SubLObject mt, SubLObject truth)` Return a list of all gaf assertions such that: a) TERM is its ARGNUMth argument b) if TRUTH is non-nil, then TRUTH is its truth value c) if PRED is non-nil, then PRED must be its predicate d) if MT is non-nil, then MT must be its microtheory (and PRED must be non-nil).
`static SubLObject`	`gather_genl_mt_rule_index(SubLObject genl_mt, SubLObject sense, SubLObject rule_mt, SubLObject direction)` Return a list of all non-gaf assertions (rules) such that: a) if SENSE is :pos, it has a positive literal of the form (genlMt GENL-MT) b) if SENSE is :neg, it has a negative literal of the form (genlMt GENL-MT) c) if RULE-MT is non-nil, then RULE-MT must be its microtheory d) if DIRECTION is non-nil, then DIRECTION must be its direction.
`static SubLObject`	`gather_genls_rule_index(SubLObject collection, SubLObject sense, SubLObject mt, SubLObject direction)` Return a list of all non-gaf assertions (rules) such that: a) if SENSE is :pos, it has a positive literal of the form (genls COLLECTION) b) if SENSE is :neg, it has a negative literal of the form (genls COLLECTION) c) if MT is non-nil, then MT must be its microtheory d) if DIRECTION is non-nil, then DIRECTION must be its direction.
`static SubLObject`	`gather_index_in_any_mt(SubLObject v_term, SubLObject remove_duplicatesP)` Return a list of all assertions indexed via TERM.
`static SubLObject`	`gather_index(SubLObject v_term, SubLObject remove_duplicatesP)` Return a list of all mt-relevant assertions indexed via TERM.
`static SubLObject`	`gather_isa_rule_index(SubLObject collection, SubLObject sense, SubLObject mt, SubLObject direction)` Return a list of all non-gaf assertions (rules) such that: a) if SENSE is :pos, it has a positive literal of the form (isa COLLECTION) b) if SENSE is :neg, it has a negative literal of the form (isa COLLECTION) c) if MT is non-nil, then MT must be its microtheory d) if DIRECTION is non-nil, then DIRECTION must be its direction.
`static SubLObject`	`gather_mt_index(SubLObject v_term)` Return a list of all assertions such that TERM is its microtheory.
`static SubLObject`	`gather_other_index(SubLObject v_term)` Return a list of other assertions mentioning TERM but not indexed in any other more useful manner.
`static SubLObject`	`gather_pragma_rule_index(SubLObject rule, SubLObject mt, SubLObject direction)` Return a list of all non-gaf assertions (rules) such that: a) it has a positive literal of the form (meetsPragmaticRequirement RULE) b) if MT is non-nil, then MT must be its microtheory c) if DIRECTION is non-nil, then DIRECTION must be its direction.
`static SubLObject`	`gather_predicate_extent_index(SubLObject pred, SubLObject mt, SubLObject truth)` Return a list of all gaf assertions such that: a) PRED is its predicate b) if TRUTH is non-nil, then TRUTH is its truth value c) if MT is non-nil, then MT must be its microtheory.
`static SubLObject`	`gather_predicate_rule_index(SubLObject pred, SubLObject sense, SubLObject mt, SubLObject direction)` Return a list of all non-gaf assertions (rules) such that: a) if SENSE is :pos, it has PRED as a predicate in a positive literal b) if SENSE is :neg, it has PRED as a predicate in a negative literal c) if MT is non-nil, then MT must be its microtheory d) if DIRECTION is non-nil, then DIRECTION must be its direction.
`static SubLObject`	`gather_quoted_isa_rule_index(SubLObject collection, SubLObject sense, SubLObject mt, SubLObject direction)` Return a list of all non-gaf assertions (rules) such that: a) if SENSE is :pos, it has a positive literal of the form (quotedIsa COLLECTION) b) if SENSE is :neg, it has a negative literal of the form (quotedIsa COLLECTION) c) if MT is non-nil, then MT must be its microtheory d) if DIRECTION is non-nil, then DIRECTION must be its direction.
`static SubLObject`	`init_kb_mapping_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`map_mt_contents(SubLObject function, SubLObject v_term, SubLObject truth, SubLObject gafs_only)` Apply FUNCTION to each assertion with TRUTH in MT TERM.
`static SubLObject`	`map_mt_index(SubLObject function, SubLObject mt, SubLObject truth, SubLObject gafs_only)` Apply FUNCTION to each assertion with TRUTH at mt index MT.
`static SubLObject`	`map_nart_arg_index(SubLObject subl_function, SubLObject v_term, SubLObject argnum, SubLObject cycl_function)` Apply FUNCTION to each #$termOfUnit assertion whose arg2 is a naut which mentions TERM in position ARGNUM.
`static SubLObject`	`map_other_index(SubLObject function, SubLObject v_term, SubLObject truth, SubLObject gafs_only)` Apply FUNCTION to each assertion with TRUTH at other index TERM.
`static SubLObject`	`map_predicate_rule_index(SubLObject function, SubLObject pred, SubLObject sense, SubLObject direction, SubLObject mt)` Apply FUNCTION to each rule assertion which contains a SENSE-lit with predicate PRED and has direction DIRECTION.
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_kb_mapping_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

$list0

public static final SubLList $list0

$sym1$PRED

public static final SubLSymbol $sym1$PRED

$sym2$DO_INTERMEDIATE_INDEX

public static final SubLSymbol $sym2$DO_INTERMEDIATE_INDEX

$sym3$PWHEN

public static final SubLSymbol $sym3$PWHEN

$sym4$RELEVANT_PRED_

public static final SubLSymbol $sym4$RELEVANT_PRED_

$list5

public static final SubLList $list5

$sym6$MT

public static final SubLSymbol $sym6$MT

$sym7$RELEVANT_MT_

public static final SubLSymbol $sym7$RELEVANT_MT_

$list8

public static final SubLList $list8

$sym9$CANDIDATE_DIRECTION

public static final SubLSymbol $sym9$CANDIDATE_DIRECTION

$sym10$COR

public static final SubLSymbol $sym10$COR

$sym11$NULL

public static final SubLSymbol $sym11$NULL

$list12

public static final SubLList $list12

$sym13$DO_FINAL_INDEX

public static final SubLSymbol $sym13$DO_FINAL_INDEX

$sym14$ASSERTION_MATCHES_TRUTH_

public static final SubLSymbol $sym14$ASSERTION_MATCHES_TRUTH_

$sym15$FUNCTION_SPEC_P

public static final SubLSymbol $sym15$FUNCTION_SPEC_P

$sym16$POSITIVE_INTEGER_P

public static final SubLSymbol $sym16$POSITIVE_INTEGER_P

$kw17$MAPPING_DONE

public static final SubLSymbol $kw17$MAPPING_DONE

$kw18$GAF

public static final SubLSymbol $kw18$GAF

$sym19$SENSE_P

public static final SubLSymbol $sym19$SENSE_P

$kw20$RULE

public static final SubLSymbol $kw20$RULE

$sym21$MAP_TERM

public static final SubLSymbol $sym21$MAP_TERM

$list22

public static final SubLList $list22

$str23$Apply_FUNCTION_to_each_assertion_

public static final SubLString $str23$Apply_FUNCTION_to_each_assertion_

$list24

public static final SubLList $list24

$list25

public static final SubLList $list25

$sym26$MAP_TERM_SELECTIVE_INTERNAL

public static final SubLSymbol $sym26$MAP_TERM_SELECTIVE_INTERNAL

$sym27$MAP_TERM_SELECTIVE

public static final SubLSymbol $sym27$MAP_TERM_SELECTIVE

$list28

public static final SubLList $list28

$str29$Apply_FUNCTION_to_each_assertion_

public static final SubLString $str29$Apply_FUNCTION_to_each_assertion_

$list30

public static final SubLList $list30

$sym31$MAP_TERM_GAFS

public static final SubLSymbol $sym31$MAP_TERM_GAFS

$list32

public static final SubLList $list32

$str33$Apply_FUNCTION_to_every_gaf_index

public static final SubLString $str33$Apply_FUNCTION_to_every_gaf_index

$str34$mapping_broad_mt_index

public static final SubLString $str34$mapping_broad_mt_index

$sym35$STRINGP

public static final SubLSymbol $sym35$STRINGP

$kw36$SKIP

public static final SubLSymbol $kw36$SKIP

$sym37$MAP_MT_CONTENTS

public static final SubLSymbol $sym37$MAP_MT_CONTENTS

$list38

public static final SubLList $list38

$str39$Apply_FUNCTION_to_each_assertion_

public static final SubLString $str39$Apply_FUNCTION_to_each_assertion_

$sym40$MAP_MT_INDEX

public static final SubLSymbol $sym40$MAP_MT_INDEX

$list41

public static final SubLList $list41

$str42$Apply_FUNCTION_to_each_assertion_

public static final SubLString $str42$Apply_FUNCTION_to_each_assertion_

$sym43$MAP_OTHER_INDEX

public static final SubLSymbol $sym43$MAP_OTHER_INDEX

$str44$Apply_FUNCTION_to_each_assertion_

public static final SubLString $str44$Apply_FUNCTION_to_each_assertion_

$str45$So_don_t_

public static final SubLString $str45$So_don_t_

$str46$Can_t_gather_unknown_auxiliary_in

public static final SubLString $str46$Can_t_gather_unknown_auxiliary_in

$sym47$GATHER_INDEX

public static final SubLSymbol $sym47$GATHER_INDEX

$list48

public static final SubLList $list48

$str49$Return_a_list_of_all_mt_relevant_

public static final SubLString $str49$Return_a_list_of_all_mt_relevant_

$list50

public static final SubLList $list50

$sym51$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym51$RELEVANT_MT_IS_EVERYTHING

$const52$EverythingPSC

public static final SubLObject $const52$EverythingPSC

$sym53$GATHER_INDEX_IN_ANY_MT

public static final SubLSymbol $sym53$GATHER_INDEX_IN_ANY_MT

$str54$Return_a_list_of_all_assertions_i

public static final SubLString $str54$Return_a_list_of_all_assertions_i

$kw55$TRUE

public static final SubLSymbol $kw55$TRUE

$sym56$GATHER_GAF_ARG_INDEX

public static final SubLSymbol $sym56$GATHER_GAF_ARG_INDEX

$list57

public static final SubLList $list57

$str58$Return_a_list_of_all_gaf_assertio

public static final SubLString $str58$Return_a_list_of_all_gaf_assertio

$list59

public static final SubLList $list59

$sym60$GATHER_GAF_ARG_INDEX_WITH_PREDICATE

public static final SubLSymbol $sym60$GATHER_GAF_ARG_INDEX_WITH_PREDICATE

$list61

public static final SubLList $list61

$sym62$GATHER_NART_ARG_INDEX

public static final SubLSymbol $sym62$GATHER_NART_ARG_INDEX

$list63

public static final SubLList $list63

$str64$Return_a_list_of_all___termOfUnit

public static final SubLString $str64$Return_a_list_of_all___termOfUnit

$sym65$GATHER_PREDICATE_EXTENT_INDEX

public static final SubLSymbol $sym65$GATHER_PREDICATE_EXTENT_INDEX

$list66

public static final SubLList $list66

$str67$Return_a_list_of_all_gaf_assertio

public static final SubLString $str67$Return_a_list_of_all_gaf_assertio

$sym68$GATHER_FUNCTION_EXTENT_INDEX

public static final SubLSymbol $sym68$GATHER_FUNCTION_EXTENT_INDEX

$list69

public static final SubLList $list69

$str70$Return_a_list_of_all___termOfUnit

public static final SubLString $str70$Return_a_list_of_all___termOfUnit

$sym71$GATHER_PREDICATE_RULE_INDEX

public static final SubLSymbol $sym71$GATHER_PREDICATE_RULE_INDEX

$list72

public static final SubLList $list72

$str73$Return_a_list_of_all_non_gaf_asse

public static final SubLString $str73$Return_a_list_of_all_non_gaf_asse

$list74

public static final SubLList $list74

$sym75$GATHER_DECONTEXTUALIZED_IST_PREDICATE_RULE_INDEX

public static final SubLSymbol $sym75$GATHER_DECONTEXTUALIZED_IST_PREDICATE_RULE_INDEX

$list76

public static final SubLList $list76

$str77$Return_a_list_of_all_non_gaf_asse

public static final SubLString $str77$Return_a_list_of_all_non_gaf_asse

$sym78$GATHER_ISA_RULE_INDEX

public static final SubLSymbol $sym78$GATHER_ISA_RULE_INDEX

$list79

public static final SubLList $list79

$str80$Return_a_list_of_all_non_gaf_asse

public static final SubLString $str80$Return_a_list_of_all_non_gaf_asse

$sym81$GATHER_QUOTED_ISA_RULE_INDEX

public static final SubLSymbol $sym81$GATHER_QUOTED_ISA_RULE_INDEX

$str82$Return_a_list_of_all_non_gaf_asse

public static final SubLString $str82$Return_a_list_of_all_non_gaf_asse

$sym83$GATHER_GENLS_RULE_INDEX

public static final SubLSymbol $sym83$GATHER_GENLS_RULE_INDEX

$str84$Return_a_list_of_all_non_gaf_asse

public static final SubLString $str84$Return_a_list_of_all_non_gaf_asse

$sym85$GATHER_GENL_MT_RULE_INDEX

public static final SubLSymbol $sym85$GATHER_GENL_MT_RULE_INDEX

$list86

public static final SubLList $list86

$str87$Return_a_list_of_all_non_gaf_asse

public static final SubLString $str87$Return_a_list_of_all_non_gaf_asse

$sym88$GATHER_FUNCTION_RULE_INDEX

public static final SubLSymbol $sym88$GATHER_FUNCTION_RULE_INDEX

$list89

public static final SubLList $list89

$str90$Return_a_list_of_all_non_gaf_asse

public static final SubLString $str90$Return_a_list_of_all_non_gaf_asse

$sym91$GATHER_EXCEPTION_RULE_INDEX

public static final SubLSymbol $sym91$GATHER_EXCEPTION_RULE_INDEX

$list92

public static final SubLList $list92

$str93$Return_a_list_of_all_non_gaf_asse

public static final SubLString $str93$Return_a_list_of_all_non_gaf_asse

$sym94$GATHER_PRAGMA_RULE_INDEX

public static final SubLSymbol $sym94$GATHER_PRAGMA_RULE_INDEX

$str95$Return_a_list_of_all_non_gaf_asse

public static final SubLString $str95$Return_a_list_of_all_non_gaf_asse

$sym96$RELEVANT_MT_IS_EQ

public static final SubLSymbol $sym96$RELEVANT_MT_IS_EQ

$sym97$GATHER_ASSERTIONS

public static final SubLSymbol $sym97$GATHER_ASSERTIONS

$sym98$GATHER_MT_INDEX

public static final SubLSymbol $sym98$GATHER_MT_INDEX

$list99

public static final SubLList $list99

$str100$Return_a_list_of_all_assertions_s

public static final SubLString $str100$Return_a_list_of_all_assertions_s

$sym101$GATHER_OTHER_INDEX

public static final SubLSymbol $sym101$GATHER_OTHER_INDEX

$str102$Return_a_list_of_other_assertions

public static final SubLString $str102$Return_a_list_of_other_assertions

$sym103$GATHER_TERM_ASSERTIONS

public static final SubLSymbol $sym103$GATHER_TERM_ASSERTIONS

$list104

public static final SubLList $list104

$str105$Return_a_list_of_all_mt_relevant_

public static final SubLString $str105$Return_a_list_of_all_mt_relevant_

$sym106$FORT_P

public static final SubLSymbol $sym106$FORT_P

$sym107$GATHER_META_ASSERTIONS

public static final SubLSymbol $sym107$GATHER_META_ASSERTIONS

Method Detail

map_nart_arg_index

public static final SubLObject map_nart_arg_index(SubLObject subl_function,
                                                  SubLObject v_term,
                                                  SubLObject argnum,
                                                  SubLObject cycl_function)

Apply FUNCTION to each #$termOfUnit assertion whose arg2 is a naut which mentions TERM in position ARGNUM.

map_predicate_rule_index

public static final SubLObject map_predicate_rule_index(SubLObject function,
                                                        SubLObject pred,
                                                        SubLObject sense,
                                                        SubLObject direction,
                                                        SubLObject mt)

Apply FUNCTION to each rule assertion which contains a SENSE-lit with predicate PRED and has direction DIRECTION. If DIRECTION is NIL, assertions are not filtered based on direction.

map_mt_contents

public static final SubLObject map_mt_contents(SubLObject function,
                                               SubLObject v_term,
                                               SubLObject truth,
                                               SubLObject gafs_only)

Apply FUNCTION to each assertion with TRUTH in MT TERM. If TRUTH is nil, all assertions are mapped. If GAFS-ONLY, then only gafs are mapped.

map_mt_index

public static final SubLObject map_mt_index(SubLObject function,
                                            SubLObject mt,
                                            SubLObject truth,
                                            SubLObject gafs_only)

Apply FUNCTION to each assertion with TRUTH at mt index MT. If TRUTH is nil, all assertions are mapped. If GAFS-ONLY, then only gafs are mapped.

map_other_index

public static final SubLObject map_other_index(SubLObject function,
                                               SubLObject v_term,
                                               SubLObject truth,
                                               SubLObject gafs_only)

Apply FUNCTION to each assertion with TRUTH at other index TERM. If TRUTH is nil, all assertions are mapped. If GAFS-ONLY, then only gafs are mapped.

gather_index

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

Return a list of all mt-relevant assertions indexed via TERM. If REMOVE-DUPLICATES? is non-nil, assertions are guaranteed to only be listed once.

gather_index_in_any_mt

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

Return a list of all assertions indexed via TERM. If REMOVE-DUPLICATES? is non-nil, assertions are guaranteed to only be listed once.

gather_gaf_arg_index

public static final SubLObject gather_gaf_arg_index(SubLObject v_term,
                                                    SubLObject argnum,
                                                    SubLObject pred,
                                                    SubLObject mt,
                                                    SubLObject truth)

Return a list of all gaf assertions such that: a) TERM is its ARGNUMth argument b) if TRUTH is non-nil, then TRUTH is its truth value c) if PRED is non-nil, then PRED must be its predicate d) if MT is non-nil, then MT must be its microtheory (and PRED must be non-nil).

gather_predicate_extent_index

public static final SubLObject gather_predicate_extent_index(SubLObject pred,
                                                             SubLObject mt,
                                                             SubLObject truth)

Return a list of all gaf assertions such that: a) PRED is its predicate b) if TRUTH is non-nil, then TRUTH is its truth value c) if MT is non-nil, then MT must be its microtheory.

gather_function_extent_index

public static final SubLObject gather_function_extent_index(SubLObject func)

Return a list of all #$termOfUnit assertions such that: FUNC is the functor of the naut arg2.

gather_predicate_rule_index

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

Return a list of all non-gaf assertions (rules) such that: a) if SENSE is :pos, it has PRED as a predicate in a positive literal b) if SENSE is :neg, it has PRED as a predicate in a negative literal c) if MT is non-nil, then MT must be its microtheory d) if DIRECTION is non-nil, then DIRECTION must be its direction.

gather_decontextualized_ist_predicate_rule_index

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

Return a list of all non-gaf assertions (rules) such that: a) if SENSE is :pos, it has PRED as a predicate in a positive literal wrapped in #$ist b) if SENSE is :neg, it has PRED as a predicate in a negative literal wrapped in #$ist c) if DIRECTION is non-nil, then DIRECTION must be its direction.

gather_isa_rule_index

public static final SubLObject gather_isa_rule_index(SubLObject collection,
                                                     SubLObject sense,
                                                     SubLObject mt,
                                                     SubLObject direction)

Return a list of all non-gaf assertions (rules) such that: a) if SENSE is :pos, it has a positive literal of the form (isa COLLECTION) b) if SENSE is :neg, it has a negative literal of the form (isa COLLECTION) c) if MT is non-nil, then MT must be its microtheory d) if DIRECTION is non-nil, then DIRECTION must be its direction.

gather_quoted_isa_rule_index

public static final SubLObject gather_quoted_isa_rule_index(SubLObject collection,
                                                            SubLObject sense,
                                                            SubLObject mt,
                                                            SubLObject direction)

Return a list of all non-gaf assertions (rules) such that: a) if SENSE is :pos, it has a positive literal of the form (quotedIsa COLLECTION) b) if SENSE is :neg, it has a negative literal of the form (quotedIsa COLLECTION) c) if MT is non-nil, then MT must be its microtheory d) if DIRECTION is non-nil, then DIRECTION must be its direction.

gather_genls_rule_index

public static final SubLObject gather_genls_rule_index(SubLObject collection,
                                                       SubLObject sense,
                                                       SubLObject mt,
                                                       SubLObject direction)

Return a list of all non-gaf assertions (rules) such that: a) if SENSE is :pos, it has a positive literal of the form (genls COLLECTION) b) if SENSE is :neg, it has a negative literal of the form (genls COLLECTION) c) if MT is non-nil, then MT must be its microtheory d) if DIRECTION is non-nil, then DIRECTION must be its direction.

gather_genl_mt_rule_index

public static final SubLObject gather_genl_mt_rule_index(SubLObject genl_mt,
                                                         SubLObject sense,
                                                         SubLObject rule_mt,
                                                         SubLObject direction)

Return a list of all non-gaf assertions (rules) such that: a) if SENSE is :pos, it has a positive literal of the form (genlMt GENL-MT) b) if SENSE is :neg, it has a negative literal of the form (genlMt GENL-MT) c) if RULE-MT is non-nil, then RULE-MT must be its microtheory d) if DIRECTION is non-nil, then DIRECTION must be its direction.

gather_function_rule_index

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

Return a list of all non-gaf assertions (rules) such that: a) it has a negative literal of the form (termOfUnit (FUNC . )) b) if MT is non-nil, then MT must be its microtheory c) if DIRECTION is non-nil, then DIRECTION must be its direction.

gather_exception_rule_index

public static final SubLObject gather_exception_rule_index(SubLObject rule,
                                                           SubLObject mt,
                                                           SubLObject direction)

Return a list of all non-gaf assertions (rules) such that: a) it has a positive literal of the form (abnormal RULE) b) if MT is non-nil, then MT must be its microtheory c) if DIRECTION is non-nil, then DIRECTION must be its direction.

gather_pragma_rule_index

public static final SubLObject gather_pragma_rule_index(SubLObject rule,
                                                        SubLObject mt,
                                                        SubLObject direction)

Return a list of all non-gaf assertions (rules) such that: a) it has a positive literal of the form (meetsPragmaticRequirement RULE) b) if MT is non-nil, then MT must be its microtheory c) if DIRECTION is non-nil, then DIRECTION must be its direction.

gather_mt_index

public static final SubLObject gather_mt_index(SubLObject v_term)

Return a list of all assertions such that TERM is its microtheory.

gather_other_index

public static final SubLObject gather_other_index(SubLObject v_term)

Return a list of other assertions mentioning TERM but not indexed in any other more useful manner.

gather_assertions

public static final SubLObject gather_assertions(SubLObject assertion)

declare_kb_mapping_file

public static final SubLObject declare_kb_mapping_file()

init_kb_mapping_file

public static final SubLObject init_kb_mapping_file()

setup_kb_mapping_file

public static final SubLObject setup_kb_mapping_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_mapping

me

myName

$list0

$sym1$PRED

$sym2$DO_INTERMEDIATE_INDEX

$sym3$PWHEN

$sym4$RELEVANT_PRED_

$list5

$sym6$MT

$sym7$RELEVANT_MT_

$list8

$sym9$CANDIDATE_DIRECTION

$sym10$COR

$sym11$NULL

$list12

$sym13$DO_FINAL_INDEX

$sym14$ASSERTION_MATCHES_TRUTH_

$sym15$FUNCTION_SPEC_P

$sym16$POSITIVE_INTEGER_P

$kw17$MAPPING_DONE

$kw18$GAF

$sym19$SENSE_P

$kw20$RULE

$sym21$MAP_TERM

$list22

$str23$Apply_FUNCTION_to_each_assertion_

$list24

$list25

$sym26$MAP_TERM_SELECTIVE_INTERNAL

$sym27$MAP_TERM_SELECTIVE

$list28

$str29$Apply_FUNCTION_to_each_assertion_

$list30

$sym31$MAP_TERM_GAFS

$list32

$str33$Apply_FUNCTION_to_every_gaf_index

$str34$mapping_broad_mt_index

$sym35$STRINGP

$kw36$SKIP

$sym37$MAP_MT_CONTENTS

$list38

$str39$Apply_FUNCTION_to_each_assertion_

$sym40$MAP_MT_INDEX

$list41

$str42$Apply_FUNCTION_to_each_assertion_

$sym43$MAP_OTHER_INDEX

$str44$Apply_FUNCTION_to_each_assertion_

$str45$So_don_t_

$str46$Can_t_gather_unknown_auxiliary_in

$sym47$GATHER_INDEX

$list48

$str49$Return_a_list_of_all_mt_relevant_

$list50

$sym51$RELEVANT_MT_IS_EVERYTHING

$const52$EverythingPSC

$sym53$GATHER_INDEX_IN_ANY_MT

$str54$Return_a_list_of_all_assertions_i

$kw55$TRUE

$sym56$GATHER_GAF_ARG_INDEX

$list57

$str58$Return_a_list_of_all_gaf_assertio

$list59

$sym60$GATHER_GAF_ARG_INDEX_WITH_PREDICATE

$list61

$sym62$GATHER_NART_ARG_INDEX

$list63

$str64$Return_a_list_of_all___termOfUnit

$sym65$GATHER_PREDICATE_EXTENT_INDEX

$list66

$str67$Return_a_list_of_all_gaf_assertio

$sym68$GATHER_FUNCTION_EXTENT_INDEX

$list69

$str70$Return_a_list_of_all___termOfUnit

$sym71$GATHER_PREDICATE_RULE_INDEX

$list72

$str73$Return_a_list_of_all_non_gaf_asse

$list74

$sym75$GATHER_DECONTEXTUALIZED_IST_PREDICATE_RULE_INDEX

$list76

com.cyc.cycjava.cycl
Class kb_mapping