com.cyc.cycjava.cycl.inference.modules.removal
Class removal_modules_relation_instance_exists
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class removal_modules_relation_instance_exists
- extends SubLTranslatedFile
| 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_removal_modules_relation_instance_exists_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named
functions defined in the file. |
static SubLObject |
init_removal_modules_relation_instance_exists_file()
|
void |
initializeVariables()
Initializes all global variables and private internal variables
for constants defined in the file. |
static SubLObject |
removal_relation_exists_instance_required(SubLObject asent,
SubLObject mode,
SubLObject require_new_terms_allowedP)
|
static SubLObject |
removal_relation_exists_instance_unbound_arg1_required(SubLObject asent,
SubLObject sense)
|
static SubLObject |
removal_relation_exists_instance_unbound_arg2_required(SubLObject asent,
SubLObject sense)
|
static SubLObject |
removal_relation_exists_instance_unbound_required(SubLObject asent,
SubLObject mode)
|
static SubLObject |
removal_relation_exists_instance_unify_arg1_required(SubLObject asent,
SubLObject sense)
|
static SubLObject |
removal_relation_exists_instance_unify_arg2_required(SubLObject asent,
SubLObject sense)
|
static SubLObject |
removal_relation_exists_instance_unify_required(SubLObject asent,
SubLObject mode)
|
static SubLObject |
removal_relation_instance_exists_expansion_applicability(SubLObject contextualized_dnf_clause)
|
static SubLObject |
removal_relation_instance_exists_required(SubLObject asent,
SubLObject mode,
SubLObject require_new_terms_allowedP)
|
static SubLObject |
removal_relation_instance_exists_unbound_arg1_required(SubLObject asent,
SubLObject sense)
|
static SubLObject |
removal_relation_instance_exists_unbound_arg2_required(SubLObject asent,
SubLObject sense)
|
static SubLObject |
removal_relation_instance_exists_unbound_required(SubLObject asent,
SubLObject mode)
|
static SubLObject |
removal_relation_instance_exists_unify_arg1_required(SubLObject asent,
SubLObject sense)
|
static SubLObject |
removal_relation_instance_exists_unify_arg2_required(SubLObject asent,
SubLObject sense)
|
static SubLObject |
removal_some_relation_exists_instance_for_predicate(SubLObject predicate,
SubLObject mode,
SubLObject mt)
|
static SubLObject |
removal_some_relation_instance_exists_for_predicate(SubLObject predicate,
SubLObject mode,
SubLObject mt)
|
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
setup_removal_modules_relation_instance_exists_file()
|
static SubLObject |
some_relation_exists_instance_for_predicate_and_inverse(SubLObject predicate,
SubLObject mt)
|
static SubLObject |
some_relation_exists_instance_for_predicate_and_spec(SubLObject predicate,
SubLObject mt)
|
static SubLObject |
some_relation_exists_instance_for_predicate(SubLObject predicate,
SubLObject mt)
|
static SubLObject |
some_relation_instance_exists_for_predicate_and_inverse(SubLObject predicate,
SubLObject mt)
|
static SubLObject |
some_relation_instance_exists_for_predicate_and_spec(SubLObject predicate,
SubLObject mt)
|
static SubLObject |
some_relation_instance_exists_for_predicate(SubLObject predicate,
SubLObject mt)
|
static SubLObject |
some_relation_instance_for_predicate(SubLObject relation_instance_pred,
SubLObject predicate,
SubLObject mt)
|
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
me
public static final SubLFile me
myName
public static final java.lang.String myName
- See Also:
- Constant Field Values
$relation_instance_exists_defining_mt$
public static SubLSymbol $relation_instance_exists_defining_mt$
$relation_exists_instance_defining_mt$
public static SubLSymbol $relation_exists_instance_defining_mt$
$kw0$GENL_PREDS
public static final SubLSymbol $kw0$GENL_PREDS
$kw1$GENL_INVERSE
public static final SubLSymbol $kw1$GENL_INVERSE
$kw2$BOTH
public static final SubLSymbol $kw2$BOTH
$const3$relationInstanceExists
public static final SubLObject $const3$relationInstanceExists
$const4$RelationInstanceExistsFn
public static final SubLObject $const4$RelationInstanceExistsFn
$list5
public static final SubLList $list5
$sym6$_RELATION_INSTANCE_EXISTS_DEFINING_MT_
public static final SubLSymbol $sym6$_RELATION_INSTANCE_EXISTS_DEFINING_MT_
$const7$BaseKB
public static final SubLObject $const7$BaseKB
$kw8$CODE
public static final SubLSymbol $kw8$CODE
$kw9$TRUE_MON
public static final SubLSymbol $kw9$TRUE_MON
$kw10$REMOVAL_RELATION_INSTANCE_EXISTS_PRUNE
public static final SubLSymbol $kw10$REMOVAL_RELATION_INSTANCE_EXISTS_PRUNE
$list11
public static final SubLList $list11
$list12
public static final SubLList $list12
$list13
public static final SubLList $list13
$sym14$RIE_COL
public static final SubLSymbol $sym14$RIE_COL
$sym15$RIE_TERM
public static final SubLSymbol $sym15$RIE_TERM
$sym16$RIE_PRED
public static final SubLSymbol $sym16$RIE_PRED
$sym17$TERM
public static final SubLSymbol $sym17$TERM
$sym18$PREDICATE
public static final SubLSymbol $sym18$PREDICATE
$list19
public static final SubLList $list19
$list20
public static final SubLList $list20
$kw21$POS
public static final SubLSymbol $kw21$POS
$kw22$GAF_ARG
public static final SubLSymbol $kw22$GAF_ARG
$kw23$GAF
public static final SubLSymbol $kw23$GAF
$kw24$PREDICATE_EXTENT
public static final SubLSymbol $kw24$PREDICATE_EXTENT
$kw25$OVERLAP
public static final SubLSymbol $kw25$OVERLAP
$kw26$REMOVAL_RELATION_INSTANCE_EXISTS_CHECK
public static final SubLSymbol $kw26$REMOVAL_RELATION_INSTANCE_EXISTS_CHECK
$list27
public static final SubLList $list27
$kw28$TRUE
public static final SubLSymbol $kw28$TRUE
$kw29$REMOVAL_RELATION_INSTANCE_EXISTS_UNIFY_ARG1
public static final SubLSymbol $kw29$REMOVAL_RELATION_INSTANCE_EXISTS_UNIFY_ARG1
$list30
public static final SubLList $list30
$kw31$REMOVAL_RELATION_INSTANCE_EXISTS_UNIFY_ARG2
public static final SubLSymbol $kw31$REMOVAL_RELATION_INSTANCE_EXISTS_UNIFY_ARG2
$list32
public static final SubLList $list32
$kw33$REMOVAL_RELATION_INSTANCE_EXISTS_UNBOUND_ARG1
public static final SubLSymbol $kw33$REMOVAL_RELATION_INSTANCE_EXISTS_UNBOUND_ARG1
$list34
public static final SubLList $list34
$kw35$REMOVAL_RELATION_INSTANCE_EXISTS_UNBOUND_ARG2
public static final SubLSymbol $kw35$REMOVAL_RELATION_INSTANCE_EXISTS_UNBOUND_ARG2
$list36
public static final SubLList $list36
$const37$relationExistsInstance
public static final SubLObject $const37$relationExistsInstance
$const38$RelationExistsInstanceFn
public static final SubLObject $const38$RelationExistsInstanceFn
$list39
public static final SubLList $list39
$sym40$_RELATION_EXISTS_INSTANCE_DEFINING_MT_
public static final SubLSymbol $sym40$_RELATION_EXISTS_INSTANCE_DEFINING_MT_
$kw41$REMOVAL_RELATION_EXISTS_INSTANCE_PRUNE
public static final SubLSymbol $kw41$REMOVAL_RELATION_EXISTS_INSTANCE_PRUNE
$list42
public static final SubLList $list42
$list43
public static final SubLList $list43
$list44
public static final SubLList $list44
$sym45$REI_TERM
public static final SubLSymbol $sym45$REI_TERM
$sym46$REI_COL
public static final SubLSymbol $sym46$REI_COL
$sym47$REI_PRED
public static final SubLSymbol $sym47$REI_PRED
$list48
public static final SubLList $list48
$list49
public static final SubLList $list49
$kw50$REMOVAL_RELATION_EXISTS_INSTANCE_CHECK
public static final SubLSymbol $kw50$REMOVAL_RELATION_EXISTS_INSTANCE_CHECK
$list51
public static final SubLList $list51
$kw52$REMOVAL_RELATION_EXISTS_INSTANCE_UNIFY_ARG1
public static final SubLSymbol $kw52$REMOVAL_RELATION_EXISTS_INSTANCE_UNIFY_ARG1
$list53
public static final SubLList $list53
$kw54$REMOVAL_RELATION_EXISTS_INSTANCE_UNIFY_ARG2
public static final SubLSymbol $kw54$REMOVAL_RELATION_EXISTS_INSTANCE_UNIFY_ARG2
$list55
public static final SubLList $list55
$kw56$REMOVAL_RELATION_EXISTS_INSTANCE_UNBOUND_ARG1
public static final SubLSymbol $kw56$REMOVAL_RELATION_EXISTS_INSTANCE_UNBOUND_ARG1
$list57
public static final SubLList $list57
$kw58$REMOVAL_RELATION_EXISTS_INSTANCE_UNBOUND_ARG2
public static final SubLSymbol $kw58$REMOVAL_RELATION_EXISTS_INSTANCE_UNBOUND_ARG2
$list59
public static final SubLList $list59
$kw60$REMOVAL_RELATION_INSTANCE_EXISTS_VIA_EXEMPLAR
public static final SubLSymbol $kw60$REMOVAL_RELATION_INSTANCE_EXISTS_VIA_EXEMPLAR
$list61
public static final SubLList $list61
$const62$thereExists
public static final SubLObject $const62$thereExists
$sym63$_INS
public static final SubLSymbol $sym63$_INS
$const64$and
public static final SubLObject $const64$and
$list65
public static final SubLList $list65
$const66$isa
public static final SubLObject $const66$isa
$kw67$QUERY
public static final SubLSymbol $kw67$QUERY
$kw68$REMOVAL_RELATION_EXISTS_INSTANCE_VIA_EXEMPLAR
public static final SubLSymbol $kw68$REMOVAL_RELATION_EXISTS_INSTANCE_VIA_EXEMPLAR
$list69
public static final SubLList $list69
$kw70$REMOVAL_RELATION_INSTANCE_EXISTS_EXPANSION
public static final SubLSymbol $kw70$REMOVAL_RELATION_INSTANCE_EXISTS_EXPANSION
$list71
public static final SubLList $list71
$list72
public static final SubLList $list72
$list73
public static final SubLList $list73
$list74
public static final SubLList $list74
$list75
public static final SubLList $list75
$kw76$TVA
public static final SubLSymbol $kw76$TVA
$kw77$ISA
public static final SubLSymbol $kw77$ISA
$list78
public static final SubLList $list78
$list79
public static final SubLList $list79
some_relation_instance_for_predicate
public static final SubLObject some_relation_instance_for_predicate(SubLObject relation_instance_pred,
SubLObject predicate,
SubLObject mt)
removal_some_relation_instance_exists_for_predicate
public static final SubLObject removal_some_relation_instance_exists_for_predicate(SubLObject predicate,
SubLObject mode,
SubLObject mt)
some_relation_instance_exists_for_predicate
public static final SubLObject some_relation_instance_exists_for_predicate(SubLObject predicate,
SubLObject mt)
some_relation_instance_exists_for_predicate_and_spec
public static final SubLObject some_relation_instance_exists_for_predicate_and_spec(SubLObject predicate,
SubLObject mt)
some_relation_instance_exists_for_predicate_and_inverse
public static final SubLObject some_relation_instance_exists_for_predicate_and_inverse(SubLObject predicate,
SubLObject mt)
removal_relation_instance_exists_required
public static final SubLObject removal_relation_instance_exists_required(SubLObject asent,
SubLObject mode,
SubLObject require_new_terms_allowedP)
removal_relation_instance_exists_unify_arg1_required
public static final SubLObject removal_relation_instance_exists_unify_arg1_required(SubLObject asent,
SubLObject sense)
removal_relation_instance_exists_unify_arg2_required
public static final SubLObject removal_relation_instance_exists_unify_arg2_required(SubLObject asent,
SubLObject sense)
removal_relation_instance_exists_unbound_required
public static final SubLObject removal_relation_instance_exists_unbound_required(SubLObject asent,
SubLObject mode)
removal_relation_instance_exists_unbound_arg1_required
public static final SubLObject removal_relation_instance_exists_unbound_arg1_required(SubLObject asent,
SubLObject sense)
removal_relation_instance_exists_unbound_arg2_required
public static final SubLObject removal_relation_instance_exists_unbound_arg2_required(SubLObject asent,
SubLObject sense)
removal_some_relation_exists_instance_for_predicate
public static final SubLObject removal_some_relation_exists_instance_for_predicate(SubLObject predicate,
SubLObject mode,
SubLObject mt)
some_relation_exists_instance_for_predicate
public static final SubLObject some_relation_exists_instance_for_predicate(SubLObject predicate,
SubLObject mt)
some_relation_exists_instance_for_predicate_and_spec
public static final SubLObject some_relation_exists_instance_for_predicate_and_spec(SubLObject predicate,
SubLObject mt)
some_relation_exists_instance_for_predicate_and_inverse
public static final SubLObject some_relation_exists_instance_for_predicate_and_inverse(SubLObject predicate,
SubLObject mt)
removal_relation_exists_instance_required
public static final SubLObject removal_relation_exists_instance_required(SubLObject asent,
SubLObject mode,
SubLObject require_new_terms_allowedP)
removal_relation_exists_instance_unify_required
public static final SubLObject removal_relation_exists_instance_unify_required(SubLObject asent,
SubLObject mode)
removal_relation_exists_instance_unify_arg1_required
public static final SubLObject removal_relation_exists_instance_unify_arg1_required(SubLObject asent,
SubLObject sense)
removal_relation_exists_instance_unify_arg2_required
public static final SubLObject removal_relation_exists_instance_unify_arg2_required(SubLObject asent,
SubLObject sense)
removal_relation_exists_instance_unbound_required
public static final SubLObject removal_relation_exists_instance_unbound_required(SubLObject asent,
SubLObject mode)
removal_relation_exists_instance_unbound_arg1_required
public static final SubLObject removal_relation_exists_instance_unbound_arg1_required(SubLObject asent,
SubLObject sense)
removal_relation_exists_instance_unbound_arg2_required
public static final SubLObject removal_relation_exists_instance_unbound_arg2_required(SubLObject asent,
SubLObject sense)
removal_relation_instance_exists_expansion_applicability
public static final SubLObject removal_relation_instance_exists_expansion_applicability(SubLObject contextualized_dnf_clause)
declare_removal_modules_relation_instance_exists_file
public static final SubLObject declare_removal_modules_relation_instance_exists_file()
init_removal_modules_relation_instance_exists_file
public static final SubLObject init_removal_modules_relation_instance_exists_file()
setup_removal_modules_relation_instance_exists_file
public static final SubLObject setup_removal_modules_relation_instance_exists_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.