removal_modules

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.inference.modules.removal
Class removal_modules_isa

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_isa

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class removal_modules_isa
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`removal_modules_isa.$removal_all_instances_completeness$UnaryFunction`
`static class`	`removal_modules_isa.$removal_all_instances_cost$BinaryFunction`
`static class`	`removal_modules_isa.$removal_all_instances_cost$UnaryFunction`
`static class`	`removal_modules_isa.$removal_all_isa_of_type_applicability$UnaryFunction`
`static class`	`removal_modules_isa.$removal_elementof_check_expand$BinaryFunction`
`static class`	`removal_modules_isa.$removal_elementof_check_expand$UnaryFunction`
`static class`	`removal_modules_isa.$removal_isa_collection_check_pos_cost$BinaryFunction`
`static class`	`removal_modules_isa.$removal_isa_collection_check_pos_cost$UnaryFunction`
`static class`	`removal_modules_isa.$removal_quoted_isa_collection_check_pos_cost$BinaryFunction`
`static class`	`removal_modules_isa.$removal_quoted_isa_collection_check_pos_cost$UnaryFunction`
`static class`	`removal_modules_isa.$removal_quoted_isa_collection_check_pos_expand$BinaryFunction`
`static class`	`removal_modules_isa.$removal_quoted_isa_collection_check_pos_expand$UnaryFunction`
`static class`	`removal_modules_isa.$removal_quoted_isa_defn_pos_required$BinaryFunction`
`static class`	`removal_modules_isa.$removal_quoted_isa_defn_pos_required$UnaryFunction`

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

Field Summary
`static SubLObject`	`$const0$isa`
`static SubLObject`	`$const100$subcollectionFunctionDefiningRule`
`static SubLObject`	`$const146$quotedIsa`
`static SubLObject`	`$const51$elementOf`
`static SubLObject`	`$const99$TheSetOf`
`static SubLFloat`	`$float20$0_1`
`static SubLInteger`	`$int25$30`
`static SubLInteger`	`$int48$2300`
`static SubLSymbol`	`$kw1$META_REMOVAL_COMPLETELY_ENUMERABLE_POS`
`static SubLSymbol`	`$kw10$ISA_X_Y_POS`
`static SubLSymbol`	`$kw105$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_TO_FN_UNIFY`
`static SubLSymbol`	`$kw107$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_TO_FN_CHECK`
`static SubLSymbol`	`$kw109$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_FROM_FN_UNIFY`
`static SubLSymbol`	`$kw111$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_FROM_FN_CHECK`
`static SubLSymbol`	`$kw113$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_TO_TYPE_FN_UNIFY`
`static SubLSymbol`	`$kw115$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_TO_TYPE_FN_CHECK`
`static SubLSymbol`	`$kw117$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_FROM_TYPE_FN_UNIFY`
`static SubLSymbol`	`$kw119$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_FROM_TYPE_FN_CHECK`
`static SubLSymbol`	`$kw12$ALL_INSTANCES_POS`
`static SubLSymbol`	`$kw121$REMOVAL_ISA_SUBCOLLECTION_OCCURS_AT_FN_UNIFY`
`static SubLSymbol`	`$kw123$REMOVAL_ISA_SUBCOLLECTION_OCCURS_AT_FN_CHECK`
`static SubLSymbol`	`$kw125$REMOVAL_ISA_COLLECTION_SUBSET_FN_UNIFY`
`static SubLSymbol`	`$kw127$REMOVAL_ISA_COLLECTION_SUBSET_FN_CHECK`
`static SubLSymbol`	`$kw129$REMOVAL_ISA_COLLECTION_INTERSECTION_2_FN_UNIFY`
`static SubLSymbol`	`$kw131$REMOVAL_ISA_COLLECTION_INTERSECTION_2_FN_CHECK`
`static SubLSymbol`	`$kw133$REMOVAL_ISA_COLLECTION_DIFFERENCE_FN_UNIFY`
`static SubLSymbol`	`$kw135$REMOVAL_ISA_COLLECTION_DIFFERENCE_FN_CHECK`
`static SubLSymbol`	`$kw137$REMOVAL_ALL_ISA_OF_TYPE`
`static SubLSymbol`	`$kw139$POS`
`static SubLSymbol`	`$kw14$PREFERRED`
`static SubLSymbol`	`$kw147$QUOTED_ISA_X_Y_POS`
`static SubLSymbol`	`$kw149$ALL_QUOTED_INSTANCES_POS`
`static SubLSymbol`	`$kw15$GROSSLY_DISPREFERRED`
`static SubLSymbol`	`$kw151$ALL_QUOTED_ISA_POS`
`static SubLSymbol`	`$kw153$REMOVAL_QUOTED_ISA_COLLECTION_CHECK_POS`
`static SubLSymbol`	`$kw155$REMOVAL_QUOTED_ISA_COLLECTION_CHECK_NEG`
`static SubLSymbol`	`$kw157$REMOVAL_QUOTED_ISA_DEFN_POS`
`static SubLSymbol`	`$kw159$REMOVAL_QUOTED_ISA_DEFN_NEG`
`static SubLSymbol`	`$kw16$ALL_ISA_POS`
`static SubLSymbol`	`$kw161$REMOVAL_NAT_QUOTED_ISA`
`static SubLSymbol`	`$kw163$REMOVAL_ALL_QUOTED_ISA`
`static SubLSymbol`	`$kw165$REMOVAL_NAT_ALL_QUOTED_ISA`
`static SubLSymbol`	`$kw167$REMOVAL_ALL_QUOTED_INSTANCES`
`static SubLSymbol`	`$kw18$ALL_ELEMENTOF_POS`
`static SubLSymbol`	`$kw2$META_REMOVAL_COMPLETELY_DECIDABLE_POS`
`static SubLSymbol`	`$kw21$REMOVAL_ISA_COLLECTION_CHECK_POS`
`static SubLSymbol`	`$kw23$REMOVAL_ISA_COLLECTION_CHECK_NEG`
`static SubLSymbol`	`$kw26$ISA`
`static SubLSymbol`	`$kw28$MINIMIZE`
`static SubLSymbol`	`$kw29$REMOVAL_ISA_NAUT_COLLECTION_CHECK_POS`
`static SubLSymbol`	`$kw3$REMOVAL_COMPLETELY_DECIDABLE_NEG`
`static SubLSymbol`	`$kw31$REMOVAL_ISA_NAUT_COLLECTION_LOOKUP_POS`
`static SubLSymbol`	`$kw33$TRUE`
`static SubLSymbol`	`$kw34$GAF_ARG`
`static SubLSymbol`	`$kw35$GAF`
`static SubLSymbol`	`$kw36$PREDICATE_EXTENT`
`static SubLSymbol`	`$kw37$OVERLAP`
`static SubLSymbol`	`$kw38$REMOVAL_ISA_DEFN_POS`
`static SubLSymbol`	`$kw4$REMOVAL_ABDUCTION_POS_CHECK`
`static SubLSymbol`	`$kw40$REMOVAL_ISA_DEFN_NEG`
`static SubLSymbol`	`$kw42$DEFN`
`static SubLSymbol`	`$kw43$REMOVAL_ALL_ISA`
`static SubLSymbol`	`$kw46$GROSSLY_INCOMPLETE`
`static SubLSymbol`	`$kw47$COMPLETE`
`static SubLSymbol`	`$kw49$REMOVAL_ALL_INSTANCES`
`static SubLSymbol`	`$kw5$REMOVAL_ABDUCTION_POS_UNIFY`
`static SubLSymbol`	`$kw53$ELEMENTOF`
`static SubLSymbol`	`$kw54$TRUE_MON`
`static SubLSymbol`	`$kw55$REMOVAL_ELEMENTOF_CHECK`
`static SubLSymbol`	`$kw57$REMOVAL_NOT_ELEMENTOF_CHECK`
`static SubLSymbol`	`$kw59$REMOVAL_ELEMENTOF_COLLECTION_CHECK`
`static SubLSymbol`	`$kw6$REMOVAL_RELATION_ALL_EXISTS_CHECK`
`static SubLSymbol`	`$kw61$REMOVAL_ELEMENTOF_COLLECTION_DEFN_CHECK`
`static SubLSymbol`	`$kw63$REMOVAL_ELEMENTOF_SET_CHECK`
`static SubLSymbol`	`$kw65$REMOVAL_NOT_ELEMENTOF_COLLECTION_CHECK`
`static SubLSymbol`	`$kw67$REMOVAL_NOT_ELEMENTOF_COLLECTION_DEFN_CHECK`
`static SubLSymbol`	`$kw69$REMOVAL_NOT_ELEMENTOF_SET_CHECK`
`static SubLSymbol`	`$kw7$REMOVAL_RELATION_ALL_EXISTS_UNIFY`
`static SubLSymbol`	`$kw71$OPAQUE`
`static SubLSymbol`	`$kw72$REMOVAL_ELEMENTOF_THESETOF_CHECK`
`static SubLSymbol`	`$kw74$REMOVAL_ISA_THECOLLECTIONOF_CHECK`
`static SubLSymbol`	`$kw76$QUERY`
`static SubLSymbol`	`$kw77$REMOVAL_NOT_ELEMENTOF_THESETOF_CHECK`
`static SubLSymbol`	`$kw79$REMOVAL_NOT_ISA_THECOLLECTIONOF_CHECK`
`static SubLSymbol`	`$kw8$REMOVAL_RELATION_EXISTS_ALL_CHECK`
`static SubLSymbol`	`$kw81$REMOVAL_ALL_ELEMENTOF`
`static SubLSymbol`	`$kw83$REMOVAL_NAT_ALL_ELEMENTOF`
`static SubLSymbol`	`$kw87$REMOVAL_ELEMENTOF_UNIFY`
`static SubLSymbol`	`$kw89$REMOVAL_ELEMENTOF_COLLECTION_UNIFY`
`static SubLSymbol`	`$kw9$REMOVAL_BACKCHAIN_REQUIRED_PRUNE`
`static SubLSymbol`	`$kw91$REMOVAL_ELEMENTOF_SET_UNIFY`
`static SubLSymbol`	`$kw94$HL`
`static SubLSymbol`	`$kw95$REMOVAL_ELEMENTOF_THESETOF_UNIFY`
`static SubLSymbol`	`$kw97$REMOVAL_ISA_THECOLLECTIONOF_UNIFY`
`static SubLList`	`$list104`
`static SubLList`	`$list106`
`static SubLList`	`$list108`
`static SubLList`	`$list11`
`static SubLList`	`$list110`
`static SubLList`	`$list112`
`static SubLList`	`$list114`
`static SubLList`	`$list116`
`static SubLList`	`$list118`
`static SubLList`	`$list120`
`static SubLList`	`$list122`
`static SubLList`	`$list124`
`static SubLList`	`$list126`
`static SubLList`	`$list128`
`static SubLList`	`$list13`
`static SubLList`	`$list130`
`static SubLList`	`$list132`
`static SubLList`	`$list134`
`static SubLList`	`$list136`
`static SubLList`	`$list138`
`static SubLList`	`$list141`
`static SubLList`	`$list143`
`static SubLList`	`$list144`
`static SubLList`	`$list145`
`static SubLList`	`$list148`
`static SubLList`	`$list150`
`static SubLList`	`$list152`
`static SubLList`	`$list154`
`static SubLList`	`$list156`
`static SubLList`	`$list158`
`static SubLList`	`$list160`
`static SubLList`	`$list162`
`static SubLList`	`$list164`
`static SubLList`	`$list166`
`static SubLList`	`$list168`
`static SubLList`	`$list17`
`static SubLList`	`$list19`
`static SubLList`	`$list22`
`static SubLList`	`$list24`
`static SubLList`	`$list27`
`static SubLList`	`$list30`
`static SubLList`	`$list32`
`static SubLList`	`$list39`
`static SubLList`	`$list41`
`static SubLList`	`$list44`
`static SubLList`	`$list50`
`static SubLList`	`$list52`
`static SubLList`	`$list56`
`static SubLList`	`$list58`
`static SubLList`	`$list60`
`static SubLList`	`$list62`
`static SubLList`	`$list64`
`static SubLList`	`$list66`
`static SubLList`	`$list68`
`static SubLList`	`$list70`
`static SubLList`	`$list73`
`static SubLList`	`$list75`
`static SubLList`	`$list78`
`static SubLList`	`$list80`
`static SubLList`	`$list82`
`static SubLList`	`$list84`
`static SubLList`	`$list85`
`static SubLList`	`$list86`
`static SubLList`	`$list88`
`static SubLList`	`$list90`
`static SubLList`	`$list92`
`static SubLList`	`$list96`
`static SubLList`	`$list98`
`static SubLString`	`$str101$Expected__s_to_have_only_one_free`
`static SubLString`	`$str102$Expected_exactly_one_poslit_in__S`
`static SubLString`	`$str103$Expected_exactly_one___termOfUnit`
`static SubLSymbol`	`$sym140$BINARY_CLAUSE_P`
`static SubLSymbol`	`$sym142$FORT_P`
`static SubLSymbol`	`$sym45$REMOVAL_ALL_ISA_EXPAND`
`static SubLSymbol`	`$sym93$EL_LITERAL_P`
`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`	`all_instances_pos_preference(SubLObject asent, SubLObject bindable_vars, SubLObject strategic_context)`
`static SubLObject`	`declare_removal_modules_isa_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`inference_all_instances_cost(SubLObject collection)`
`static SubLObject`	`inference_collection_iteration_completeness(SubLObject collection)`
`static SubLObject`	`init_removal_modules_isa_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`removal_all_instances_completeness(SubLObject asent)`
`static SubLObject`	`removal_all_instances_cost(SubLObject asent, SubLObject sense)`
`static SubLObject`	`removal_all_instances_iterator(SubLObject collection)`
`static SubLObject`	`removal_all_isa_expand(SubLObject asent, SubLObject sense)`
`static SubLObject`	`removal_all_isa_of_type_applicability(SubLObject contextualized_dnf_clause)`
`static SubLObject`	`removal_isa_collection_check_expand(SubLObject asent)`
`static SubLObject`	`removal_isa_collection_check_pos_cost(SubLObject asent, SubLObject sense)`
`static SubLObject`	`removal_isa_collection_check_pos_expand(SubLObject asent, SubLObject sense)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_removal_modules_isa_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

$const0$isa

public static final SubLObject $const0$isa

$kw1$META_REMOVAL_COMPLETELY_ENUMERABLE_POS

public static final SubLSymbol $kw1$META_REMOVAL_COMPLETELY_ENUMERABLE_POS

$kw2$META_REMOVAL_COMPLETELY_DECIDABLE_POS

public static final SubLSymbol $kw2$META_REMOVAL_COMPLETELY_DECIDABLE_POS

$kw3$REMOVAL_COMPLETELY_DECIDABLE_NEG

public static final SubLSymbol $kw3$REMOVAL_COMPLETELY_DECIDABLE_NEG

$kw4$REMOVAL_ABDUCTION_POS_CHECK

public static final SubLSymbol $kw4$REMOVAL_ABDUCTION_POS_CHECK

$kw5$REMOVAL_ABDUCTION_POS_UNIFY

public static final SubLSymbol $kw5$REMOVAL_ABDUCTION_POS_UNIFY

$kw6$REMOVAL_RELATION_ALL_EXISTS_CHECK

public static final SubLSymbol $kw6$REMOVAL_RELATION_ALL_EXISTS_CHECK

$kw7$REMOVAL_RELATION_ALL_EXISTS_UNIFY

public static final SubLSymbol $kw7$REMOVAL_RELATION_ALL_EXISTS_UNIFY

$kw8$REMOVAL_RELATION_EXISTS_ALL_CHECK

public static final SubLSymbol $kw8$REMOVAL_RELATION_EXISTS_ALL_CHECK

$kw9$REMOVAL_BACKCHAIN_REQUIRED_PRUNE

public static final SubLSymbol $kw9$REMOVAL_BACKCHAIN_REQUIRED_PRUNE

$kw10$ISA_X_Y_POS

public static final SubLSymbol $kw10$ISA_X_Y_POS

$list11

public static final SubLList $list11

$kw12$ALL_INSTANCES_POS

public static final SubLSymbol $kw12$ALL_INSTANCES_POS

$list13

public static final SubLList $list13

$kw14$PREFERRED

public static final SubLSymbol $kw14$PREFERRED

$kw15$GROSSLY_DISPREFERRED

public static final SubLSymbol $kw15$GROSSLY_DISPREFERRED

$kw16$ALL_ISA_POS

public static final SubLSymbol $kw16$ALL_ISA_POS

$list17

public static final SubLList $list17

$kw18$ALL_ELEMENTOF_POS

public static final SubLSymbol $kw18$ALL_ELEMENTOF_POS

$list19

public static final SubLList $list19

$float20$0_1

public static final SubLFloat $float20$0_1

$kw21$REMOVAL_ISA_COLLECTION_CHECK_POS

public static final SubLSymbol $kw21$REMOVAL_ISA_COLLECTION_CHECK_POS

$list22

public static final SubLList $list22

$kw23$REMOVAL_ISA_COLLECTION_CHECK_NEG

public static final SubLSymbol $kw23$REMOVAL_ISA_COLLECTION_CHECK_NEG

$list24

public static final SubLList $list24

$int25$30

public static final SubLInteger $int25$30

$kw26$ISA

public static final SubLSymbol $kw26$ISA

$list27

public static final SubLList $list27

$kw28$MINIMIZE

public static final SubLSymbol $kw28$MINIMIZE

$kw29$REMOVAL_ISA_NAUT_COLLECTION_CHECK_POS

public static final SubLSymbol $kw29$REMOVAL_ISA_NAUT_COLLECTION_CHECK_POS

$list30

public static final SubLList $list30

$kw31$REMOVAL_ISA_NAUT_COLLECTION_LOOKUP_POS

public static final SubLSymbol $kw31$REMOVAL_ISA_NAUT_COLLECTION_LOOKUP_POS

$list32

public static final SubLList $list32

$kw33$TRUE

public static final SubLSymbol $kw33$TRUE

$kw34$GAF_ARG

public static final SubLSymbol $kw34$GAF_ARG

$kw35$GAF

public static final SubLSymbol $kw35$GAF

$kw36$PREDICATE_EXTENT

public static final SubLSymbol $kw36$PREDICATE_EXTENT

$kw37$OVERLAP

public static final SubLSymbol $kw37$OVERLAP

$kw38$REMOVAL_ISA_DEFN_POS

public static final SubLSymbol $kw38$REMOVAL_ISA_DEFN_POS

$list39

public static final SubLList $list39

$kw40$REMOVAL_ISA_DEFN_NEG

public static final SubLSymbol $kw40$REMOVAL_ISA_DEFN_NEG

$list41

public static final SubLList $list41

$kw42$DEFN

public static final SubLSymbol $kw42$DEFN

$kw43$REMOVAL_ALL_ISA

public static final SubLSymbol $kw43$REMOVAL_ALL_ISA

$list44

public static final SubLList $list44

$sym45$REMOVAL_ALL_ISA_EXPAND

public static final SubLSymbol $sym45$REMOVAL_ALL_ISA_EXPAND

$kw46$GROSSLY_INCOMPLETE

public static final SubLSymbol $kw46$GROSSLY_INCOMPLETE

$kw47$COMPLETE

public static final SubLSymbol $kw47$COMPLETE

$int48$2300

public static final SubLInteger $int48$2300

$kw49$REMOVAL_ALL_INSTANCES

public static final SubLSymbol $kw49$REMOVAL_ALL_INSTANCES

$list50

public static final SubLList $list50

$const51$elementOf

public static final SubLObject $const51$elementOf

$list52

public static final SubLList $list52

$kw53$ELEMENTOF

public static final SubLSymbol $kw53$ELEMENTOF

$kw54$TRUE_MON

public static final SubLSymbol $kw54$TRUE_MON

$kw55$REMOVAL_ELEMENTOF_CHECK

public static final SubLSymbol $kw55$REMOVAL_ELEMENTOF_CHECK

$list56

public static final SubLList $list56

$kw57$REMOVAL_NOT_ELEMENTOF_CHECK

public static final SubLSymbol $kw57$REMOVAL_NOT_ELEMENTOF_CHECK

$list58

public static final SubLList $list58

$kw59$REMOVAL_ELEMENTOF_COLLECTION_CHECK

public static final SubLSymbol $kw59$REMOVAL_ELEMENTOF_COLLECTION_CHECK

$list60

public static final SubLList $list60

$kw61$REMOVAL_ELEMENTOF_COLLECTION_DEFN_CHECK

public static final SubLSymbol $kw61$REMOVAL_ELEMENTOF_COLLECTION_DEFN_CHECK

$list62

public static final SubLList $list62

$kw63$REMOVAL_ELEMENTOF_SET_CHECK

public static final SubLSymbol $kw63$REMOVAL_ELEMENTOF_SET_CHECK

$list64

public static final SubLList $list64

$kw65$REMOVAL_NOT_ELEMENTOF_COLLECTION_CHECK

public static final SubLSymbol $kw65$REMOVAL_NOT_ELEMENTOF_COLLECTION_CHECK

$list66

public static final SubLList $list66

$kw67$REMOVAL_NOT_ELEMENTOF_COLLECTION_DEFN_CHECK

public static final SubLSymbol $kw67$REMOVAL_NOT_ELEMENTOF_COLLECTION_DEFN_CHECK

$list68

public static final SubLList $list68

$kw69$REMOVAL_NOT_ELEMENTOF_SET_CHECK

public static final SubLSymbol $kw69$REMOVAL_NOT_ELEMENTOF_SET_CHECK

$list70

public static final SubLList $list70

$kw71$OPAQUE

public static final SubLSymbol $kw71$OPAQUE

$kw72$REMOVAL_ELEMENTOF_THESETOF_CHECK

public static final SubLSymbol $kw72$REMOVAL_ELEMENTOF_THESETOF_CHECK

$list73

public static final SubLList $list73

$kw74$REMOVAL_ISA_THECOLLECTIONOF_CHECK

public static final SubLSymbol $kw74$REMOVAL_ISA_THECOLLECTIONOF_CHECK

$list75

public static final SubLList $list75

$kw76$QUERY

public static final SubLSymbol $kw76$QUERY

$kw77$REMOVAL_NOT_ELEMENTOF_THESETOF_CHECK

public static final SubLSymbol $kw77$REMOVAL_NOT_ELEMENTOF_THESETOF_CHECK

$list78

public static final SubLList $list78

$kw79$REMOVAL_NOT_ISA_THECOLLECTIONOF_CHECK

public static final SubLSymbol $kw79$REMOVAL_NOT_ISA_THECOLLECTIONOF_CHECK

$list80

public static final SubLList $list80

$kw81$REMOVAL_ALL_ELEMENTOF

public static final SubLSymbol $kw81$REMOVAL_ALL_ELEMENTOF

$list82

public static final SubLList $list82

$kw83$REMOVAL_NAT_ALL_ELEMENTOF

public static final SubLSymbol $kw83$REMOVAL_NAT_ALL_ELEMENTOF

$list84

public static final SubLList $list84

$list85

public static final SubLList $list85

$list86

public static final SubLList $list86

$kw87$REMOVAL_ELEMENTOF_UNIFY

public static final SubLSymbol $kw87$REMOVAL_ELEMENTOF_UNIFY

$list88

public static final SubLList $list88

$kw89$REMOVAL_ELEMENTOF_COLLECTION_UNIFY

public static final SubLSymbol $kw89$REMOVAL_ELEMENTOF_COLLECTION_UNIFY

$list90

public static final SubLList $list90

$kw91$REMOVAL_ELEMENTOF_SET_UNIFY

public static final SubLSymbol $kw91$REMOVAL_ELEMENTOF_SET_UNIFY

$list92

public static final SubLList $list92

$sym93$EL_LITERAL_P

public static final SubLSymbol $sym93$EL_LITERAL_P

$kw94$HL

public static final SubLSymbol $kw94$HL

$kw95$REMOVAL_ELEMENTOF_THESETOF_UNIFY

public static final SubLSymbol $kw95$REMOVAL_ELEMENTOF_THESETOF_UNIFY

$list96

public static final SubLList $list96

$kw97$REMOVAL_ISA_THECOLLECTIONOF_UNIFY

public static final SubLSymbol $kw97$REMOVAL_ISA_THECOLLECTIONOF_UNIFY

$list98

public static final SubLList $list98

$const99$TheSetOf

public static final SubLObject $const99$TheSetOf

$const100$subcollectionFunctionDefiningRule

public static final SubLObject $const100$subcollectionFunctionDefiningRule

$str101$Expected__s_to_have_only_one_free

public static final SubLString $str101$Expected__s_to_have_only_one_free

$str102$Expected_exactly_one_poslit_in__S

public static final SubLString $str102$Expected_exactly_one_poslit_in__S

$str103$Expected_exactly_one___termOfUnit

public static final SubLString $str103$Expected_exactly_one___termOfUnit

$list104

public static final SubLList $list104

$kw105$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_TO_FN_UNIFY

public static final SubLSymbol $kw105$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_TO_FN_UNIFY

$list106

public static final SubLList $list106

$kw107$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_TO_FN_CHECK

public static final SubLSymbol $kw107$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_TO_FN_CHECK

$list108

public static final SubLList $list108

$kw109$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_FROM_FN_UNIFY

public static final SubLSymbol $kw109$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_FROM_FN_UNIFY

$list110

public static final SubLList $list110

$kw111$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_FROM_FN_CHECK

public static final SubLSymbol $kw111$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_FROM_FN_CHECK

$list112

public static final SubLList $list112

$kw113$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_TO_TYPE_FN_UNIFY

public static final SubLSymbol $kw113$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_TO_TYPE_FN_UNIFY

$list114

public static final SubLList $list114

$kw115$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_TO_TYPE_FN_CHECK

public static final SubLSymbol $kw115$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_TO_TYPE_FN_CHECK

$list116

public static final SubLList $list116

$kw117$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_FROM_TYPE_FN_UNIFY

public static final SubLSymbol $kw117$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_FROM_TYPE_FN_UNIFY

$list118

public static final SubLList $list118

$kw119$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_FROM_TYPE_FN_CHECK

public static final SubLSymbol $kw119$REMOVAL_ISA_SUBCOLLECTION_OF_WITH_RELATION_FROM_TYPE_FN_CHECK

$list120

public static final SubLList $list120

$kw121$REMOVAL_ISA_SUBCOLLECTION_OCCURS_AT_FN_UNIFY

public static final SubLSymbol $kw121$REMOVAL_ISA_SUBCOLLECTION_OCCURS_AT_FN_UNIFY

$list122

public static final SubLList $list122

$kw123$REMOVAL_ISA_SUBCOLLECTION_OCCURS_AT_FN_CHECK

public static final SubLSymbol $kw123$REMOVAL_ISA_SUBCOLLECTION_OCCURS_AT_FN_CHECK

$list124

public static final SubLList $list124

$kw125$REMOVAL_ISA_COLLECTION_SUBSET_FN_UNIFY

public static final SubLSymbol $kw125$REMOVAL_ISA_COLLECTION_SUBSET_FN_UNIFY

$list126

public static final SubLList $list126

$kw127$REMOVAL_ISA_COLLECTION_SUBSET_FN_CHECK

public static final SubLSymbol $kw127$REMOVAL_ISA_COLLECTION_SUBSET_FN_CHECK

$list128

public static final SubLList $list128

$kw129$REMOVAL_ISA_COLLECTION_INTERSECTION_2_FN_UNIFY

public static final SubLSymbol $kw129$REMOVAL_ISA_COLLECTION_INTERSECTION_2_FN_UNIFY

$list130

public static final SubLList $list130

$kw131$REMOVAL_ISA_COLLECTION_INTERSECTION_2_FN_CHECK

public static final SubLSymbol $kw131$REMOVAL_ISA_COLLECTION_INTERSECTION_2_FN_CHECK

$list132

public static final SubLList $list132

$kw133$REMOVAL_ISA_COLLECTION_DIFFERENCE_FN_UNIFY

public static final SubLSymbol $kw133$REMOVAL_ISA_COLLECTION_DIFFERENCE_FN_UNIFY

$list134

public static final SubLList $list134

$kw135$REMOVAL_ISA_COLLECTION_DIFFERENCE_FN_CHECK

public static final SubLSymbol $kw135$REMOVAL_ISA_COLLECTION_DIFFERENCE_FN_CHECK

$list136

public static final SubLList $list136

$kw137$REMOVAL_ALL_ISA_OF_TYPE

public static final SubLSymbol $kw137$REMOVAL_ALL_ISA_OF_TYPE

$list138

public static final SubLList $list138

$kw139$POS

public static final SubLSymbol $kw139$POS

$sym140$BINARY_CLAUSE_P

public static final SubLSymbol $sym140$BINARY_CLAUSE_P

$list141

public static final SubLList $list141

$sym142$FORT_P

public static final SubLSymbol $sym142$FORT_P

$list143

public static final SubLList $list143

$list144

public static final SubLList $list144

$list145

public static final SubLList $list145

$const146$quotedIsa

public static final SubLObject $const146$quotedIsa

$kw147$QUOTED_ISA_X_Y_POS

public static final SubLSymbol $kw147$QUOTED_ISA_X_Y_POS

$list148

public static final SubLList $list148

$kw149$ALL_QUOTED_INSTANCES_POS

public static final SubLSymbol $kw149$ALL_QUOTED_INSTANCES_POS

$list150

public static final SubLList $list150

$kw151$ALL_QUOTED_ISA_POS

public static final SubLSymbol $kw151$ALL_QUOTED_ISA_POS

$list152

public static final SubLList $list152

$kw153$REMOVAL_QUOTED_ISA_COLLECTION_CHECK_POS

public static final SubLSymbol $kw153$REMOVAL_QUOTED_ISA_COLLECTION_CHECK_POS

$list154

public static final SubLList $list154

$kw155$REMOVAL_QUOTED_ISA_COLLECTION_CHECK_NEG

public static final SubLSymbol $kw155$REMOVAL_QUOTED_ISA_COLLECTION_CHECK_NEG

$list156

public static final SubLList $list156

$kw157$REMOVAL_QUOTED_ISA_DEFN_POS

public static final SubLSymbol $kw157$REMOVAL_QUOTED_ISA_DEFN_POS

$list158

public static final SubLList $list158

$kw159$REMOVAL_QUOTED_ISA_DEFN_NEG

public static final SubLSymbol $kw159$REMOVAL_QUOTED_ISA_DEFN_NEG

$list160

public static final SubLList $list160

$kw161$REMOVAL_NAT_QUOTED_ISA

public static final SubLSymbol $kw161$REMOVAL_NAT_QUOTED_ISA

$list162

public static final SubLList $list162

$kw163$REMOVAL_ALL_QUOTED_ISA

public static final SubLSymbol $kw163$REMOVAL_ALL_QUOTED_ISA

$list164

public static final SubLList $list164

$kw165$REMOVAL_NAT_ALL_QUOTED_ISA

public static final SubLSymbol $kw165$REMOVAL_NAT_ALL_QUOTED_ISA

$list166

public static final SubLList $list166

$kw167$REMOVAL_ALL_QUOTED_INSTANCES

public static final SubLSymbol $kw167$REMOVAL_ALL_QUOTED_INSTANCES

$list168

public static final SubLList $list168

Method Detail

all_instances_pos_preference

public static final SubLObject all_instances_pos_preference(SubLObject asent,
                                                            SubLObject bindable_vars,
                                                            SubLObject strategic_context)

removal_isa_collection_check_pos_cost

public static final SubLObject removal_isa_collection_check_pos_cost(SubLObject asent,
                                                                     SubLObject sense)

removal_isa_collection_check_pos_expand

public static final SubLObject removal_isa_collection_check_pos_expand(SubLObject asent,
                                                                       SubLObject sense)

removal_isa_collection_check_expand

public static final SubLObject removal_isa_collection_check_expand(SubLObject asent)

removal_all_isa_expand

public static final SubLObject removal_all_isa_expand(SubLObject asent,
                                                      SubLObject sense)

removal_all_instances_cost

public static final SubLObject removal_all_instances_cost(SubLObject asent,
                                                          SubLObject sense)

removal_all_instances_completeness

public static final SubLObject removal_all_instances_completeness(SubLObject asent)

inference_collection_iteration_completeness

public static final SubLObject inference_collection_iteration_completeness(SubLObject collection)

Returns:: completeness-p ; the inferential completness of iterating over all instances of COLLECTION.

removal_all_instances_iterator

public static final SubLObject removal_all_instances_iterator(SubLObject collection)

inference_all_instances_cost

public static final SubLObject inference_all_instances_cost(SubLObject collection)

removal_all_isa_of_type_applicability

public static final SubLObject removal_all_isa_of_type_applicability(SubLObject contextualized_dnf_clause)

declare_removal_modules_isa_file

public static final SubLObject declare_removal_modules_isa_file()

init_removal_modules_isa_file

public static final SubLObject init_removal_modules_isa_file()

setup_removal_modules_isa_file

public static final SubLObject setup_removal_modules_isa_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.inference.modules.removal Class removal_modules_isa

me

myName

$const0$isa

$kw1$META_REMOVAL_COMPLETELY_ENUMERABLE_POS

$kw2$META_REMOVAL_COMPLETELY_DECIDABLE_POS

$kw3$REMOVAL_COMPLETELY_DECIDABLE_NEG

$kw4$REMOVAL_ABDUCTION_POS_CHECK

$kw5$REMOVAL_ABDUCTION_POS_UNIFY

$kw6$REMOVAL_RELATION_ALL_EXISTS_CHECK

$kw7$REMOVAL_RELATION_ALL_EXISTS_UNIFY

$kw8$REMOVAL_RELATION_EXISTS_ALL_CHECK

$kw9$REMOVAL_BACKCHAIN_REQUIRED_PRUNE

$kw10$ISA_X_Y_POS

$list11

$kw12$ALL_INSTANCES_POS

$list13

$kw14$PREFERRED

$kw15$GROSSLY_DISPREFERRED

$kw16$ALL_ISA_POS

$list17

$kw18$ALL_ELEMENTOF_POS

$list19

$float20$0_1

$kw21$REMOVAL_ISA_COLLECTION_CHECK_POS

$list22

$kw23$REMOVAL_ISA_COLLECTION_CHECK_NEG

$list24

$int25$30

$kw26$ISA

$list27

$kw28$MINIMIZE

$kw29$REMOVAL_ISA_NAUT_COLLECTION_CHECK_POS

$list30

$kw31$REMOVAL_ISA_NAUT_COLLECTION_LOOKUP_POS

$list32

$kw33$TRUE

$kw34$GAF_ARG

$kw35$GAF

$kw36$PREDICATE_EXTENT

$kw37$OVERLAP

$kw38$REMOVAL_ISA_DEFN_POS

$list39

$kw40$REMOVAL_ISA_DEFN_NEG

$list41

$kw42$DEFN

$kw43$REMOVAL_ALL_ISA

$list44

$sym45$REMOVAL_ALL_ISA_EXPAND

$kw46$GROSSLY_INCOMPLETE

$kw47$COMPLETE

$int48$2300

$kw49$REMOVAL_ALL_INSTANCES

$list50

$const51$elementOf

$list52

$kw53$ELEMENTOF

$kw54$TRUE_MON

$kw55$REMOVAL_ELEMENTOF_CHECK

$list56

$kw57$REMOVAL_NOT_ELEMENTOF_CHECK

$list58

$kw59$REMOVAL_ELEMENTOF_COLLECTION_CHECK

$list60

$kw61$REMOVAL_ELEMENTOF_COLLECTION_DEFN_CHECK

$list62

$kw63$REMOVAL_ELEMENTOF_SET_CHECK

$list64

$kw65$REMOVAL_NOT_ELEMENTOF_COLLECTION_CHECK

$list66

$kw67$REMOVAL_NOT_ELEMENTOF_COLLECTION_DEFN_CHECK

$list68

$kw69$REMOVAL_NOT_ELEMENTOF_SET_CHECK

$list70

$kw71$OPAQUE

$kw72$REMOVAL_ELEMENTOF_THESETOF_CHECK

$list73

$kw74$REMOVAL_ISA_THECOLLECTIONOF_CHECK

$list75

$kw76$QUERY

com.cyc.cycjava.cycl.inference.modules.removal
Class removal_modules_isa