genl_predicates

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 genl_predicates

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class genl_predicates
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`	`$const1$genlPreds`
`static SubLObject`	`$const100$genls`
`static SubLObject`	`$const106$isa`
`static SubLObject`	`$const117$typedGenlPreds`
`static SubLObject`	`$const120$typedGenlInverse`
`static SubLObject`	`$const121$True_JustificationTruth`
`static SubLObject`	`$const140$EverythingPSC`
`static SubLObject`	`$const177$genlMt`
`static SubLObject`	`$const9$genlInverse`
`static SubLInteger`	`$int190$64`
`static SubLSymbol`	`$kw118$GAF`
`static SubLSymbol`	`$kw119$TRUE`
`static SubLSymbol`	`$kw122$OLD`
`static SubLSymbol`	`$kw123$RESOURCE`
`static SubLSymbol`	`$kw180$ASSERTION`
`static SubLSymbol`	`$kw191$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw194$ISA`
`static SubLSymbol`	`$kw195$GENL`
`static SubLSymbol`	`$kw48$DEPTH`
`static SubLSymbol`	`$kw49$STACK`
`static SubLSymbol`	`$kw50$QUEUE`
`static SubLSymbol`	`$kw52$ERROR`
`static SubLSymbol`	`$kw55$CERROR`
`static SubLSymbol`	`$kw57$WARN`
`static SubLList`	`$list103`
`static SubLList`	`$list105`
`static SubLList`	`$list108`
`static SubLList`	`$list110`
`static SubLList`	`$list111`
`static SubLList`	`$list114`
`static SubLList`	`$list129`
`static SubLList`	`$list131`
`static SubLList`	`$list135`
`static SubLList`	`$list137`
`static SubLList`	`$list138`
`static SubLList`	`$list142`
`static SubLList`	`$list143`
`static SubLList`	`$list148`
`static SubLList`	`$list150`
`static SubLList`	`$list152`
`static SubLList`	`$list154`
`static SubLList`	`$list158`
`static SubLList`	`$list160`
`static SubLList`	`$list164`
`static SubLList`	`$list166`
`static SubLList`	`$list168`
`static SubLList`	`$list170`
`static SubLList`	`$list174`
`static SubLList`	`$list176`
`static SubLList`	`$list182`
`static SubLList`	`$list185`
`static SubLList`	`$list187`
`static SubLList`	`$list3`
`static SubLList`	`$list5`
`static SubLList`	`$list6`
`static SubLList`	`$list69`
`static SubLList`	`$list71`
`static SubLList`	`$list80`
`static SubLList`	`$list82`
`static SubLList`	`$list91`
`static SubLList`	`$list93`
`static SubLString`	`$str104$Returns_those_all_spec_preds_of_P`
`static SubLString`	`$str109$Returns_those_all_spec_preds_of_P`
`static SubLString`	`$str11$Returns_the_local_genlInverses_of`
`static SubLString`	`$str125$Returns_the_most_specific_predica`
`static SubLString`	`$str127$Returns_the_most_general_predicat`
`static SubLString`	`$str13$Returns_the_most_specific_local_g`
`static SubLString`	`$str130$Returns_the_most_specific_common_`
`static SubLString`	`$str133$Returns_the_most_general_common_s`
`static SubLString`	`$str136$Is_GENL_a_genlPred_of_SPEC______a`
`static SubLString`	`$str145$Is_GENL_a_genlInverse_of_SPEC____`
`static SubLString`	`$str149$Returns_T_iff__genl_predicate__SP`
`static SubLString`	`$str15$Returns_the_local_negated_genlPre`
`static SubLString`	`$str153$Is_NOT_GENL_known_to_be_not_a_gen`
`static SubLString`	`$str156$Is_NOT_GENL_a_negated_genlInverse`
`static SubLString`	`$str159$Is_any_predicate_in_NOT_GENLS_not`
`static SubLString`	`$str165$Does_the_extension_of_PRED1_inclu`
`static SubLString`	`$str169$A_justification_of__genlPreds_SPE`
`static SubLString`	`$str17$Returns_the_most_general_local_ne`
`static SubLString`	`$str172$A_justification_of__not__genlPred`
`static SubLString`	`$str175$A_justification_of__genlInverse_P`
`static SubLString`	`$str179$A_justification_of__not__genlInve`
`static SubLString`	`$str183$_return_listp__In_what__most_genl`
`static SubLString`	`$str186$In_what__most_genl__mts_is_GENL_I`
`static SubLString`	`$str21$Returns_the_specPreds_of_PRED`
`static SubLString`	`$str23$Returns_the_most_general_specPred`
`static SubLString`	`$str25$Returns_the_specInverses_of_PRED`
`static SubLString`	`$str27$Returns_the_most_general_specInve`
`static SubLString`	`$str29$Returns_the_negated_specPreds_of_`
`static SubLString`	`$str31$Returns_the_most_specific_negated`
`static SubLString`	`$str35$Returns_the_direct___genlPreds_of`
`static SubLString`	`$str37$Returns_the_direct___genlInverse_`
`static SubLString`	`$str39$Returns_the_direct_spec_preds_of_`
`static SubLString`	`$str4$Returns_the_local_genlPreds_of_PR`
`static SubLString`	`$str41$Returns_the_direct_spec_inverses_`
`static SubLString`	`$str43$Returns_the_most_general_genlPred`
`static SubLString`	`$str45$Returns_the_most_general_genlInve`
`static SubLString`	`$str47$Returns_all_genlPreds_of_predicat`
`static SubLString`	`$str53$_A_is_not_a__A`
`static SubLString`	`$str56$continue_anyway`
`static SubLString`	`$str58$_A_is_not_a_valid__sbhl_type_erro`
`static SubLString`	`$str59$attempting_to_bind_direction_link`
`static SubLString`	`$str60$Node__a_does_not_pass_sbhl_type_t`
`static SubLString`	`$str63$Returns_all_predicates_having_PRE`
`static SubLString`	`$str65$Returns_all_predicates_having_PRE`
`static SubLString`	`$str70$Returns_those_genlPreds_of_PRED_t`
`static SubLString`	`$str73$Returns_all_negated_genlPreds_of_`
`static SubLString`	`$str76$Returns_all_negated_specPreds_of_`
`static SubLString`	`$str78$Returns_all_predicates_having_PRE`
`static SubLString`	`$str8$Returns_the_most_specific_local_g`
`static SubLString`	`$str81$Returns_all_genl_predicates_of_ea`
`static SubLString`	`$str84$Returns_all_spec_predicates_of_ea`
`static SubLString`	`$str86$Returns_all_genl_inverses_of_each`
`static SubLString`	`$str88$Returns_all_specs_of_each_predica`
`static SubLString`	`$str92$Apply_FN_to_each_genlPred_of_PRED`
`static SubLString`	`$str95$Apply_FN_to_each_genlPred_of_PRED`
`static SubLSymbol`	`$sym0$FORT_P`
`static SubLSymbol`	`$sym10$GENL_INVERSES`
`static SubLSymbol`	`$sym101$GATHER_IF_SEARCHED_ARG_CONSTRAINTS`
`static SubLSymbol`	`$sym102$ALL_SPEC_PREDS_WRT_TYPE`
`static SubLSymbol`	`$sym107$ALL_SPEC_PREDS_WRT_ARG`
`static SubLSymbol`	`$sym112$CLET`
`static SubLSymbol`	`$sym113$_SBHL_ARG_TYPE_ALIST_`
`static SubLSymbol`	`$sym115$SBHL_INITIALIZE_ARG_TYPE_GENLS_STORES`
`static SubLSymbol`	`$sym116$SBHL_ARG_TYPES_ALIST_SATISFIED_P`
`static SubLSymbol`	`$sym12$MIN_GENL_INVERSES`
`static SubLSymbol`	`$sym124$MIN_PREDICATES`
`static SubLSymbol`	`$sym126$MAX_PREDICATES`
`static SubLSymbol`	`$sym128$MIN_CEILING_PREDICATES`
`static SubLSymbol`	`$sym132$MAX_FLOOR_PREDICATES`
`static SubLSymbol`	`$sym134$GENL_PREDICATE_`
`static SubLSymbol`	`$sym139$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym14$NOT_GENL_PREDICATES`
`static SubLSymbol`	`$sym141$SPEC_PREDICATE_`
`static SubLSymbol`	`$sym144$GENL_INVERSE_`
`static SubLSymbol`	`$sym146$SPEC_INVERSE_`
`static SubLSymbol`	`$sym147$ANY_GENL_PREDICATE_`
`static SubLSymbol`	`$sym151$NOT_GENL_PREDICATE_`
`static SubLSymbol`	`$sym155$NOT_GENL_INVERSE_`
`static SubLSymbol`	`$sym157$ANY_NOT_GENL_PREDICATE_`
`static SubLSymbol`	`$sym16$MAX_NOT_GENL_PREDICATES`
`static SubLSymbol`	`$sym161$HLMT_P`
`static SubLSymbol`	`$sym162$TV_P`
`static SubLSymbol`	`$sym163$INTERSECTING_PREDICATES_`
`static SubLSymbol`	`$sym167$WHY_GENL_PREDICATE_`
`static SubLSymbol`	`$sym171$WHY_NOT_GENL_PREDICATE_`
`static SubLSymbol`	`$sym173$WHY_GENL_INVERSE_`
`static SubLSymbol`	`$sym178$WHY_NOT_GENL_INVERSE_`
`static SubLSymbol`	`$sym18$NOT_GENL_INVERSES`
`static SubLSymbol`	`$sym181$MAX_FLOOR_MTS_OF_GENL_PREDICATE_PATHS`
`static SubLSymbol`	`$sym184$MAX_FLOOR_MTS_OF_GENL_INVERSE_PATHS`
`static SubLSymbol`	`$sym188$CACHED_CANDIDATE_GENL_PREDS`
`static SubLSymbol`	`$sym189$_CACHED_CANDIDATE_GENL_PREDS_CACHING_STATE_`
`static SubLSymbol`	`$sym19$MAX_NOT_GENL_INVERSES`
`static SubLSymbol`	`$sym192$CACHED_CANDIDATE_GENL_PREDS_IN_MT`
`static SubLSymbol`	`$sym193$_CACHED_CANDIDATE_GENL_PREDS_IN_MT_CACHING_STATE_`
`static SubLSymbol`	`$sym196$CANDIDATE_PREDS_FOR_ARG_ISA`
`static SubLSymbol`	`$sym197$CANDIDATE_PREDS_FOR_ARG_GENL`
`static SubLSymbol`	`$sym198$MAX`
`static SubLSymbol`	`$sym199$ARITY`
`static SubLSymbol`	`$sym2$GENL_PREDICATES`
`static SubLSymbol`	`$sym20$SPEC_PREDICATES`
`static SubLSymbol`	`$sym200$GENL_PREDICATE_AFTER_ADDING`
`static SubLSymbol`	`$sym201$ADD_GENL_PREDICATE`
`static SubLSymbol`	`$sym202$GENL_INVERSE_AFTER_ADDING`
`static SubLSymbol`	`$sym203$ADD_GENL_INVERSE`
`static SubLSymbol`	`$sym204$REMOVE_GENL_PREDICATE`
`static SubLSymbol`	`$sym205$REMOVE_GENL_INVERSE`
`static SubLSymbol`	`$sym206$GENL_PREDICATE_AFTER_REMOVING`
`static SubLSymbol`	`$sym207$GENL_INVERSE_AFTER_REMOVING`
`static SubLSymbol`	`$sym22$MAX_SPEC_PREDICATES`
`static SubLSymbol`	`$sym24$SPEC_INVERSES`
`static SubLSymbol`	`$sym26$MAX_SPEC_INVERSES`
`static SubLSymbol`	`$sym28$NOT_SPEC_PREDICATES`
`static SubLSymbol`	`$sym30$MIN_NOT_SPEC_PREDICATES`
`static SubLSymbol`	`$sym32$NOT_SPEC_INVERSES`
`static SubLSymbol`	`$sym33$MIN_NOT_SPEC_INVERSES`
`static SubLSymbol`	`$sym34$GENL_PREDICATE_SIBLINGS`
`static SubLSymbol`	`$sym36$GENL_INVERSE_SIBLINGS`
`static SubLSymbol`	`$sym38$SPEC_PREDICATE_SIBLINGS`
`static SubLSymbol`	`$sym40$SPEC_INVERSE_SIBLINGS`
`static SubLSymbol`	`$sym42$GENL_PREDICATE_ROOTS`
`static SubLSymbol`	`$sym44$GENL_INVERSE_ROOTS`
`static SubLSymbol`	`$sym46$ALL_GENL_PREDICATES`
`static SubLSymbol`	`$sym51$RELEVANT_SBHL_TV_IS_GENERAL_TV`
`static SubLSymbol`	`$sym54$SBHL_TRUE_TV_P`
`static SubLSymbol`	`$sym61$ALL_GENL_INVERSES`
`static SubLSymbol`	`$sym62$ALL_SPEC_PREDICATES`
`static SubLSymbol`	`$sym64$ALL_SPEC_INVERSES`
`static SubLSymbol`	`$sym66$EL_FORT_P`
`static SubLSymbol`	`$sym67$LISTP`
`static SubLSymbol`	`$sym68$ALL_GENL_PREDS_AMONG`
`static SubLSymbol`	`$sym7$MIN_GENL_PREDICATES`
`static SubLSymbol`	`$sym72$ALL_NOT_GENL_PREDICATES`
`static SubLSymbol`	`$sym74$ALL_NOT_GENL_INVERSES`
`static SubLSymbol`	`$sym75$ALL_NOT_SPEC_PREDICATES`
`static SubLSymbol`	`$sym77$ALL_NOT_SPEC_INVERSES`
`static SubLSymbol`	`$sym79$UNION_ALL_GENL_PREDICATES`
`static SubLSymbol`	`$sym83$UNION_ALL_SPEC_PREDICATES`
`static SubLSymbol`	`$sym85$UNION_ALL_GENL_INVERSES`
`static SubLSymbol`	`$sym87$UNION_ALL_SPEC_INVERSES`
`static SubLSymbol`	`$sym89$FUNCTION_SPEC_P`
`static SubLSymbol`	`$sym90$MAP_ALL_GENL_PREDS`
`static SubLSymbol`	`$sym94$SOME_ALL_GENL_PREDS`
`static SubLSymbol`	`$sym96$SOME_ALL_GENL_INVERSES`
`static SubLSymbol`	`$sym97$MAP_ALL_SPEC_PREDS`
`static SubLSymbol`	`$sym98$SOME_ALL_SPEC_PREDS`
`static SubLSymbol`	`$sym99$INTEGERP`
`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`	`add_genl_inverse(SubLObject source, SubLObject assertion)` Modifier.
`static SubLObject`	`add_genl_predicate(SubLObject source, SubLObject assertion)` Modifier.
`static SubLObject`	`all_genl_inverses(SubLObject pred, SubLObject mt, SubLObject tv)` Returns all genlPreds of predicate PRED (ascending transitive closure; inexpensive)
`static SubLObject`	`all_genl_predicates(SubLObject pred, SubLObject mt, SubLObject tv)` Returns all genlPreds of predicate PRED (ascending transitive closure; inexpensive)
`static SubLObject`	`all_genl_preds(SubLObject pred, SubLObject mt, SubLObject tv)`
`static SubLObject`	`all_proper_genl_inverses(SubLObject pred, SubLObject mt, SubLObject tv)` Returns all genlInverses of predicate PRED, but will not return PRED if it is a genlInverse of itself.
`static SubLObject`	`all_proper_genl_predicates(SubLObject pred, SubLObject mt, SubLObject tv)` Returns all genlPreds of predicate PRED, except for PRED.
`static SubLObject`	`all_spec_inverses(SubLObject pred, SubLObject mt, SubLObject tv)` Returns all predicates having PRED as a genlInverse (descending transitive closure; expensive)
`static SubLObject`	`all_spec_predicates(SubLObject pred, SubLObject mt, SubLObject tv)` Returns all predicates having PRED as a genlPred (descending transitive closure; expensive)
`static SubLObject`	`all_spec_preds(SubLObject pred, SubLObject mt, SubLObject tv)`
`static SubLObject`	`asserted_genl_inversesP(SubLObject pred, SubLObject mt)`
`static SubLObject`	`asserted_genl_predicatesP(SubLObject pred, SubLObject mt)`
`static SubLObject`	`declare_genl_predicates_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`genl_inverse_after_adding(SubLObject source, SubLObject assertion)` Modifier.
`static SubLObject`	`genl_inverse_after_removing(SubLObject source, SubLObject assertion)` Modifier.
`static SubLObject`	`genl_predicate_after_adding(SubLObject source, SubLObject assertion)` Modifier.
`static SubLObject`	`genl_predicate_after_removing(SubLObject source, SubLObject assertion)` Modifier.
`static SubLObject`	`genl_predicateP(SubLObject spec, SubLObject genl, SubLObject mt, SubLObject tv)` Is GENL a genlPred of SPEC? (ascending transitive search; inexpensive)
`static SubLObject`	`init_genl_predicates_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`max_predicates(SubLObject preds, SubLObject mt, SubLObject tv)` Returns the most-general predicates in PREDS
`static SubLObject`	`min_predicates(SubLObject preds, SubLObject mt, SubLObject tv)` Returns the most-specific predicates in PREDS
`static SubLObject`	`remove_genl_inverse(SubLObject source, SubLObject assertion)` Modifier.
`static SubLObject`	`remove_genl_predicate(SubLObject source, SubLObject assertion)` Modifier.
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_genl_predicates_file()`
`static SubLObject`	`some_all_spec_preds_and_inverses(SubLObject pred, SubLObject fn, SubLObject mt, SubLObject tv)`
`static SubLObject`	`some_genl_pred_or_inverseP_int(SubLObject pred, SubLObject mt, SubLObject tv)`
`static SubLObject`	`some_genl_pred_or_inverseP(SubLObject pred, SubLObject mt, SubLObject tv)`
`static SubLObject`	`some_spec_pred_or_inverseP_int(SubLObject pred, SubLObject mt, SubLObject tv)`
`static SubLObject`	`some_spec_pred_or_inverseP(SubLObject pred, SubLObject mt, SubLObject tv)`
`static SubLObject`	`some_spec_predicate_or_inverse_somewhereP(SubLObject pred)`

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

$sym0$FORT_P

public static final SubLSymbol $sym0$FORT_P

$const1$genlPreds

public static final SubLObject $const1$genlPreds

$sym2$GENL_PREDICATES

public static final SubLSymbol $sym2$GENL_PREDICATES

$list3

public static final SubLList $list3

$str4$Returns_the_local_genlPreds_of_PR

public static final SubLString $str4$Returns_the_local_genlPreds_of_PR

$list5

public static final SubLList $list5

$list6

public static final SubLList $list6

$sym7$MIN_GENL_PREDICATES

public static final SubLSymbol $sym7$MIN_GENL_PREDICATES

$str8$Returns_the_most_specific_local_g

public static final SubLString $str8$Returns_the_most_specific_local_g

$const9$genlInverse

public static final SubLObject $const9$genlInverse

$sym10$GENL_INVERSES

public static final SubLSymbol $sym10$GENL_INVERSES

$str11$Returns_the_local_genlInverses_of

public static final SubLString $str11$Returns_the_local_genlInverses_of

$sym12$MIN_GENL_INVERSES

public static final SubLSymbol $sym12$MIN_GENL_INVERSES

$str13$Returns_the_most_specific_local_g

public static final SubLString $str13$Returns_the_most_specific_local_g

$sym14$NOT_GENL_PREDICATES

public static final SubLSymbol $sym14$NOT_GENL_PREDICATES

$str15$Returns_the_local_negated_genlPre

public static final SubLString $str15$Returns_the_local_negated_genlPre

$sym16$MAX_NOT_GENL_PREDICATES

public static final SubLSymbol $sym16$MAX_NOT_GENL_PREDICATES

$str17$Returns_the_most_general_local_ne

public static final SubLString $str17$Returns_the_most_general_local_ne

$sym18$NOT_GENL_INVERSES

public static final SubLSymbol $sym18$NOT_GENL_INVERSES

$sym19$MAX_NOT_GENL_INVERSES

public static final SubLSymbol $sym19$MAX_NOT_GENL_INVERSES

$sym20$SPEC_PREDICATES

public static final SubLSymbol $sym20$SPEC_PREDICATES

$str21$Returns_the_specPreds_of_PRED

public static final SubLString $str21$Returns_the_specPreds_of_PRED

$sym22$MAX_SPEC_PREDICATES

public static final SubLSymbol $sym22$MAX_SPEC_PREDICATES

$str23$Returns_the_most_general_specPred

public static final SubLString $str23$Returns_the_most_general_specPred

$sym24$SPEC_INVERSES

public static final SubLSymbol $sym24$SPEC_INVERSES

$str25$Returns_the_specInverses_of_PRED

public static final SubLString $str25$Returns_the_specInverses_of_PRED

$sym26$MAX_SPEC_INVERSES

public static final SubLSymbol $sym26$MAX_SPEC_INVERSES

$str27$Returns_the_most_general_specInve

public static final SubLString $str27$Returns_the_most_general_specInve

$sym28$NOT_SPEC_PREDICATES

public static final SubLSymbol $sym28$NOT_SPEC_PREDICATES

$str29$Returns_the_negated_specPreds_of_

public static final SubLString $str29$Returns_the_negated_specPreds_of_

$sym30$MIN_NOT_SPEC_PREDICATES

public static final SubLSymbol $sym30$MIN_NOT_SPEC_PREDICATES

$str31$Returns_the_most_specific_negated

public static final SubLString $str31$Returns_the_most_specific_negated

$sym32$NOT_SPEC_INVERSES

public static final SubLSymbol $sym32$NOT_SPEC_INVERSES

$sym33$MIN_NOT_SPEC_INVERSES

public static final SubLSymbol $sym33$MIN_NOT_SPEC_INVERSES

$sym34$GENL_PREDICATE_SIBLINGS

public static final SubLSymbol $sym34$GENL_PREDICATE_SIBLINGS

$str35$Returns_the_direct___genlPreds_of

public static final SubLString $str35$Returns_the_direct___genlPreds_of

$sym36$GENL_INVERSE_SIBLINGS

public static final SubLSymbol $sym36$GENL_INVERSE_SIBLINGS

$str37$Returns_the_direct___genlInverse_

public static final SubLString $str37$Returns_the_direct___genlInverse_

$sym38$SPEC_PREDICATE_SIBLINGS

public static final SubLSymbol $sym38$SPEC_PREDICATE_SIBLINGS

$str39$Returns_the_direct_spec_preds_of_

public static final SubLString $str39$Returns_the_direct_spec_preds_of_

$sym40$SPEC_INVERSE_SIBLINGS

public static final SubLSymbol $sym40$SPEC_INVERSE_SIBLINGS

$str41$Returns_the_direct_spec_inverses_

public static final SubLString $str41$Returns_the_direct_spec_inverses_

$sym42$GENL_PREDICATE_ROOTS

public static final SubLSymbol $sym42$GENL_PREDICATE_ROOTS

$str43$Returns_the_most_general_genlPred

public static final SubLString $str43$Returns_the_most_general_genlPred

$sym44$GENL_INVERSE_ROOTS

public static final SubLSymbol $sym44$GENL_INVERSE_ROOTS

$str45$Returns_the_most_general_genlInve

public static final SubLString $str45$Returns_the_most_general_genlInve

$sym46$ALL_GENL_PREDICATES

public static final SubLSymbol $sym46$ALL_GENL_PREDICATES

$str47$Returns_all_genlPreds_of_predicat

public static final SubLString $str47$Returns_all_genlPreds_of_predicat

$kw48$DEPTH

public static final SubLSymbol $kw48$DEPTH

$kw49$STACK

public static final SubLSymbol $kw49$STACK

$kw50$QUEUE

public static final SubLSymbol $kw50$QUEUE

$sym51$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym51$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw52$ERROR

public static final SubLSymbol $kw52$ERROR

$str53$_A_is_not_a__A

public static final SubLString $str53$_A_is_not_a__A

$sym54$SBHL_TRUE_TV_P

public static final SubLSymbol $sym54$SBHL_TRUE_TV_P

$kw55$CERROR

public static final SubLSymbol $kw55$CERROR

$str56$continue_anyway

public static final SubLString $str56$continue_anyway

$kw57$WARN

public static final SubLSymbol $kw57$WARN

$str58$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str58$_A_is_not_a_valid__sbhl_type_erro

$str59$attempting_to_bind_direction_link

public static final SubLString $str59$attempting_to_bind_direction_link

$str60$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str60$Node__a_does_not_pass_sbhl_type_t

$sym61$ALL_GENL_INVERSES

public static final SubLSymbol $sym61$ALL_GENL_INVERSES

$sym62$ALL_SPEC_PREDICATES

public static final SubLSymbol $sym62$ALL_SPEC_PREDICATES

$str63$Returns_all_predicates_having_PRE

public static final SubLString $str63$Returns_all_predicates_having_PRE

$sym64$ALL_SPEC_INVERSES

public static final SubLSymbol $sym64$ALL_SPEC_INVERSES

$str65$Returns_all_predicates_having_PRE

public static final SubLString $str65$Returns_all_predicates_having_PRE

$sym66$EL_FORT_P

public static final SubLSymbol $sym66$EL_FORT_P

$sym67$LISTP

public static final SubLSymbol $sym67$LISTP

$sym68$ALL_GENL_PREDS_AMONG

public static final SubLSymbol $sym68$ALL_GENL_PREDS_AMONG

$list69

public static final SubLList $list69

$str70$Returns_those_genlPreds_of_PRED_t

public static final SubLString $str70$Returns_those_genlPreds_of_PRED_t

$list71

public static final SubLList $list71

$sym72$ALL_NOT_GENL_PREDICATES

public static final SubLSymbol $sym72$ALL_NOT_GENL_PREDICATES

$str73$Returns_all_negated_genlPreds_of_

public static final SubLString $str73$Returns_all_negated_genlPreds_of_

$sym74$ALL_NOT_GENL_INVERSES

public static final SubLSymbol $sym74$ALL_NOT_GENL_INVERSES

$sym75$ALL_NOT_SPEC_PREDICATES

public static final SubLSymbol $sym75$ALL_NOT_SPEC_PREDICATES

$str76$Returns_all_negated_specPreds_of_

public static final SubLString $str76$Returns_all_negated_specPreds_of_

$sym77$ALL_NOT_SPEC_INVERSES

public static final SubLSymbol $sym77$ALL_NOT_SPEC_INVERSES

$str78$Returns_all_predicates_having_PRE

public static final SubLString $str78$Returns_all_predicates_having_PRE

$sym79$UNION_ALL_GENL_PREDICATES

public static final SubLSymbol $sym79$UNION_ALL_GENL_PREDICATES

$list80

public static final SubLList $list80

$str81$Returns_all_genl_predicates_of_ea

public static final SubLString $str81$Returns_all_genl_predicates_of_ea

$list82

public static final SubLList $list82

$sym83$UNION_ALL_SPEC_PREDICATES

public static final SubLSymbol $sym83$UNION_ALL_SPEC_PREDICATES

$str84$Returns_all_spec_predicates_of_ea

public static final SubLString $str84$Returns_all_spec_predicates_of_ea

$sym85$UNION_ALL_GENL_INVERSES

public static final SubLSymbol $sym85$UNION_ALL_GENL_INVERSES

$str86$Returns_all_genl_inverses_of_each

public static final SubLString $str86$Returns_all_genl_inverses_of_each

$sym87$UNION_ALL_SPEC_INVERSES

public static final SubLSymbol $sym87$UNION_ALL_SPEC_INVERSES

$str88$Returns_all_specs_of_each_predica

public static final SubLString $str88$Returns_all_specs_of_each_predica

$sym89$FUNCTION_SPEC_P

public static final SubLSymbol $sym89$FUNCTION_SPEC_P

$sym90$MAP_ALL_GENL_PREDS

public static final SubLSymbol $sym90$MAP_ALL_GENL_PREDS

$list91

public static final SubLList $list91

$str92$Apply_FN_to_each_genlPred_of_PRED

public static final SubLString $str92$Apply_FN_to_each_genlPred_of_PRED

$list93

public static final SubLList $list93

$sym94$SOME_ALL_GENL_PREDS

public static final SubLSymbol $sym94$SOME_ALL_GENL_PREDS

$str95$Apply_FN_to_each_genlPred_of_PRED

public static final SubLString $str95$Apply_FN_to_each_genlPred_of_PRED

$sym96$SOME_ALL_GENL_INVERSES

public static final SubLSymbol $sym96$SOME_ALL_GENL_INVERSES

$sym97$MAP_ALL_SPEC_PREDS

public static final SubLSymbol $sym97$MAP_ALL_SPEC_PREDS

$sym98$SOME_ALL_SPEC_PREDS

public static final SubLSymbol $sym98$SOME_ALL_SPEC_PREDS

$sym99$INTEGERP

public static final SubLSymbol $sym99$INTEGERP

$const100$genls

public static final SubLObject $const100$genls

$sym101$GATHER_IF_SEARCHED_ARG_CONSTRAINTS

public static final SubLSymbol $sym101$GATHER_IF_SEARCHED_ARG_CONSTRAINTS

$sym102$ALL_SPEC_PREDS_WRT_TYPE

public static final SubLSymbol $sym102$ALL_SPEC_PREDS_WRT_TYPE

$list103

public static final SubLList $list103

$str104$Returns_those_all_spec_preds_of_P

public static final SubLString $str104$Returns_those_all_spec_preds_of_P

$list105

public static final SubLList $list105

$const106$isa

public static final SubLObject $const106$isa

$sym107$ALL_SPEC_PREDS_WRT_ARG

public static final SubLSymbol $sym107$ALL_SPEC_PREDS_WRT_ARG

$list108

public static final SubLList $list108

$str109$Returns_those_all_spec_preds_of_P

public static final SubLString $str109$Returns_those_all_spec_preds_of_P

$list110

public static final SubLList $list110

$list111

public static final SubLList $list111

$sym112$CLET

public static final SubLSymbol $sym112$CLET

$sym113$_SBHL_ARG_TYPE_ALIST_

public static final SubLSymbol $sym113$_SBHL_ARG_TYPE_ALIST_

$list114

public static final SubLList $list114

$sym115$SBHL_INITIALIZE_ARG_TYPE_GENLS_STORES

public static final SubLSymbol $sym115$SBHL_INITIALIZE_ARG_TYPE_GENLS_STORES

$sym116$SBHL_ARG_TYPES_ALIST_SATISFIED_P

public static final SubLSymbol $sym116$SBHL_ARG_TYPES_ALIST_SATISFIED_P

$const117$typedGenlPreds

public static final SubLObject $const117$typedGenlPreds

$kw118$GAF

public static final SubLSymbol $kw118$GAF

$kw119$TRUE

public static final SubLSymbol $kw119$TRUE

$const120$typedGenlInverse

public static final SubLObject $const120$typedGenlInverse

$const121$True_JustificationTruth

public static final SubLObject $const121$True_JustificationTruth

$kw122$OLD

public static final SubLSymbol $kw122$OLD

$kw123$RESOURCE

public static final SubLSymbol $kw123$RESOURCE

$sym124$MIN_PREDICATES

public static final SubLSymbol $sym124$MIN_PREDICATES

$str125$Returns_the_most_specific_predica

public static final SubLString $str125$Returns_the_most_specific_predica

$sym126$MAX_PREDICATES

public static final SubLSymbol $sym126$MAX_PREDICATES

$str127$Returns_the_most_general_predicat

public static final SubLString $str127$Returns_the_most_general_predicat

$sym128$MIN_CEILING_PREDICATES

public static final SubLSymbol $sym128$MIN_CEILING_PREDICATES

$list129

public static final SubLList $list129

$str130$Returns_the_most_specific_common_

public static final SubLString $str130$Returns_the_most_specific_common_

$list131

public static final SubLList $list131

$sym132$MAX_FLOOR_PREDICATES

public static final SubLSymbol $sym132$MAX_FLOOR_PREDICATES

$str133$Returns_the_most_general_common_s

public static final SubLString $str133$Returns_the_most_general_common_s

$sym134$GENL_PREDICATE_

public static final SubLSymbol $sym134$GENL_PREDICATE_

$list135

public static final SubLList $list135

$str136$Is_GENL_a_genlPred_of_SPEC______a

public static final SubLString $str136$Is_GENL_a_genlPred_of_SPEC______a

$list137

public static final SubLList $list137

$list138

public static final SubLList $list138

$sym139$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym139$RELEVANT_MT_IS_EVERYTHING

$const140$EverythingPSC

public static final SubLObject $const140$EverythingPSC

$sym141$SPEC_PREDICATE_

public static final SubLSymbol $sym141$SPEC_PREDICATE_

$list142

public static final SubLList $list142

$list143

public static final SubLList $list143

$sym144$GENL_INVERSE_

public static final SubLSymbol $sym144$GENL_INVERSE_

$str145$Is_GENL_a_genlInverse_of_SPEC____

public static final SubLString $str145$Is_GENL_a_genlInverse_of_SPEC____

$sym146$SPEC_INVERSE_

public static final SubLSymbol $sym146$SPEC_INVERSE_

$sym147$ANY_GENL_PREDICATE_

public static final SubLSymbol $sym147$ANY_GENL_PREDICATE_

$list148

public static final SubLList $list148

$str149$Returns_T_iff__genl_predicate__SP

public static final SubLString $str149$Returns_T_iff__genl_predicate__SP

$list150

public static final SubLList $list150

$sym151$NOT_GENL_PREDICATE_

public static final SubLSymbol $sym151$NOT_GENL_PREDICATE_

$list152

public static final SubLList $list152

$str153$Is_NOT_GENL_known_to_be_not_a_gen

public static final SubLString $str153$Is_NOT_GENL_known_to_be_not_a_gen

$list154

public static final SubLList $list154

$sym155$NOT_GENL_INVERSE_

public static final SubLSymbol $sym155$NOT_GENL_INVERSE_

$str156$Is_NOT_GENL_a_negated_genlInverse

public static final SubLString $str156$Is_NOT_GENL_a_negated_genlInverse

$sym157$ANY_NOT_GENL_PREDICATE_

public static final SubLSymbol $sym157$ANY_NOT_GENL_PREDICATE_

$list158

public static final SubLList $list158

$str159$Is_any_predicate_in_NOT_GENLS_not

public static final SubLString $str159$Is_any_predicate_in_NOT_GENLS_not

$list160

public static final SubLList $list160

$sym161$HLMT_P

public static final SubLSymbol $sym161$HLMT_P

$sym162$TV_P

public static final SubLSymbol $sym162$TV_P

$sym163$INTERSECTING_PREDICATES_

public static final SubLSymbol $sym163$INTERSECTING_PREDICATES_

$list164

public static final SubLList $list164

$str165$Does_the_extension_of_PRED1_inclu

public static final SubLString $str165$Does_the_extension_of_PRED1_inclu

$list166

public static final SubLList $list166

$sym167$WHY_GENL_PREDICATE_

public static final SubLSymbol $sym167$WHY_GENL_PREDICATE_

$list168

public static final SubLList $list168

$str169$A_justification_of__genlPreds_SPE

public static final SubLString $str169$A_justification_of__genlPreds_SPE

$list170

public static final SubLList $list170

$sym171$WHY_NOT_GENL_PREDICATE_

public static final SubLSymbol $sym171$WHY_NOT_GENL_PREDICATE_

$str172$A_justification_ofnotgenlPred

public static final SubLString $str172$A_justification_of__not__genlPred

$sym173$WHY_GENL_INVERSE_

public static final SubLSymbol $sym173$WHY_GENL_INVERSE_

$list174

public static final SubLList $list174

$str175$A_justification_of__genlInverse_P

public static final SubLString $str175$A_justification_of__genlInverse_P

$list176

public static final SubLList $list176

$const177$genlMt

public static final SubLObject $const177$genlMt

$sym178$WHY_NOT_GENL_INVERSE_

public static final SubLSymbol $sym178$WHY_NOT_GENL_INVERSE_

$str179$A_justification_ofnotgenlInve

public static final SubLString $str179$A_justification_of__not__genlInve

$kw180$ASSERTION

public static final SubLSymbol $kw180$ASSERTION

$sym181$MAX_FLOOR_MTS_OF_GENL_PREDICATE_PATHS

public static final SubLSymbol $sym181$MAX_FLOOR_MTS_OF_GENL_PREDICATE_PATHS

$list182

public static final SubLList $list182

$str183$_return_listp__In_what__most_genl

public static final SubLString $str183$_return_listp__In_what__most_genl

$sym184$MAX_FLOOR_MTS_OF_GENL_INVERSE_PATHS

public static final SubLSymbol $sym184$MAX_FLOOR_MTS_OF_GENL_INVERSE_PATHS

$list185

public static final SubLList $list185

$str186$In_what__most_genl__mts_is_GENL_I

public static final SubLString $str186$In_what__most_genl__mts_is_GENL_I

$list187

public static final SubLList $list187

$sym188$CACHED_CANDIDATE_GENL_PREDS

public static final SubLSymbol $sym188$CACHED_CANDIDATE_GENL_PREDS

$sym189$_CACHED_CANDIDATE_GENL_PREDS_CACHING_STATE_

public static final SubLSymbol $sym189$_CACHED_CANDIDATE_GENL_PREDS_CACHING_STATE_

$int190$64

public static final SubLInteger $int190$64

$kw191$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw191$_MEMOIZED_ITEM_NOT_FOUND_

$sym192$CACHED_CANDIDATE_GENL_PREDS_IN_MT

public static final SubLSymbol $sym192$CACHED_CANDIDATE_GENL_PREDS_IN_MT

$sym193$_CACHED_CANDIDATE_GENL_PREDS_IN_MT_CACHING_STATE_

public static final SubLSymbol $sym193$_CACHED_CANDIDATE_GENL_PREDS_IN_MT_CACHING_STATE_

$kw194$ISA

public static final SubLSymbol $kw194$ISA

$kw195$GENL

public static final SubLSymbol $kw195$GENL

$sym196$CANDIDATE_PREDS_FOR_ARG_ISA

public static final SubLSymbol $sym196$CANDIDATE_PREDS_FOR_ARG_ISA

$sym197$CANDIDATE_PREDS_FOR_ARG_GENL

public static final SubLSymbol $sym197$CANDIDATE_PREDS_FOR_ARG_GENL

$sym198$MAX

public static final SubLSymbol $sym198$MAX

$sym199$ARITY

public static final SubLSymbol $sym199$ARITY

$sym200$GENL_PREDICATE_AFTER_ADDING

public static final SubLSymbol $sym200$GENL_PREDICATE_AFTER_ADDING

$sym201$ADD_GENL_PREDICATE

public static final SubLSymbol $sym201$ADD_GENL_PREDICATE

$sym202$GENL_INVERSE_AFTER_ADDING

public static final SubLSymbol $sym202$GENL_INVERSE_AFTER_ADDING

$sym203$ADD_GENL_INVERSE

public static final SubLSymbol $sym203$ADD_GENL_INVERSE

$sym204$REMOVE_GENL_PREDICATE

public static final SubLSymbol $sym204$REMOVE_GENL_PREDICATE

$sym205$REMOVE_GENL_INVERSE

public static final SubLSymbol $sym205$REMOVE_GENL_INVERSE

$sym206$GENL_PREDICATE_AFTER_REMOVING

public static final SubLSymbol $sym206$GENL_PREDICATE_AFTER_REMOVING

$sym207$GENL_INVERSE_AFTER_REMOVING

public static final SubLSymbol $sym207$GENL_INVERSE_AFTER_REMOVING

Method Detail

all_genl_predicates

public static final SubLObject all_genl_predicates(SubLObject pred,
                                                   SubLObject mt,
                                                   SubLObject tv)

Returns all genlPreds of predicate PRED (ascending transitive closure; inexpensive)

all_genl_preds

public static final SubLObject all_genl_preds(SubLObject pred,
                                              SubLObject mt,
                                              SubLObject tv)

all_genl_inverses

public static final SubLObject all_genl_inverses(SubLObject pred,
                                                 SubLObject mt,
                                                 SubLObject tv)

Returns all genlPreds of predicate PRED (ascending transitive closure; inexpensive)

all_spec_predicates

public static final SubLObject all_spec_predicates(SubLObject pred,
                                                   SubLObject mt,
                                                   SubLObject tv)

Returns all predicates having PRED as a genlPred (descending transitive closure; expensive)

all_spec_preds

public static final SubLObject all_spec_preds(SubLObject pred,
                                              SubLObject mt,
                                              SubLObject tv)

all_spec_inverses

public static final SubLObject all_spec_inverses(SubLObject pred,
                                                 SubLObject mt,
                                                 SubLObject tv)

Returns all predicates having PRED as a genlInverse (descending transitive closure; expensive)

all_proper_genl_predicates

public static final SubLObject all_proper_genl_predicates(SubLObject pred,
                                                          SubLObject mt,
                                                          SubLObject tv)

Returns all genlPreds of predicate PRED, except for PRED. (ascending transitive closure; inexpensive)

all_proper_genl_inverses

public static final SubLObject all_proper_genl_inverses(SubLObject pred,
                                                        SubLObject mt,
                                                        SubLObject tv)

Returns all genlInverses of predicate PRED, but will not return PRED if it is a genlInverse of itself. (ascending transitive closure; inexpensive)

some_all_spec_preds_and_inverses

public static final SubLObject some_all_spec_preds_and_inverses(SubLObject pred,
                                                                SubLObject fn,
                                                                SubLObject mt,
                                                                SubLObject tv)

min_predicates

public static final SubLObject min_predicates(SubLObject preds,
                                              SubLObject mt,
                                              SubLObject tv)

Returns the most-specific predicates in PREDS

max_predicates

public static final SubLObject max_predicates(SubLObject preds,
                                              SubLObject mt,
                                              SubLObject tv)

Returns the most-general predicates in PREDS

some_spec_predicate_or_inverse_somewhereP

public static final SubLObject some_spec_predicate_or_inverse_somewhereP(SubLObject pred)

genl_predicateP

public static final SubLObject genl_predicateP(SubLObject spec,
                                               SubLObject genl,
                                               SubLObject mt,
                                               SubLObject tv)

Is GENL a genlPred of SPEC? (ascending transitive search; inexpensive)

some_genl_pred_or_inverseP

public static final SubLObject some_genl_pred_or_inverseP(SubLObject pred,
                                                          SubLObject mt,
                                                          SubLObject tv)

Returns:: booleanp; whether PRED has some genlPred (other than itself) or some genlInverse?

some_genl_pred_or_inverseP_int

public static final SubLObject some_genl_pred_or_inverseP_int(SubLObject pred,
                                                              SubLObject mt,
                                                              SubLObject tv)

some_spec_pred_or_inverseP

public static final SubLObject some_spec_pred_or_inverseP(SubLObject pred,
                                                          SubLObject mt,
                                                          SubLObject tv)

Returns:: booleanp; whether PRED is the genlPred of some other pred or genlInverse of some other pred?

some_spec_pred_or_inverseP_int

public static final SubLObject some_spec_pred_or_inverseP_int(SubLObject pred,
                                                              SubLObject mt,
                                                              SubLObject tv)

asserted_genl_predicatesP

public static final SubLObject asserted_genl_predicatesP(SubLObject pred,
                                                         SubLObject mt)

Returns:: booleanp; whether there are any asserted true genl-predicate links for PRED.

asserted_genl_inversesP

public static final SubLObject asserted_genl_inversesP(SubLObject pred,
                                                       SubLObject mt)

Returns:: booleanp; whether there are any asserted true genl-inverse links for PRED.

genl_predicate_after_adding

public static final SubLObject genl_predicate_after_adding(SubLObject source,
                                                           SubLObject assertion)

Modifier. Adds sbhl links with @see sbhl-after-adding.

add_genl_predicate

public static final SubLObject add_genl_predicate(SubLObject source,
                                                  SubLObject assertion)

Modifier. Adds sbhl links with @see sbhl-after-adding.

genl_inverse_after_adding

public static final SubLObject genl_inverse_after_adding(SubLObject source,
                                                         SubLObject assertion)

Modifier. Adds sbhl links with @see sbhl-after-adding.

add_genl_inverse

public static final SubLObject add_genl_inverse(SubLObject source,
                                                SubLObject assertion)

Modifier. Adds sbhl links with @see sbhl-after-adding.

remove_genl_predicate

public static final SubLObject remove_genl_predicate(SubLObject source,
                                                     SubLObject assertion)

Modifier. Removes sbhl links with @see sbhl-after-removing.

remove_genl_inverse

public static final SubLObject remove_genl_inverse(SubLObject source,
                                                   SubLObject assertion)

Modifier. Removes sbhl links with @see sbhl-after-removing.

genl_predicate_after_removing

public static final SubLObject genl_predicate_after_removing(SubLObject source,
                                                             SubLObject assertion)

Modifier. Removes sbhl links with @see sbhl-after-removing.

genl_inverse_after_removing

public static final SubLObject genl_inverse_after_removing(SubLObject source,
                                                           SubLObject assertion)

Modifier. Removes sbhl links with @see sbhl-after-removing.

declare_genl_predicates_file

public static final SubLObject declare_genl_predicates_file()

init_genl_predicates_file

public static final SubLObject init_genl_predicates_file()

setup_genl_predicates_file

public static final SubLObject setup_genl_predicates_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 genl_predicates

me

myName

$sym0$FORT_P

$const1$genlPreds

$sym2$GENL_PREDICATES

$list3

$str4$Returns_the_local_genlPreds_of_PR

$list5

$list6

$sym7$MIN_GENL_PREDICATES

$str8$Returns_the_most_specific_local_g

$const9$genlInverse

$sym10$GENL_INVERSES

$str11$Returns_the_local_genlInverses_of

$sym12$MIN_GENL_INVERSES

$str13$Returns_the_most_specific_local_g

$sym14$NOT_GENL_PREDICATES

$str15$Returns_the_local_negated_genlPre

$sym16$MAX_NOT_GENL_PREDICATES

$str17$Returns_the_most_general_local_ne

$sym18$NOT_GENL_INVERSES

$sym19$MAX_NOT_GENL_INVERSES

$sym20$SPEC_PREDICATES

$str21$Returns_the_specPreds_of_PRED

$sym22$MAX_SPEC_PREDICATES

$str23$Returns_the_most_general_specPred

$sym24$SPEC_INVERSES

$str25$Returns_the_specInverses_of_PRED

$sym26$MAX_SPEC_INVERSES

$str27$Returns_the_most_general_specInve

$sym28$NOT_SPEC_PREDICATES

$str29$Returns_the_negated_specPreds_of_

$sym30$MIN_NOT_SPEC_PREDICATES

$str31$Returns_the_most_specific_negated

$sym32$NOT_SPEC_INVERSES

$sym33$MIN_NOT_SPEC_INVERSES

$sym34$GENL_PREDICATE_SIBLINGS

$str35$Returns_the_direct___genlPreds_of

$sym36$GENL_INVERSE_SIBLINGS

$str37$Returns_the_direct___genlInverse_

$sym38$SPEC_PREDICATE_SIBLINGS

$str39$Returns_the_direct_spec_preds_of_

$sym40$SPEC_INVERSE_SIBLINGS

$str41$Returns_the_direct_spec_inverses_

$sym42$GENL_PREDICATE_ROOTS

$str43$Returns_the_most_general_genlPred

$sym44$GENL_INVERSE_ROOTS

$str45$Returns_the_most_general_genlInve

$sym46$ALL_GENL_PREDICATES

$str47$Returns_all_genlPreds_of_predicat

$kw48$DEPTH

$kw49$STACK

$kw50$QUEUE

$sym51$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw52$ERROR

$str53$_A_is_not_a__A

$sym54$SBHL_TRUE_TV_P

$kw55$CERROR

$str56$continue_anyway

$kw57$WARN

$str58$_A_is_not_a_valid__sbhl_type_erro

$str59$attempting_to_bind_direction_link

$str60$Node__a_does_not_pass_sbhl_type_t

$sym61$ALL_GENL_INVERSES

$sym62$ALL_SPEC_PREDICATES

$str63$Returns_all_predicates_having_PRE

$sym64$ALL_SPEC_INVERSES

$str65$Returns_all_predicates_having_PRE

$sym66$EL_FORT_P

$sym67$LISTP

$sym68$ALL_GENL_PREDS_AMONG

$list69

$str70$Returns_those_genlPreds_of_PRED_t

$list71

$sym72$ALL_NOT_GENL_PREDICATES

$str73$Returns_all_negated_genlPreds_of_

$sym74$ALL_NOT_GENL_INVERSES

$sym75$ALL_NOT_SPEC_PREDICATES

$str76$Returns_all_negated_specPreds_of_

com.cyc.cycjava.cycl
Class genl_predicates