hl_supports

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 hl_supports

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class hl_supports
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`hl_supports.$hl_justify_eval$UnaryFunction`
`static class`	`hl_supports.$non_hl_predicate_p$UnaryFunction`

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

Field Summary
`static SubLSymbol`	$bookkeeping_justification_assertion_mt$ The mt in which assertions for HL justifications of bookkeeping assertions are expected to be.
`static SubLObject`	`$const103$not`
`static SubLObject`	`$const110$admittedSentence`
`static SubLObject`	`$const111$admittedNAT`
`static SubLObject`	`$const129$nearestIsa`
`static SubLObject`	`$const130$nearestIsaOfType`
`static SubLObject`	`$const131$elementOf`
`static SubLObject`	`$const132$quotedIsa`
`static SubLObject`	`$const137$nearestGenls`
`static SubLObject`	`$const138$nearestGenlsOfType`
`static SubLObject`	`$const141$genls`
`static SubLObject`	`$const142$instancesOfDisjointCollections`
`static SubLObject`	`$const149$genlPreds`
`static SubLObject`	`$const150$genlInverse`
`static SubLObject`	`$const153$negationPreds`
`static SubLObject`	`$const154$negationInverse`
`static SubLObject`	`$const19$InferencePSC`
`static SubLObject`	`$const30$myCreator`
`static SubLObject`	`$const31$myCreationPurpose`
`static SubLObject`	`$const32$myCreationTime`
`static SubLObject`	`$const33$myCreationSecond`
`static SubLObject`	`$const34$different`
`static SubLObject`	`$const36$BookkeepingMt`
`static SubLObject`	`$const37$unknownSentence`
`static SubLObject`	`$const39$BaseKB`
`static SubLObject`	`$const51$TheSet`
`static SubLObject`	`$const52$TheSetOf`
`static SubLObject`	`$const59$equalSymbols`
`static SubLObject`	`$const60$equals`
`static SubLObject`	`$const68$evaluate`
`static SubLObject`	`$const71$IrreflexiveBinaryPredicate`
`static SubLObject`	`$const72$ReflexiveBinaryPredicate`
`static SubLObject`	`$const73$isa`
`static SubLObject`	`$const74$admittedArgument`
`static SubLObject`	`$const83$EverythingPSC`
`static SubLObject`	`$const84$reflexiveOn`
`static SubLSymbol`	`$kw10$VERIFY`
`static SubLSymbol`	`$kw100$RTV`
`static SubLSymbol`	`$kw104$MINIMIZE`
`static SubLSymbol`	`$kw106$CONSISTENT`
`static SubLSymbol`	`$kw108$CONCEPTUALLY_RELATED`
`static SubLSymbol`	`$kw11$JUSTIFY`
`static SubLSymbol`	`$kw114$REFORMULATE`
`static SubLSymbol`	`$kw118$EXTERNAL`
`static SubLSymbol`	`$kw119$EXTERNAL_EVAL`
`static SubLSymbol`	`$kw12$VALIDATE`
`static SubLSymbol`	`$kw128$REGULARIZE`
`static SubLSymbol`	`$kw13$FORWARD_MT_COMBOS`
`static SubLSymbol`	`$kw139$GENLS`
`static SubLSymbol`	`$kw144$DISJOINTWITH`
`static SubLSymbol`	`$kw146$GENLMT`
`static SubLSymbol`	`$kw151$GENLPREDS`
`static SubLSymbol`	`$kw155$NEGATIONPREDS`
`static SubLSymbol`	`$kw159$TIME`
`static SubLSymbol`	`$kw161$ASSERTED_ARG1_BINARY_PREDS`
`static SubLSymbol`	`$kw163$FCP`
`static SubLSymbol`	`$kw165$SHOP_EFFECT`
`static SubLSymbol`	`$kw168$CONDITIONAL_SENTENCE_`
`static SubLSymbol`	`$kw170$MAX_NUMBER`
`static SubLSymbol`	`$kw172$QUERY`
`static SubLSymbol`	`$kw176$MATRIX_OF_REACTION_TYPE`
`static SubLSymbol`	`$kw180$PARSE_TREE`
`static SubLSymbol`	`$kw182$WORD_STRINGS`
`static SubLSymbol`	`$kw184$TERM_PHRASES`
`static SubLSymbol`	`$kw186$RKF_IRRELEVANT_FORT_CACHE`
`static SubLSymbol`	`$kw20$CODE`
`static SubLSymbol`	`$kw24$OPAQUE`
`static SubLSymbol`	`$kw26$ABDUCTION`
`static SubLSymbol`	`$kw27$FALSE`
`static SubLSymbol`	`$kw28$TRUE`
`static SubLSymbol`	`$kw29$UNKNOWN`
`static SubLSymbol`	`$kw35$EVAL`
`static SubLSymbol`	`$kw42$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw43$BOOKKEEPING`
`static SubLSymbol`	`$kw46$DEFN`
`static SubLSymbol`	`$kw49$ELEMENTOF`
`static SubLSymbol`	`$kw53$SUBSETOF`
`static SubLSymbol`	`$kw56$ASSERTION`
`static SubLSymbol`	`$kw57$SIBLING_DISJOINT`
`static SubLSymbol`	`$kw61$NONE`
`static SubLSymbol`	`$kw62$MINIMAL`
`static SubLSymbol`	`$kw63$ARG_TYPE`
`static SubLSymbol`	`$kw64$ALL`
`static SubLSymbol`	`$kw66$EQUALITY`
`static SubLSymbol`	`$kw75$ISA`
`static SubLSymbol`	`$kw76$ADMIT`
`static SubLSymbol`	`$kw78$REFLEXIVE`
`static SubLSymbol`	`$kw85$GAF`
`static SubLSymbol`	`$kw88$REFLEXIVE_ON`
`static SubLSymbol`	`$kw90$TRANSITIVITY`
`static SubLSymbol`	`$kw92$CONTEXTUAL_TRANSITIVITY`
`static SubLSymbol`	`$kw94$TRUE_DEF`
`static SubLSymbol`	`$kw97$TVA`
`static SubLList`	`$list0`
`static SubLList`	`$list101`
`static SubLList`	`$list102`
`static SubLList`	`$list105`
`static SubLList`	`$list107`
`static SubLList`	`$list109`
`static SubLList`	`$list112`
`static SubLList`	`$list113`
`static SubLList`	`$list115`
`static SubLList`	`$list116`
`static SubLList`	`$list117`
`static SubLList`	`$list120`
`static SubLList`	`$list125`
`static SubLList`	`$list133`
`static SubLList`	`$list134`
`static SubLList`	`$list135`
`static SubLList`	`$list136`
`static SubLList`	`$list140`
`static SubLList`	`$list143`
`static SubLList`	`$list145`
`static SubLList`	`$list147`
`static SubLList`	`$list148`
`static SubLList`	`$list152`
`static SubLList`	`$list156`
`static SubLList`	`$list160`
`static SubLList`	`$list162`
`static SubLList`	`$list164`
`static SubLList`	`$list166`
`static SubLList`	`$list167`
`static SubLList`	`$list169`
`static SubLList`	`$list171`
`static SubLList`	`$list173`
`static SubLList`	`$list177`
`static SubLList`	`$list181`
`static SubLList`	`$list183`
`static SubLList`	`$list185`
`static SubLList`	`$list187`
`static SubLList`	`$list22`
`static SubLList`	`$list23`
`static SubLList`	`$list25`
`static SubLList`	`$list3`
`static SubLList`	`$list44`
`static SubLList`	`$list45`
`static SubLList`	`$list47`
`static SubLList`	`$list48`
`static SubLList`	`$list5`
`static SubLList`	`$list50`
`static SubLList`	`$list54`
`static SubLList`	`$list55`
`static SubLList`	`$list58`
`static SubLList`	`$list67`
`static SubLList`	`$list69`
`static SubLList`	`$list7`
`static SubLList`	`$list70`
`static SubLList`	`$list79`
`static SubLList`	`$list80`
`static SubLList`	`$list81`
`static SubLList`	`$list86`
`static SubLList`	`$list89`
`static SubLList`	`$list91`
`static SubLList`	`$list93`
`static SubLList`	`$list96`
`static SubLList`	`$list98`
`static SubLList`	`$list99`
`static SubLSymbol`	$perform_opaque_support_verification$
`static SubLString`	`$str157$Time_feature_not_supported__Suppo`
`static SubLString`	`$str158$Time_feature_not_supported__Suppo`
`static SubLString`	`$str174$Halo_feature_not_supported__Suppo`
`static SubLString`	`$str175$Halo_feature_not_supported__Suppo`
`static SubLString`	`$str6$Return_T_iff_OBJECT_is_an_HL_supp`
`static SubLString`	`$str65$Unexpected_intermediate_step_vali`
`static SubLString`	`$str9$_S_was_not_a_valid_hl_support_mod`
`static SubLSymbol`	`$sym1$FORT_P`
`static SubLSymbol`	`$sym121$PCOND`
`static SubLSymbol`	`$sym122$EL_NEGATION_P`
`static SubLSymbol`	`$sym123$CLET`
`static SubLSymbol`	`$sym124$FORMULA_ARG1`
`static SubLSymbol`	`$sym126$INVERSE_TV`
`static SubLSymbol`	`$sym127$EL_FORMULA_P`
`static SubLSymbol`	`$sym14$LIST`
`static SubLSymbol`	`$sym15$SUPPORT_P`
`static SubLSymbol`	`$sym16$LISTP`
`static SubLSymbol`	`$sym17$APPEND`
`static SubLSymbol`	`$sym178$HL_VERIFY_PARSE_TREE_RELATION`
`static SubLSymbol`	`$sym179$HL_JUSTIFY_PARSE_TREE_RELATION`
`static SubLSymbol`	`$sym18$HL_SUPPORT_P`
`static SubLSymbol`	`$sym2$_HL_SUPPORT_MODULES_`
`static SubLSymbol`	`$sym21$HL_SUPPORT_MT`
`static SubLSymbol`	`$sym38$_BOOKKEEPING_JUSTIFICATION_ASSERTION_MT_`
`static SubLSymbol`	`$sym4$HL_SUPPORT_MODULE_P`
`static SubLSymbol`	`$sym40$CACHED_FIND_ASSERTION_CYCL`
`static SubLSymbol`	`$sym41$_CACHED_FIND_ASSERTION_CYCL_CACHING_STATE_`
`static SubLSymbol`	`$sym77$MAX_FLOOR_MTS_WHERE_ARG_CONSTRAINTS_MET`
`static SubLSymbol`	`$sym8$KEYWORDP`
`static SubLSymbol`	`$sym82$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym87$TERM__`
`static SubLSymbol`	`$sym95$RELEVANT_MT_IS_ANY_MT`
`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_hl_supports_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`find_assertion_or_make_support(SubLObject sentence, SubLObject mt)`
`static SubLObject`	`hl_forward_mt_combos_genls(SubLObject support)`
`static SubLObject`	`hl_forward_mt_combos(SubLObject support)`
`static SubLObject`	`hl_justify_admit(SubLObject support)`
`static SubLObject`	`hl_justify_eval(SubLObject support)`
`static SubLObject`	`hl_justify_genls(SubLObject support)`
`static SubLObject`	`hl_justify_reflexive(SubLObject support)`
`static SubLObject`	`hl_justify_sbhl(SubLObject support)`
`static SubLObject`	`hl_justify_transitivity(SubLObject support)`
`static SubLObject`	`hl_justify(SubLObject support)`
`static SubLObject`	`hl_predicate_p(SubLObject object)`
`static SubLObject`	`hl_support_justify(SubLObject hl_support)`
`static SubLObject`	`hl_support_module_forward_mt_combos_func(SubLObject hl_support_module)`
`static SubLObject`	`hl_support_module_justify_func(SubLObject hl_support_module)`
`static SubLObject`	`hl_support_module_p(SubLObject object)` Return T iff OBJECT is an HL support module.
`static SubLObject`	`hl_support_modules()`
`static SubLObject`	`hl_trivial_justification(SubLObject support)`
`static SubLObject`	`inference_max_floor_mts_of_genls_paths(SubLObject spec, SubLObject genl)`
`static SubLObject`	`init_hl_supports_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`non_hl_predicate_p(SubLObject object)`
`static SubLObject`	`opaque_hl_support_p(SubLObject support)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_hl_support_module(SubLObject name, SubLObject plist)` Declare NAME as a new HL support module
`static SubLObject`	`setup_hl_supports_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

$perform_opaque_support_verification$

public static SubLSymbol $perform_opaque_support_verification$

$bookkeeping_justification_assertion_mt$

public static SubLSymbol $bookkeeping_justification_assertion_mt$

The mt in which assertions for HL justifications of bookkeeping assertions are expected to be.

$list0

public static final SubLList $list0

$sym1$FORT_P

public static final SubLSymbol $sym1$FORT_P

$sym2$_HL_SUPPORT_MODULES_

public static final SubLSymbol $sym2$_HL_SUPPORT_MODULES_

$list3

public static final SubLList $list3

$sym4$HL_SUPPORT_MODULE_P

public static final SubLSymbol $sym4$HL_SUPPORT_MODULE_P

$list5

public static final SubLList $list5

$str6$Return_T_iff_OBJECT_is_an_HL_supp

public static final SubLString $str6$Return_T_iff_OBJECT_is_an_HL_supp

$list7

public static final SubLList $list7

$sym8$KEYWORDP

public static final SubLSymbol $sym8$KEYWORDP

$str9$_S_was_not_a_valid_hl_support_mod

public static final SubLString $str9$_S_was_not_a_valid_hl_support_mod

$kw10$VERIFY

public static final SubLSymbol $kw10$VERIFY

$kw11$JUSTIFY

public static final SubLSymbol $kw11$JUSTIFY

$kw12$VALIDATE

public static final SubLSymbol $kw12$VALIDATE

$kw13$FORWARD_MT_COMBOS

public static final SubLSymbol $kw13$FORWARD_MT_COMBOS

$sym14$LIST

public static final SubLSymbol $sym14$LIST

$sym15$SUPPORT_P

public static final SubLSymbol $sym15$SUPPORT_P

$sym16$LISTP

public static final SubLSymbol $sym16$LISTP

$sym17$APPEND

public static final SubLSymbol $sym17$APPEND

$sym18$HL_SUPPORT_P

public static final SubLSymbol $sym18$HL_SUPPORT_P

$const19$InferencePSC

public static final SubLObject $const19$InferencePSC

$kw20$CODE

public static final SubLSymbol $kw20$CODE

$sym21$HL_SUPPORT_MT

public static final SubLSymbol $sym21$HL_SUPPORT_MT

$list22

public static final SubLList $list22

$list23

public static final SubLList $list23

$kw24$OPAQUE

public static final SubLSymbol $kw24$OPAQUE

$list25

public static final SubLList $list25

$kw26$ABDUCTION

public static final SubLSymbol $kw26$ABDUCTION

$kw27$FALSE

public static final SubLSymbol $kw27$FALSE

$kw28$TRUE

public static final SubLSymbol $kw28$TRUE

$kw29$UNKNOWN

public static final SubLSymbol $kw29$UNKNOWN

$const30$myCreator

public static final SubLObject $const30$myCreator

$const31$myCreationPurpose

public static final SubLObject $const31$myCreationPurpose

$const32$myCreationTime

public static final SubLObject $const32$myCreationTime

$const33$myCreationSecond

public static final SubLObject $const33$myCreationSecond

$const34$different

public static final SubLObject $const34$different

$kw35$EVAL

public static final SubLSymbol $kw35$EVAL

$const36$BookkeepingMt

public static final SubLObject $const36$BookkeepingMt

$const37$unknownSentence

public static final SubLObject $const37$unknownSentence

$sym38$_BOOKKEEPING_JUSTIFICATION_ASSERTION_MT_

public static final SubLSymbol $sym38$_BOOKKEEPING_JUSTIFICATION_ASSERTION_MT_

$const39$BaseKB

public static final SubLObject $const39$BaseKB

$sym40$CACHED_FIND_ASSERTION_CYCL

public static final SubLSymbol $sym40$CACHED_FIND_ASSERTION_CYCL

$sym41$_CACHED_FIND_ASSERTION_CYCL_CACHING_STATE_

public static final SubLSymbol $sym41$_CACHED_FIND_ASSERTION_CYCL_CACHING_STATE_

$kw42$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw42$_MEMOIZED_ITEM_NOT_FOUND_

$kw43$BOOKKEEPING

public static final SubLSymbol $kw43$BOOKKEEPING

$list44

public static final SubLList $list44

$list45

public static final SubLList $list45

$kw46$DEFN

public static final SubLSymbol $kw46$DEFN

$list47

public static final SubLList $list47

$list48

public static final SubLList $list48

$kw49$ELEMENTOF

public static final SubLSymbol $kw49$ELEMENTOF

$list50

public static final SubLList $list50

$const51$TheSet

public static final SubLObject $const51$TheSet

$const52$TheSetOf

public static final SubLObject $const52$TheSetOf

$kw53$SUBSETOF

public static final SubLSymbol $kw53$SUBSETOF

$list54

public static final SubLList $list54

$list55

public static final SubLList $list55

$kw56$ASSERTION

public static final SubLSymbol $kw56$ASSERTION

$kw57$SIBLING_DISJOINT

public static final SubLSymbol $kw57$SIBLING_DISJOINT

$list58

public static final SubLList $list58

$const59$equalSymbols

public static final SubLObject $const59$equalSymbols

$const60$equals

public static final SubLObject $const60$equals

$kw61$NONE

public static final SubLSymbol $kw61$NONE

$kw62$MINIMAL

public static final SubLSymbol $kw62$MINIMAL

$kw63$ARG_TYPE

public static final SubLSymbol $kw63$ARG_TYPE

$kw64$ALL

public static final SubLSymbol $kw64$ALL

$str65$Unexpected_intermediate_step_vali

public static final SubLString $str65$Unexpected_intermediate_step_vali

$kw66$EQUALITY

public static final SubLSymbol $kw66$EQUALITY

$list67

public static final SubLList $list67

$const68$evaluate

public static final SubLObject $const68$evaluate

$list69

public static final SubLList $list69

$list70

public static final SubLList $list70

$const71$IrreflexiveBinaryPredicate

public static final SubLObject $const71$IrreflexiveBinaryPredicate

$const72$ReflexiveBinaryPredicate

public static final SubLObject $const72$ReflexiveBinaryPredicate

$const73$isa

public static final SubLObject $const73$isa

$const74$admittedArgument

public static final SubLObject $const74$admittedArgument

$kw75$ISA

public static final SubLSymbol $kw75$ISA

$kw76$ADMIT

public static final SubLSymbol $kw76$ADMIT

$sym77$MAX_FLOOR_MTS_WHERE_ARG_CONSTRAINTS_MET

public static final SubLSymbol $sym77$MAX_FLOOR_MTS_WHERE_ARG_CONSTRAINTS_MET

$kw78$REFLEXIVE

public static final SubLSymbol $kw78$REFLEXIVE

$list79

public static final SubLList $list79

$list80

public static final SubLList $list80

$list81

public static final SubLList $list81

$sym82$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym82$RELEVANT_MT_IS_EVERYTHING

$const83$EverythingPSC

public static final SubLObject $const83$EverythingPSC

$const84$reflexiveOn

public static final SubLObject $const84$reflexiveOn

$kw85$GAF

public static final SubLSymbol $kw85$GAF

$list86

public static final SubLList $list86

$sym87$TERM__

public static final SubLSymbol $sym87$TERM__

$kw88$REFLEXIVE_ON

public static final SubLSymbol $kw88$REFLEXIVE_ON

$list89

public static final SubLList $list89

$kw90$TRANSITIVITY

public static final SubLSymbol $kw90$TRANSITIVITY

$list91

public static final SubLList $list91

$kw92$CONTEXTUAL_TRANSITIVITY

public static final SubLSymbol $kw92$CONTEXTUAL_TRANSITIVITY

$list93

public static final SubLList $list93

$kw94$TRUE_DEF

public static final SubLSymbol $kw94$TRUE_DEF

$sym95$RELEVANT_MT_IS_ANY_MT

public static final SubLSymbol $sym95$RELEVANT_MT_IS_ANY_MT

$list96

public static final SubLList $list96

$kw97$TVA

public static final SubLSymbol $kw97$TVA

$list98

public static final SubLList $list98

$list99

public static final SubLList $list99

$kw100$RTV

public static final SubLSymbol $kw100$RTV

$list101

public static final SubLList $list101

$list102

public static final SubLList $list102

$const103$not

public static final SubLObject $const103$not

$kw104$MINIMIZE

public static final SubLSymbol $kw104$MINIMIZE

$list105

public static final SubLList $list105

$kw106$CONSISTENT

public static final SubLSymbol $kw106$CONSISTENT

$list107

public static final SubLList $list107

$kw108$CONCEPTUALLY_RELATED

public static final SubLSymbol $kw108$CONCEPTUALLY_RELATED

$list109

public static final SubLList $list109

$const110$admittedSentence

public static final SubLObject $const110$admittedSentence

$const111$admittedNAT

public static final SubLObject $const111$admittedNAT

$list112

public static final SubLList $list112

$list113

public static final SubLList $list113

$kw114$REFORMULATE

public static final SubLSymbol $kw114$REFORMULATE

$list115

public static final SubLList $list115

$list116

public static final SubLList $list116

$list117

public static final SubLList $list117

$kw118$EXTERNAL

public static final SubLSymbol $kw118$EXTERNAL

$kw119$EXTERNAL_EVAL

public static final SubLSymbol $kw119$EXTERNAL_EVAL

$list120

public static final SubLList $list120

$sym121$PCOND

public static final SubLSymbol $sym121$PCOND

$sym122$EL_NEGATION_P

public static final SubLSymbol $sym122$EL_NEGATION_P

$sym123$CLET

public static final SubLSymbol $sym123$CLET

$sym124$FORMULA_ARG1

public static final SubLSymbol $sym124$FORMULA_ARG1

$list125

public static final SubLList $list125

$sym126$INVERSE_TV

public static final SubLSymbol $sym126$INVERSE_TV

$sym127$EL_FORMULA_P

public static final SubLSymbol $sym127$EL_FORMULA_P

$kw128$REGULARIZE

public static final SubLSymbol $kw128$REGULARIZE

$const129$nearestIsa

public static final SubLObject $const129$nearestIsa

$const130$nearestIsaOfType

public static final SubLObject $const130$nearestIsaOfType

$const131$elementOf

public static final SubLObject $const131$elementOf

$const132$quotedIsa

public static final SubLObject $const132$quotedIsa

$list133

public static final SubLList $list133

$list134

public static final SubLList $list134

$list135

public static final SubLList $list135

$list136

public static final SubLList $list136

$const137$nearestGenls

public static final SubLObject $const137$nearestGenls

$const138$nearestGenlsOfType

public static final SubLObject $const138$nearestGenlsOfType

$kw139$GENLS

public static final SubLSymbol $kw139$GENLS

$list140

public static final SubLList $list140

$const141$genls

public static final SubLObject $const141$genls

$const142$instancesOfDisjointCollections

public static final SubLObject $const142$instancesOfDisjointCollections

$list143

public static final SubLList $list143

$kw144$DISJOINTWITH

public static final SubLSymbol $kw144$DISJOINTWITH

$list145

public static final SubLList $list145

$kw146$GENLMT

public static final SubLSymbol $kw146$GENLMT

$list147

public static final SubLList $list147

$list148

public static final SubLList $list148

$const149$genlPreds

public static final SubLObject $const149$genlPreds

$const150$genlInverse

public static final SubLObject $const150$genlInverse

$kw151$GENLPREDS

public static final SubLSymbol $kw151$GENLPREDS

$list152

public static final SubLList $list152

$const153$negationPreds

public static final SubLObject $const153$negationPreds

$const154$negationInverse

public static final SubLObject $const154$negationInverse

$kw155$NEGATIONPREDS

public static final SubLSymbol $kw155$NEGATIONPREDS

$list156

public static final SubLList $list156

$str157$Time_feature_not_supported__Suppo

public static final SubLString $str157$Time_feature_not_supported__Suppo

$str158$Time_feature_not_supported__Suppo

public static final SubLString $str158$Time_feature_not_supported__Suppo

$kw159$TIME

public static final SubLSymbol $kw159$TIME

$list160

public static final SubLList $list160

$kw161$ASSERTED_ARG1_BINARY_PREDS

public static final SubLSymbol $kw161$ASSERTED_ARG1_BINARY_PREDS

$list162

public static final SubLList $list162

$kw163$FCP

public static final SubLSymbol $kw163$FCP

$list164

public static final SubLList $list164

$kw165$SHOP_EFFECT

public static final SubLSymbol $kw165$SHOP_EFFECT

$list166

public static final SubLList $list166

$list167

public static final SubLList $list167

$kw168$CONDITIONAL_SENTENCE_

public static final SubLSymbol $kw168$CONDITIONAL_SENTENCE_

$list169

public static final SubLList $list169

$kw170$MAX_NUMBER

public static final SubLSymbol $kw170$MAX_NUMBER

$list171

public static final SubLList $list171

$kw172$QUERY

public static final SubLSymbol $kw172$QUERY

$list173

public static final SubLList $list173

$str174$Halo_feature_not_supported__Suppo

public static final SubLString $str174$Halo_feature_not_supported__Suppo

$str175$Halo_feature_not_supported__Suppo

public static final SubLString $str175$Halo_feature_not_supported__Suppo

$kw176$MATRIX_OF_REACTION_TYPE

public static final SubLSymbol $kw176$MATRIX_OF_REACTION_TYPE

$list177

public static final SubLList $list177

$sym178$HL_VERIFY_PARSE_TREE_RELATION

public static final SubLSymbol $sym178$HL_VERIFY_PARSE_TREE_RELATION

$sym179$HL_JUSTIFY_PARSE_TREE_RELATION

public static final SubLSymbol $sym179$HL_JUSTIFY_PARSE_TREE_RELATION

$kw180$PARSE_TREE

public static final SubLSymbol $kw180$PARSE_TREE

$list181

public static final SubLList $list181

$kw182$WORD_STRINGS

public static final SubLSymbol $kw182$WORD_STRINGS

$list183

public static final SubLList $list183

$kw184$TERM_PHRASES

public static final SubLSymbol $kw184$TERM_PHRASES

$list185

public static final SubLList $list185

$kw186$RKF_IRRELEVANT_FORT_CACHE

public static final SubLSymbol $kw186$RKF_IRRELEVANT_FORT_CACHE

$list187

public static final SubLList $list187

Method Detail

hl_predicate_p

public static final SubLObject hl_predicate_p(SubLObject object)

non_hl_predicate_p

public static final SubLObject non_hl_predicate_p(SubLObject object)

hl_support_modules

public static final SubLObject hl_support_modules()

hl_support_module_p

public static final SubLObject hl_support_module_p(SubLObject object)

Return T iff OBJECT is an HL support module.

opaque_hl_support_p

public static final SubLObject opaque_hl_support_p(SubLObject support)

setup_hl_support_module

public static final SubLObject setup_hl_support_module(SubLObject name,
                                                       SubLObject plist)

Declare NAME as a new HL support module

hl_support_module_justify_func

public static final SubLObject hl_support_module_justify_func(SubLObject hl_support_module)

hl_support_module_forward_mt_combos_func

public static final SubLObject hl_support_module_forward_mt_combos_func(SubLObject hl_support_module)

hl_justify

public static final SubLObject hl_justify(SubLObject support)

Returns:: listp; a list of supports

hl_support_justify

public static final SubLObject hl_support_justify(SubLObject hl_support)

hl_trivial_justification

public static final SubLObject hl_trivial_justification(SubLObject support)

hl_forward_mt_combos

public static final SubLObject hl_forward_mt_combos(SubLObject support)

find_assertion_or_make_support

public static final SubLObject find_assertion_or_make_support(SubLObject sentence,
                                                              SubLObject mt)

Returns:: hl-support-p; Returns an assertion corresponding to SENTENCE iff one exists (within MT relevance), or a :code support with SENTENCE as support sentence.

hl_justify_eval

public static final SubLObject hl_justify_eval(SubLObject support)

hl_justify_reflexive

public static final SubLObject hl_justify_reflexive(SubLObject support)

hl_justify_transitivity

public static final SubLObject hl_justify_transitivity(SubLObject support)

hl_justify_admit

public static final SubLObject hl_justify_admit(SubLObject support)

hl_justify_sbhl

public static final SubLObject hl_justify_sbhl(SubLObject support)

hl_justify_genls

public static final SubLObject hl_justify_genls(SubLObject support)

hl_forward_mt_combos_genls

public static final SubLObject hl_forward_mt_combos_genls(SubLObject support)

inference_max_floor_mts_of_genls_paths

public static final SubLObject inference_max_floor_mts_of_genls_paths(SubLObject spec,
                                                                      SubLObject genl)

declare_hl_supports_file

public static final SubLObject declare_hl_supports_file()

init_hl_supports_file

public static final SubLObject init_hl_supports_file()

setup_hl_supports_file

public static final SubLObject setup_hl_supports_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 hl_supports

me

myName

$perform_opaque_support_verification$

$bookkeeping_justification_assertion_mt$

$list0

$sym1$FORT_P

$sym2$_HL_SUPPORT_MODULES_

$list3

$sym4$HL_SUPPORT_MODULE_P

$list5

$str6$Return_T_iff_OBJECT_is_an_HL_supp

$list7

$sym8$KEYWORDP

$str9$_S_was_not_a_valid_hl_support_mod

$kw10$VERIFY

$kw11$JUSTIFY

$kw12$VALIDATE

$kw13$FORWARD_MT_COMBOS

$sym14$LIST

$sym15$SUPPORT_P

$sym16$LISTP

$sym17$APPEND

$sym18$HL_SUPPORT_P

$const19$InferencePSC

$kw20$CODE

$sym21$HL_SUPPORT_MT

$list22

$list23

$kw24$OPAQUE

$list25

$kw26$ABDUCTION

$kw27$FALSE

$kw28$TRUE

$kw29$UNKNOWN

$const30$myCreator

$const31$myCreationPurpose

$const32$myCreationTime

$const33$myCreationSecond

$const34$different

$kw35$EVAL

$const36$BookkeepingMt

$const37$unknownSentence

$sym38$_BOOKKEEPING_JUSTIFICATION_ASSERTION_MT_

$const39$BaseKB

$sym40$CACHED_FIND_ASSERTION_CYCL

$sym41$_CACHED_FIND_ASSERTION_CYCL_CACHING_STATE_

$kw42$_MEMOIZED_ITEM_NOT_FOUND_

$kw43$BOOKKEEPING

$list44

$list45

$kw46$DEFN

$list47

$list48

$kw49$ELEMENTOF

$list50

$const51$TheSet

$const52$TheSetOf

$kw53$SUBSETOF

$list54

$list55

$kw56$ASSERTION

$kw57$SIBLING_DISJOINT

$list58

$const59$equalSymbols

$const60$equals

$kw61$NONE

$kw62$MINIMAL

$kw63$ARG_TYPE

$kw64$ALL

$str65$Unexpected_intermediate_step_vali

$kw66$EQUALITY

$list67

$const68$evaluate

$list69

$list70

$const71$IrreflexiveBinaryPredicate

$const72$ReflexiveBinaryPredicate

$const73$isa

$const74$admittedArgument

com.cyc.cycjava.cycl
Class hl_supports