kb_mapping_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_mapping_utilities

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class kb_mapping_utilities
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary

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

Field Summary
`static SubLObject`	`$const24$EverythingPSC`
`static SubLSymbol`	`$kw0$TRUE`
`static SubLSymbol`	`$kw5$GAF`
`static SubLList`	`$list10`
`static SubLList`	`$list100`
`static SubLList`	`$list101`
`static SubLList`	`$list103`
`static SubLList`	`$list105`
`static SubLList`	`$list107`
`static SubLList`	`$list109`
`static SubLList`	`$list113`
`static SubLList`	`$list14`
`static SubLList`	`$list16`
`static SubLList`	`$list20`
`static SubLList`	`$list22`
`static SubLList`	`$list28`
`static SubLList`	`$list32`
`static SubLList`	`$list34`
`static SubLList`	`$list35`
`static SubLList`	`$list37`
`static SubLList`	`$list39`
`static SubLList`	`$list41`
`static SubLList`	`$list43`
`static SubLList`	`$list47`
`static SubLList`	`$list51`
`static SubLList`	`$list61`
`static SubLList`	`$list63`
`static SubLList`	`$list65`
`static SubLList`	`$list67`
`static SubLList`	`$list69`
`static SubLList`	`$list7`
`static SubLList`	`$list71`
`static SubLList`	`$list75`
`static SubLList`	`$list79`
`static SubLList`	`$list81`
`static SubLList`	`$list83`
`static SubLList`	`$list85`
`static SubLList`	`$list87`
`static SubLList`	`$list89`
`static SubLList`	`$list9`
`static SubLList`	`$list93`
`static SubLList`	`$list98`
`static SubLString`	`$str104$Find_all_gaf_assertions_such_that`
`static SubLString`	`$str108$Find_all_gaf_assertions_such_that`
`static SubLString`	`$str111$Find_all_gaf_assertions_such_that`
`static SubLString`	`$str114$If_MT_is_NIL__behaves_like_PRED_V`
`static SubLString`	`$str15$Find_the_first_gaf_assertion_such`
`static SubLString`	`$str21$Find_the_first_gaf_assertion_such`
`static SubLString`	`$str26$Find_the_first_gaf_assertion_such`
`static SubLString`	`$str29$If_MT_is_NIL__behaves_like_SOME_P`
`static SubLString`	`$str33$Find_the_first_gaf_assertion_such`
`static SubLString`	`$str38$Find_the_first_gaf_assertion_such`
`static SubLString`	`$str42$Find_the_first_gaf_assertion_such`
`static SubLString`	`$str45$Find_the_first_gaf_assertion_such`
`static SubLString`	`$str48$If_MT_is_NIL__behaves_like_FPRED_`
`static SubLString`	`$str50$Find_all_gaf_assertions_such_that`
`static SubLString`	`$str53$Find_all_gaf_assertions_such_that`
`static SubLString`	`$str55$Find_all_gaf_assertions_such_that`
`static SubLString`	`$str57$Find_all_gaf_assertions_such_that`
`static SubLString`	`$str59$If_MT_is_NIL__behaves_like_PRED_V`
`static SubLString`	`$str62$Find_all_gaf_assertions_such_that`
`static SubLString`	`$str66$Find_all_gaf_assertions_such_that`
`static SubLString`	`$str70$Find_all_gaf_assertions_such_that`
`static SubLString`	`$str73$Find_all_gaf_assertions_such_that`
`static SubLString`	`$str76$If_MT_is_NIL__behaves_like_PRED_R`
`static SubLString`	`$str8$Find_the_first_gaf_assertion_such`
`static SubLString`	`$str80$Find_the_first_gaf_assertion_such`
`static SubLString`	`$str84$Find_the_first_gaf_assertion_such`
`static SubLString`	`$str88$Find_the_first_gaf_assertion_such`
`static SubLString`	`$str91$Find_the_first_gaf_assertion_such`
`static SubLString`	`$str94$If_MT_is_NIL__behaves_like_PRED_U`
`static SubLString`	`$str96$_S_is_not_a_valid_arg_position_li`
`static SubLString`	`$str99$Find_all_gaf_assertions_such_that`
`static SubLSymbol`	`$sym1$INDEXED_TERM_P`
`static SubLSymbol`	`$sym102$PRED_VALUE_TUPLES_IN_MT`
`static SubLSymbol`	`$sym106$PRED_VALUE_TUPLES_IN_MTS`
`static SubLSymbol`	`$sym11$HLMT_P`
`static SubLSymbol`	`$sym110$PRED_VALUE_TUPLES_IN_ANY_MT`
`static SubLSymbol`	`$sym112$PRED_VALUE_TUPLES_IN_RELEVANT_MTS`
`static SubLSymbol`	`$sym12$RELEVANT_MT_IS_EQ`
`static SubLSymbol`	`$sym13$SOME_PRED_VALUE_IN_MT`
`static SubLSymbol`	`$sym17$LISTP`
`static SubLSymbol`	`$sym18$RELEVANT_MT_IS_IN_LIST`
`static SubLSymbol`	`$sym19$SOME_PRED_VALUE_IN_MTS`
`static SubLSymbol`	`$sym2$FORT_P`
`static SubLSymbol`	`$sym23$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym25$SOME_PRED_VALUE_IN_ANY_MT`
`static SubLSymbol`	`$sym27$SOME_PRED_VALUE_IN_RELEVANT_MTS`
`static SubLSymbol`	`$sym3$INTEGERP`
`static SubLSymbol`	`$sym30$FUNCTION_SPEC_P`
`static SubLSymbol`	`$sym31$FPRED_VALUE`
`static SubLSymbol`	`$sym36$FPRED_VALUE_IN_MT`
`static SubLSymbol`	`$sym4$TRUTH_P`
`static SubLSymbol`	`$sym40$FPRED_VALUE_IN_MTS`
`static SubLSymbol`	`$sym44$FPRED_VALUE_IN_ANY_MT`
`static SubLSymbol`	`$sym46$FPRED_VALUE_IN_RELEVANT_MTS`
`static SubLSymbol`	`$sym49$PRED_VALUES`
`static SubLSymbol`	`$sym52$PRED_VALUES_IN_MT`
`static SubLSymbol`	`$sym54$PRED_VALUES_IN_MTS`
`static SubLSymbol`	`$sym56$PRED_VALUES_IN_ANY_MT`
`static SubLSymbol`	`$sym58$PRED_VALUES_IN_RELEVANT_MTS`
`static SubLSymbol`	`$sym6$SOME_PRED_VALUE`
`static SubLSymbol`	`$sym60$PRED_REFS`
`static SubLSymbol`	`$sym64$PRED_REFS_IN_MT`
`static SubLSymbol`	`$sym68$PRED_REFS_IN_MTS`
`static SubLSymbol`	`$sym72$PRED_REFS_IN_ANY_MT`
`static SubLSymbol`	`$sym74$PRED_REFS_IN_RELEVANT_MTS`
`static SubLSymbol`	`$sym77$HL_TERM_P`
`static SubLSymbol`	`$sym78$PRED_U_V_HOLDS`
`static SubLSymbol`	`$sym82$PRED_U_V_HOLDS_IN_MT`
`static SubLSymbol`	`$sym86$PRED_U_V_HOLDS_IN_MTS`
`static SubLSymbol`	`$sym90$PRED_U_V_HOLDS_IN_ANY_MT`
`static SubLSymbol`	`$sym92$PRED_U_V_HOLDS_IN_RELEVANT_MTS`
`static SubLSymbol`	`$sym95$CONSP`
`static SubLSymbol`	`$sym97$PRED_VALUE_TUPLES`
`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_utilities_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`fpred_value_gaf_in_relevant_mts(SubLObject v_term, SubLObject pred, SubLObject mt, SubLObject index_argnum, SubLObject truth)` If MT is NIL, behaves like FPRED-VALUE-GAF.
`static SubLObject`	`fpred_value_gaf(SubLObject v_term, SubLObject pred, SubLObject index_argnum, SubLObject truth)` Find the first gaf assertion such that: (a) the assertion is in a relevant microtheory (relevance is established outside) (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used.
`static SubLObject`	`fpred_value_in_any_mt(SubLObject v_term, SubLObject pred, SubLObject index_arg, SubLObject gather_arg, SubLObject truth)` Find the first gaf assertion such that: (a) the assertion is allowed to be in any microtheory (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used.
`static SubLObject`	`fpred_value_in_relevant_mts(SubLObject v_term, SubLObject pred, SubLObject mt, SubLObject index_arg, SubLObject gather_arg, SubLObject truth)` If MT is NIL, behaves like FPRED-VALUE.
`static SubLObject`	`fpred_value(SubLObject v_term, SubLObject pred, SubLObject index_arg, SubLObject gather_arg, SubLObject truth)` Find the first gaf assertion such that: (a) the assertion is in a relevant microtheory (relevance is established outside) (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used.
`static SubLObject`	`init_kb_mapping_utilities_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`pred_arg_values(SubLObject v_term, SubLObject pred, SubLObject arg, SubLObject term_psn, SubLObject arg_psn, SubLObject gather_psn, SubLObject truth)`
`static SubLObject`	`pred_u_v_holds_in_any_mt(SubLObject pred, SubLObject u, SubLObject v, SubLObject u_arg, SubLObject v_arg, SubLObject truth)` Find the first gaf assertion such that: (a) the assertion is allowed to be in any microtheory (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used.
`static SubLObject`	`pred_u_v_holds(SubLObject pred, SubLObject u, SubLObject v, SubLObject u_arg, SubLObject v_arg, SubLObject truth)` Find the first gaf assertion such that: (a) the assertion is in a relevant microtheory (relevance is established outside) (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used.
`static SubLObject`	`pred_value_tuples_in_any_mt(SubLObject v_term, SubLObject pred, SubLObject index_arg, SubLObject gather_args, SubLObject truth)` Find all gaf assertions such that: (a) the assertion is allowed to be from any microtheory (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used.
`static SubLObject`	`pred_value_tuples(SubLObject v_term, SubLObject pred, SubLObject index_arg, SubLObject gather_args, SubLObject truth)` Find all gaf assertions such that: (a) the assertion is in a relevant microtheory (relevance is established outside) (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used.
`static SubLObject`	`pred_values_in_relevant_mts(SubLObject v_term, SubLObject pred, SubLObject mt, SubLObject index_arg, SubLObject gather_arg, SubLObject truth)` If MT is NIL, behaves like PRED-VALUES.
`static SubLObject`	`pred_values(SubLObject v_term, SubLObject pred, SubLObject index_arg, SubLObject gather_arg, SubLObject truth)` Find all gaf assertions such that: (a) the assertion is in a relevant microtheory (relevance is established outside) (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used.
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_kb_mapping_utilities_file()`
`static SubLObject`	`some_pred_value_if(SubLObject v_term, SubLObject pred, SubLObject test, SubLObject index_arg, SubLObject truth)` Find the first gaf assertion such that: (a) the assertion is in a relevant microtheory (relevance is established outside) (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used.
`static SubLObject`	`some_pred_value_in_any_mt(SubLObject v_term, SubLObject pred, SubLObject index_arg, SubLObject truth)` Find the first gaf assertion such that: (a) the assertion is allowed to be in any microtheory (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used.
`static SubLObject`	`some_pred_value_in_relevant_mts(SubLObject v_term, SubLObject pred, SubLObject mt, SubLObject index_arg, SubLObject truth)` If MT is NIL, behaves like SOME-PRED-VALUE.
`static SubLObject`	`some_pred_value(SubLObject v_term, SubLObject pred, SubLObject index_arg, SubLObject truth)` Find the first gaf assertion such that: (a) the assertion is in a relevant microtheory (relevance is established outside) (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used.

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

$kw0$TRUE

public static final SubLSymbol $kw0$TRUE

$sym1$INDEXED_TERM_P

public static final SubLSymbol $sym1$INDEXED_TERM_P

$sym2$FORT_P

public static final SubLSymbol $sym2$FORT_P

$sym3$INTEGERP

public static final SubLSymbol $sym3$INTEGERP

$sym4$TRUTH_P

public static final SubLSymbol $sym4$TRUTH_P

$kw5$GAF

public static final SubLSymbol $kw5$GAF

$sym6$SOME_PRED_VALUE

public static final SubLSymbol $sym6$SOME_PRED_VALUE

$list7

public static final SubLList $list7

$str8$Find_the_first_gaf_assertion_such

public static final SubLString $str8$Find_the_first_gaf_assertion_such

$list9

public static final SubLList $list9

$list10

public static final SubLList $list10

$sym11$HLMT_P

public static final SubLSymbol $sym11$HLMT_P

$sym12$RELEVANT_MT_IS_EQ

public static final SubLSymbol $sym12$RELEVANT_MT_IS_EQ

$sym13$SOME_PRED_VALUE_IN_MT

public static final SubLSymbol $sym13$SOME_PRED_VALUE_IN_MT

$list14

public static final SubLList $list14

$str15$Find_the_first_gaf_assertion_such

public static final SubLString $str15$Find_the_first_gaf_assertion_such

$list16

public static final SubLList $list16

$sym17$LISTP

public static final SubLSymbol $sym17$LISTP

$sym18$RELEVANT_MT_IS_IN_LIST

public static final SubLSymbol $sym18$RELEVANT_MT_IS_IN_LIST

$sym19$SOME_PRED_VALUE_IN_MTS

public static final SubLSymbol $sym19$SOME_PRED_VALUE_IN_MTS

$list20

public static final SubLList $list20

$str21$Find_the_first_gaf_assertion_such

public static final SubLString $str21$Find_the_first_gaf_assertion_such

$list22

public static final SubLList $list22

$sym23$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym23$RELEVANT_MT_IS_EVERYTHING

$const24$EverythingPSC

public static final SubLObject $const24$EverythingPSC

$sym25$SOME_PRED_VALUE_IN_ANY_MT

public static final SubLSymbol $sym25$SOME_PRED_VALUE_IN_ANY_MT

$str26$Find_the_first_gaf_assertion_such

public static final SubLString $str26$Find_the_first_gaf_assertion_such

$sym27$SOME_PRED_VALUE_IN_RELEVANT_MTS

public static final SubLSymbol $sym27$SOME_PRED_VALUE_IN_RELEVANT_MTS

$list28

public static final SubLList $list28

$str29$If_MT_is_NIL__behaves_like_SOME_P

public static final SubLString $str29$If_MT_is_NIL__behaves_like_SOME_P

$sym30$FUNCTION_SPEC_P

public static final SubLSymbol $sym30$FUNCTION_SPEC_P

$sym31$FPRED_VALUE

public static final SubLSymbol $sym31$FPRED_VALUE

$list32

public static final SubLList $list32

$str33$Find_the_first_gaf_assertion_such

public static final SubLString $str33$Find_the_first_gaf_assertion_such

$list34

public static final SubLList $list34

$list35

public static final SubLList $list35

$sym36$FPRED_VALUE_IN_MT

public static final SubLSymbol $sym36$FPRED_VALUE_IN_MT

$list37

public static final SubLList $list37

$str38$Find_the_first_gaf_assertion_such

public static final SubLString $str38$Find_the_first_gaf_assertion_such

$list39

public static final SubLList $list39

$sym40$FPRED_VALUE_IN_MTS

public static final SubLSymbol $sym40$FPRED_VALUE_IN_MTS

$list41

public static final SubLList $list41

$str42$Find_the_first_gaf_assertion_such

public static final SubLString $str42$Find_the_first_gaf_assertion_such

$list43

public static final SubLList $list43

$sym44$FPRED_VALUE_IN_ANY_MT

public static final SubLSymbol $sym44$FPRED_VALUE_IN_ANY_MT

$str45$Find_the_first_gaf_assertion_such

public static final SubLString $str45$Find_the_first_gaf_assertion_such

$sym46$FPRED_VALUE_IN_RELEVANT_MTS

public static final SubLSymbol $sym46$FPRED_VALUE_IN_RELEVANT_MTS

$list47

public static final SubLList $list47

$str48$If_MT_is_NIL__behaves_like_FPRED_

public static final SubLString $str48$If_MT_is_NIL__behaves_like_FPRED_

$sym49$PRED_VALUES

public static final SubLSymbol $sym49$PRED_VALUES

$str50$Find_all_gaf_assertions_such_that

public static final SubLString $str50$Find_all_gaf_assertions_such_that

$list51

public static final SubLList $list51

$sym52$PRED_VALUES_IN_MT

public static final SubLSymbol $sym52$PRED_VALUES_IN_MT

$str53$Find_all_gaf_assertions_such_that

public static final SubLString $str53$Find_all_gaf_assertions_such_that

$sym54$PRED_VALUES_IN_MTS

public static final SubLSymbol $sym54$PRED_VALUES_IN_MTS

$str55$Find_all_gaf_assertions_such_that

public static final SubLString $str55$Find_all_gaf_assertions_such_that

$sym56$PRED_VALUES_IN_ANY_MT

public static final SubLSymbol $sym56$PRED_VALUES_IN_ANY_MT

$str57$Find_all_gaf_assertions_such_that

public static final SubLString $str57$Find_all_gaf_assertions_such_that

$sym58$PRED_VALUES_IN_RELEVANT_MTS

public static final SubLSymbol $sym58$PRED_VALUES_IN_RELEVANT_MTS

$str59$If_MT_is_NIL__behaves_like_PRED_V

public static final SubLString $str59$If_MT_is_NIL__behaves_like_PRED_V

$sym60$PRED_REFS

public static final SubLSymbol $sym60$PRED_REFS

$list61

public static final SubLList $list61

$str62$Find_all_gaf_assertions_such_that

public static final SubLString $str62$Find_all_gaf_assertions_such_that

$list63

public static final SubLList $list63

$sym64$PRED_REFS_IN_MT

public static final SubLSymbol $sym64$PRED_REFS_IN_MT

$list65

public static final SubLList $list65

$str66$Find_all_gaf_assertions_such_that

public static final SubLString $str66$Find_all_gaf_assertions_such_that

$list67

public static final SubLList $list67

$sym68$PRED_REFS_IN_MTS

public static final SubLSymbol $sym68$PRED_REFS_IN_MTS

$list69

public static final SubLList $list69

$str70$Find_all_gaf_assertions_such_that

public static final SubLString $str70$Find_all_gaf_assertions_such_that

$list71

public static final SubLList $list71

$sym72$PRED_REFS_IN_ANY_MT

public static final SubLSymbol $sym72$PRED_REFS_IN_ANY_MT

$str73$Find_all_gaf_assertions_such_that

public static final SubLString $str73$Find_all_gaf_assertions_such_that

$sym74$PRED_REFS_IN_RELEVANT_MTS

public static final SubLSymbol $sym74$PRED_REFS_IN_RELEVANT_MTS

$list75

public static final SubLList $list75

$str76$If_MT_is_NIL__behaves_like_PRED_R

public static final SubLString $str76$If_MT_is_NIL__behaves_like_PRED_R

$sym77$HL_TERM_P

public static final SubLSymbol $sym77$HL_TERM_P

$sym78$PRED_U_V_HOLDS

public static final SubLSymbol $sym78$PRED_U_V_HOLDS

$list79

public static final SubLList $list79

$str80$Find_the_first_gaf_assertion_such

public static final SubLString $str80$Find_the_first_gaf_assertion_such

$list81

public static final SubLList $list81

$sym82$PRED_U_V_HOLDS_IN_MT

public static final SubLSymbol $sym82$PRED_U_V_HOLDS_IN_MT

$list83

public static final SubLList $list83

$str84$Find_the_first_gaf_assertion_such

public static final SubLString $str84$Find_the_first_gaf_assertion_such

$list85

public static final SubLList $list85

$sym86$PRED_U_V_HOLDS_IN_MTS

public static final SubLSymbol $sym86$PRED_U_V_HOLDS_IN_MTS

$list87

public static final SubLList $list87

$str88$Find_the_first_gaf_assertion_such

public static final SubLString $str88$Find_the_first_gaf_assertion_such

$list89

public static final SubLList $list89

$sym90$PRED_U_V_HOLDS_IN_ANY_MT

public static final SubLSymbol $sym90$PRED_U_V_HOLDS_IN_ANY_MT

$str91$Find_the_first_gaf_assertion_such

public static final SubLString $str91$Find_the_first_gaf_assertion_such

$sym92$PRED_U_V_HOLDS_IN_RELEVANT_MTS

public static final SubLSymbol $sym92$PRED_U_V_HOLDS_IN_RELEVANT_MTS

$list93

public static final SubLList $list93

$str94$If_MT_is_NIL__behaves_like_PRED_U

public static final SubLString $str94$If_MT_is_NIL__behaves_like_PRED_U

$sym95$CONSP

public static final SubLSymbol $sym95$CONSP

$str96$_S_is_not_a_valid_arg_position_li

public static final SubLString $str96$_S_is_not_a_valid_arg_position_li

$sym97$PRED_VALUE_TUPLES

public static final SubLSymbol $sym97$PRED_VALUE_TUPLES

$list98

public static final SubLList $list98

$str99$Find_all_gaf_assertions_such_that

public static final SubLString $str99$Find_all_gaf_assertions_such_that

$list100

public static final SubLList $list100

$list101

public static final SubLList $list101

$sym102$PRED_VALUE_TUPLES_IN_MT

public static final SubLSymbol $sym102$PRED_VALUE_TUPLES_IN_MT

$list103

public static final SubLList $list103

$str104$Find_all_gaf_assertions_such_that

public static final SubLString $str104$Find_all_gaf_assertions_such_that

$list105

public static final SubLList $list105

$sym106$PRED_VALUE_TUPLES_IN_MTS

public static final SubLSymbol $sym106$PRED_VALUE_TUPLES_IN_MTS

$list107

public static final SubLList $list107

$str108$Find_all_gaf_assertions_such_that

public static final SubLString $str108$Find_all_gaf_assertions_such_that

$list109

public static final SubLList $list109

$sym110$PRED_VALUE_TUPLES_IN_ANY_MT

public static final SubLSymbol $sym110$PRED_VALUE_TUPLES_IN_ANY_MT

$str111$Find_all_gaf_assertions_such_that

public static final SubLString $str111$Find_all_gaf_assertions_such_that

$sym112$PRED_VALUE_TUPLES_IN_RELEVANT_MTS

public static final SubLSymbol $sym112$PRED_VALUE_TUPLES_IN_RELEVANT_MTS

$list113

public static final SubLList $list113

$str114$If_MT_is_NIL__behaves_like_PRED_V

public static final SubLString $str114$If_MT_is_NIL__behaves_like_PRED_V

Method Detail

some_pred_value

public static final SubLObject some_pred_value(SubLObject v_term,
                                               SubLObject pred,
                                               SubLObject index_arg,
                                               SubLObject truth)

Find the first gaf assertion such that: (a) the assertion is in a relevant microtheory (relevance is established outside) (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used. (d) TERM is the term in the INDEX-ARG position. Return T if such an assertion exists, otherwise return NIL.

some_pred_value_in_any_mt

public static final SubLObject some_pred_value_in_any_mt(SubLObject v_term,
                                                         SubLObject pred,
                                                         SubLObject index_arg,
                                                         SubLObject truth)

Find the first gaf assertion such that: (a) the assertion is allowed to be in any microtheory (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used. (d) TERM is the term in the INDEX-ARG position. Return T if such an assertion exists, otherwise return NIL.

some_pred_value_in_relevant_mts

public static final SubLObject some_pred_value_in_relevant_mts(SubLObject v_term,
                                                               SubLObject pred,
                                                               SubLObject mt,
                                                               SubLObject index_arg,
                                                               SubLObject truth)

If MT is NIL, behaves like SOME-PRED-VALUE. Otherwise, behaves like SOME-PRED-VALUE-IN-MT

some_pred_value_if

public static final SubLObject some_pred_value_if(SubLObject v_term,
                                                  SubLObject pred,
                                                  SubLObject test,
                                                  SubLObject index_arg,
                                                  SubLObject truth)

Find the first gaf assertion such that: (a) the assertion is in a relevant microtheory (relevance is established outside) (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used. (d) TERM is the term in the INDEX-ARG position. (e) TEST returns non-nil when applied to assertion. Return T if such an assertion exists, otherwise return NIL.

fpred_value_gaf

public static final SubLObject fpred_value_gaf(SubLObject v_term,
                                               SubLObject pred,
                                               SubLObject index_argnum,
                                               SubLObject truth)

Find the first gaf assertion such that: (a) the assertion is in a relevant microtheory (relevance is established outside) (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used. (d) TERM is the term in the INDEX-ARGNUM position. Return the gaf if it exists. Otherwise, return NIL.

fpred_value_gaf_in_relevant_mts

public static final SubLObject fpred_value_gaf_in_relevant_mts(SubLObject v_term,
                                                               SubLObject pred,
                                                               SubLObject mt,
                                                               SubLObject index_argnum,
                                                               SubLObject truth)

If MT is NIL, behaves like FPRED-VALUE-GAF. Otherwise, looks in all genlMts of MT.

fpred_value

public static final SubLObject fpred_value(SubLObject v_term,
                                           SubLObject pred,
                                           SubLObject index_arg,
                                           SubLObject gather_arg,
                                           SubLObject truth)

Find the first gaf assertion such that: (a) the assertion is in a relevant microtheory (relevance is established outside) (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used. (d) TERM is the term in the INDEX-ARG position. Return the term in the GATHER-ARG position if such an assertion exists. Otherwise, return NIL.

fpred_value_in_any_mt

public static final SubLObject fpred_value_in_any_mt(SubLObject v_term,
                                                     SubLObject pred,
                                                     SubLObject index_arg,
                                                     SubLObject gather_arg,
                                                     SubLObject truth)

Find the first gaf assertion such that: (a) the assertion is allowed to be in any microtheory (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used. (d) TERM is the term in the INDEX-ARG position. Return the term in the GATHER-ARG position if such an assertion exists. Otherwise, return NIL.

fpred_value_in_relevant_mts

public static final SubLObject fpred_value_in_relevant_mts(SubLObject v_term,
                                                           SubLObject pred,
                                                           SubLObject mt,
                                                           SubLObject index_arg,
                                                           SubLObject gather_arg,
                                                           SubLObject truth)

If MT is NIL, behaves like FPRED-VALUE. Otherwise, looks in all genlMts of MT.

pred_values

public static final SubLObject pred_values(SubLObject v_term,
                                           SubLObject pred,
                                           SubLObject index_arg,
                                           SubLObject gather_arg,
                                           SubLObject truth)

Find all gaf assertions such that: (a) the assertion is in a relevant microtheory (relevance is established outside) (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used. (d) TERM is the term in the INDEX-ARG position. Return a list of the terms in the GATHER-ARG position of all such assertions.

pred_values_in_relevant_mts

public static final SubLObject pred_values_in_relevant_mts(SubLObject v_term,
                                                           SubLObject pred,
                                                           SubLObject mt,
                                                           SubLObject index_arg,
                                                           SubLObject gather_arg,
                                                           SubLObject truth)

If MT is NIL, behaves like PRED-VALUES. Otherwise, behaves like PRED-VALUES-IN-MT

pred_u_v_holds

public static final SubLObject pred_u_v_holds(SubLObject pred,
                                              SubLObject u,
                                              SubLObject v,
                                              SubLObject u_arg,
                                              SubLObject v_arg,
                                              SubLObject truth)

Find the first gaf assertion such that: (a) the assertion is in a relevant microtheory (relevance is established outside) (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used. (d) U is the term in the U-ARG position. (e) V is the term in the V-ARG position. Return T if such an assertion exists, otherwise return NIL.

pred_u_v_holds_in_any_mt

public static final SubLObject pred_u_v_holds_in_any_mt(SubLObject pred,
                                                        SubLObject u,
                                                        SubLObject v,
                                                        SubLObject u_arg,
                                                        SubLObject v_arg,
                                                        SubLObject truth)

Find the first gaf assertion such that: (a) the assertion is allowed to be in any microtheory (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used. (d) U is the term in the U-ARG position. (e) V is the term in the V-ARG position. Return T if such an assertion exists, otherwise return NIL.

pred_arg_values

public static final SubLObject pred_arg_values(SubLObject v_term,
                                               SubLObject pred,
                                               SubLObject arg,
                                               SubLObject term_psn,
                                               SubLObject arg_psn,
                                               SubLObject gather_psn,
                                               SubLObject truth)

pred_value_tuples

public static final SubLObject pred_value_tuples(SubLObject v_term,
                                                 SubLObject pred,
                                                 SubLObject index_arg,
                                                 SubLObject gather_args,
                                                 SubLObject truth)

Find all gaf assertions such that: (a) the assertion is in a relevant microtheory (relevance is established outside) (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used. (d) TERM is the term in the INDEX-ARG position. Return a list of tuples formed from the GATHER-ARGS positions of all such assertions.

pred_value_tuples_in_any_mt

public static final SubLObject pred_value_tuples_in_any_mt(SubLObject v_term,
                                                           SubLObject pred,
                                                           SubLObject index_arg,
                                                           SubLObject gather_args,
                                                           SubLObject truth)

Find all gaf assertions such that: (a) the assertion is allowed to be from any microtheory (b) if TRUTH is non-nil, the assertion has TRUTH as its truth value (c) PRED is the predicate used. (d) TERM is the term in the INDEX-ARG position. Return a list of tuples formed from the GATHER-ARGS positions of all such assertions.

declare_kb_mapping_utilities_file

public static final SubLObject declare_kb_mapping_utilities_file()

init_kb_mapping_utilities_file

public static final SubLObject init_kb_mapping_utilities_file()

setup_kb_mapping_utilities_file

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

me

myName

$kw0$TRUE

$sym1$INDEXED_TERM_P

$sym2$FORT_P

$sym3$INTEGERP

$sym4$TRUTH_P

$kw5$GAF

$sym6$SOME_PRED_VALUE

$list7

$str8$Find_the_first_gaf_assertion_such

$list9

$list10

$sym11$HLMT_P

$sym12$RELEVANT_MT_IS_EQ

$sym13$SOME_PRED_VALUE_IN_MT

$list14

$str15$Find_the_first_gaf_assertion_such

$list16

$sym17$LISTP

$sym18$RELEVANT_MT_IS_IN_LIST

$sym19$SOME_PRED_VALUE_IN_MTS

$list20

$str21$Find_the_first_gaf_assertion_such

$list22

$sym23$RELEVANT_MT_IS_EVERYTHING

$const24$EverythingPSC

$sym25$SOME_PRED_VALUE_IN_ANY_MT

$str26$Find_the_first_gaf_assertion_such

$sym27$SOME_PRED_VALUE_IN_RELEVANT_MTS

$list28

$str29$If_MT_is_NIL__behaves_like_SOME_P

$sym30$FUNCTION_SPEC_P

$sym31$FPRED_VALUE

$list32

$str33$Find_the_first_gaf_assertion_such

$list34

$list35

$sym36$FPRED_VALUE_IN_MT

$list37

$str38$Find_the_first_gaf_assertion_such

$list39

$sym40$FPRED_VALUE_IN_MTS

$list41

$str42$Find_the_first_gaf_assertion_such

$list43

$sym44$FPRED_VALUE_IN_ANY_MT

$str45$Find_the_first_gaf_assertion_such

$sym46$FPRED_VALUE_IN_RELEVANT_MTS

$list47

$str48$If_MT_is_NIL__behaves_like_FPRED_

$sym49$PRED_VALUES

$str50$Find_all_gaf_assertions_such_that

$list51

$sym52$PRED_VALUES_IN_MT

$str53$Find_all_gaf_assertions_such_that

$sym54$PRED_VALUES_IN_MTS

$str55$Find_all_gaf_assertions_such_that

$sym56$PRED_VALUES_IN_ANY_MT

$str57$Find_all_gaf_assertions_such_that

$sym58$PRED_VALUES_IN_RELEVANT_MTS

$str59$If_MT_is_NIL__behaves_like_PRED_V

$sym60$PRED_REFS

$list61

$str62$Find_all_gaf_assertions_such_that

$list63

$sym64$PRED_REFS_IN_MT

$list65

$str66$Find_all_gaf_assertions_such_that

$list67

$sym68$PRED_REFS_IN_MTS

$list69

$str70$Find_all_gaf_assertions_such_that

$list71

$sym72$PRED_REFS_IN_ANY_MT

$str73$Find_all_gaf_assertions_such_that

$sym74$PRED_REFS_IN_RELEVANT_MTS

$list75

$str76$If_MT_is_NIL__behaves_like_PRED_R

com.cyc.cycjava.cycl
Class kb_mapping_utilities