com.cyc.cycjava.cycl.inference.modules.removal
Class removal_modules_relation_all_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_all_exists

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class removal_modules_relation_all_exists
extends SubLTranslatedFile

Nested Class Summary

static class	removal_modules_relation_all_exists.$removal_relation_all_exists_unify_required$BinaryFunction
static class	removal_modules_relation_all_exists.$removal_relation_all_exists_unify_required$UnaryFunction
static class	removal_modules_relation_all_exists.$removal_relation_exists_all_unify_required$BinaryFunction
static class	removal_modules_relation_all_exists.$removal_relation_exists_all_unify_required$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const10$isa
static SubLObject	$const11$RelationAllExistsFn
static SubLObject	$const14$BaseKB
static SubLObject	$const41$relationExistsAll
static SubLObject	$const42$RelationExistsAllFn
static SubLObject	$const9$relationAllExists
static SubLSymbol	$kw0$RELATION_ALL_EXISTS_POS
static SubLSymbol	$kw15$CODE
static SubLSymbol	$kw16$TRUE_MON
static SubLSymbol	$kw17$REMOVAL_RELATION_ALL_EXISTS_PRUNE
static SubLSymbol	$kw27$POS
static SubLSymbol	$kw28$GAF_ARG
static SubLSymbol	$kw29$GAF
static SubLSymbol	$kw3$PREFERRED
static SubLSymbol	$kw30$PREDICATE_EXTENT
static SubLSymbol	$kw31$OVERLAP
static SubLSymbol	$kw32$REMOVAL_RELATION_ALL_EXISTS_CHECK
static SubLSymbol	$kw34$ISA
static SubLSymbol	$kw35$TRUE
static SubLSymbol	$kw36$REMOVAL_RELATION_ALL_EXISTS_UNIFY
static SubLSymbol	$kw38$RELATION_EXISTS_ALL_POS
static SubLSymbol	$kw45$REMOVAL_RELATION_EXISTS_ALL_PRUNE
static SubLSymbol	$kw5$DISPREFERRED
static SubLSymbol	$kw51$REMOVAL_RELATION_EXISTS_ALL_CHECK
static SubLSymbol	$kw53$REMOVAL_RELATION_EXISTS_ALL_UNIFY
static SubLList	$list1
static SubLList	$list12
static SubLList	$list18
static SubLList	$list19
static SubLList	$list2
static SubLList	$list20
static SubLList	$list33
static SubLList	$list37
static SubLList	$list39
static SubLList	$list4
static SubLList	$list40
static SubLList	$list43
static SubLList	$list46
static SubLList	$list47
static SubLList	$list48
static SubLList	$list52
static SubLList	$list54
static SubLList	$list6
static SubLList	$list7
static SubLList	$list8
static SubLSymbol	$relation_all_exists_defining_mt$
static SubLSymbol	$relation_exists_all_defining_mt$
static SubLSymbol	$sym13$_RELATION_ALL_EXISTS_DEFINING_MT_
static SubLSymbol	$sym21$DEP_COL
static SubLSymbol	$sym22$IND_COL
static SubLSymbol	$sym23$RAE_PRED
static SubLSymbol	$sym24$RAE_TERM
static SubLSymbol	$sym25$TERM
static SubLSymbol	$sym26$PREDICATE
static SubLSymbol	$sym44$_RELATION_EXISTS_ALL_DEFINING_MT_
static SubLSymbol	$sym49$REA_PRED
static SubLSymbol	$sym50$REA_TERM
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

Method Summary

static SubLObject	declare_removal_modules_relation_all_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_all_exists_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	relation_all_exists_pos_preference(SubLObject asent, SubLObject bindable_vars, SubLObject strategic_context)
static SubLObject	relation_exists_all_pos_preference(SubLObject asent, SubLObject bindable_vars, SubLObject strategic_context)
static SubLObject	removal_relation_all_exists_required(SubLObject asent, SubLObject require_new_terms_allowedP)
static SubLObject	removal_relation_all_exists_unify_required(SubLObject asent, SubLObject sense)
static SubLObject	removal_relation_exists_all_required(SubLObject asent, SubLObject require_new_terms_allowedP)
static SubLObject	removal_relation_exists_all_unify_required(SubLObject asent, SubLObject sense)
static SubLObject	removal_some_relation_all_exists_for_predicate(SubLObject predicate, SubLObject mt)
static SubLObject	removal_some_relation_exists_all_for_predicate(SubLObject predicate, SubLObject mt)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_removal_modules_relation_all_exists_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

$relation_all_exists_defining_mt$

public static SubLSymbol $relation_all_exists_defining_mt$

$relation_exists_all_defining_mt$

public static SubLSymbol $relation_exists_all_defining_mt$

$kw0$RELATION_ALL_EXISTS_POS

public static final SubLSymbol $kw0$RELATION_ALL_EXISTS_POS

$list1

public static final SubLList $list1

$list2

public static final SubLList $list2

$kw3$PREFERRED

public static final SubLSymbol $kw3$PREFERRED

$list4

public static final SubLList $list4

$kw5$DISPREFERRED

public static final SubLSymbol $kw5$DISPREFERRED

$list6

public static final SubLList $list6

$list7

public static final SubLList $list7

$list8

public static final SubLList $list8

$const9$relationAllExists

public static final SubLObject $const9$relationAllExists

$const10$isa

public static final SubLObject $const10$isa

$const11$RelationAllExistsFn

public static final SubLObject $const11$RelationAllExistsFn

$list12

public static final SubLList $list12

$sym13$_RELATION_ALL_EXISTS_DEFINING_MT_

public static final SubLSymbol $sym13$_RELATION_ALL_EXISTS_DEFINING_MT_

$const14$BaseKB

public static final SubLObject $const14$BaseKB

$kw15$CODE

public static final SubLSymbol $kw15$CODE

$kw16$TRUE_MON

public static final SubLSymbol $kw16$TRUE_MON

$kw17$REMOVAL_RELATION_ALL_EXISTS_PRUNE

public static final SubLSymbol $kw17$REMOVAL_RELATION_ALL_EXISTS_PRUNE

$list18

public static final SubLList $list18

$list19

public static final SubLList $list19

$list20

public static final SubLList $list20

$sym21$DEP_COL

public static final SubLSymbol $sym21$DEP_COL

$sym22$IND_COL

public static final SubLSymbol $sym22$IND_COL

$sym23$RAE_PRED

public static final SubLSymbol $sym23$RAE_PRED

$sym24$RAE_TERM

public static final SubLSymbol $sym24$RAE_TERM

$sym25$TERM

public static final SubLSymbol $sym25$TERM

$sym26$PREDICATE

public static final SubLSymbol $sym26$PREDICATE

$kw27$POS

public static final SubLSymbol $kw27$POS

$kw28$GAF_ARG

public static final SubLSymbol $kw28$GAF_ARG

$kw29$GAF

public static final SubLSymbol $kw29$GAF

$kw30$PREDICATE_EXTENT

public static final SubLSymbol $kw30$PREDICATE_EXTENT

$kw31$OVERLAP

public static final SubLSymbol $kw31$OVERLAP

$kw32$REMOVAL_RELATION_ALL_EXISTS_CHECK

public static final SubLSymbol $kw32$REMOVAL_RELATION_ALL_EXISTS_CHECK

$list33

public static final SubLList $list33

$kw34$ISA

public static final SubLSymbol $kw34$ISA

$kw35$TRUE

public static final SubLSymbol $kw35$TRUE

$kw36$REMOVAL_RELATION_ALL_EXISTS_UNIFY

public static final SubLSymbol $kw36$REMOVAL_RELATION_ALL_EXISTS_UNIFY

$list37

public static final SubLList $list37

$kw38$RELATION_EXISTS_ALL_POS

public static final SubLSymbol $kw38$RELATION_EXISTS_ALL_POS

$list39

public static final SubLList $list39

$list40

public static final SubLList $list40

$const41$relationExistsAll

public static final SubLObject $const41$relationExistsAll

$const42$RelationExistsAllFn

public static final SubLObject $const42$RelationExistsAllFn

$list43

public static final SubLList $list43

$sym44$_RELATION_EXISTS_ALL_DEFINING_MT_

public static final SubLSymbol $sym44$_RELATION_EXISTS_ALL_DEFINING_MT_

$kw45$REMOVAL_RELATION_EXISTS_ALL_PRUNE

public static final SubLSymbol $kw45$REMOVAL_RELATION_EXISTS_ALL_PRUNE

$list46

public static final SubLList $list46

$list47

public static final SubLList $list47

$list48

public static final SubLList $list48

$sym49$REA_PRED

public static final SubLSymbol $sym49$REA_PRED

$sym50$REA_TERM

public static final SubLSymbol $sym50$REA_TERM

$kw51$REMOVAL_RELATION_EXISTS_ALL_CHECK

public static final SubLSymbol $kw51$REMOVAL_RELATION_EXISTS_ALL_CHECK

$list52

public static final SubLList $list52

$kw53$REMOVAL_RELATION_EXISTS_ALL_UNIFY

public static final SubLSymbol $kw53$REMOVAL_RELATION_EXISTS_ALL_UNIFY

$list54

public static final SubLList $list54

Method Detail

relation_all_exists_pos_preference

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

removal_some_relation_all_exists_for_predicate

public static final SubLObject removal_some_relation_all_exists_for_predicate(SubLObject predicate,
                                                                              SubLObject mt)

removal_relation_all_exists_required

public static final SubLObject removal_relation_all_exists_required(SubLObject asent,
                                                                    SubLObject require_new_terms_allowedP)

removal_relation_all_exists_unify_required

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

relation_exists_all_pos_preference

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

removal_some_relation_exists_all_for_predicate

public static final SubLObject removal_some_relation_exists_all_for_predicate(SubLObject predicate,
                                                                              SubLObject mt)

removal_relation_exists_all_required

public static final SubLObject removal_relation_exists_all_required(SubLObject asent,
                                                                    SubLObject require_new_terms_allowedP)

removal_relation_exists_all_unify_required

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

declare_removal_modules_relation_all_exists_file

public static final SubLObject declare_removal_modules_relation_all_exists_file()

init_removal_modules_relation_all_exists_file

public static final SubLObject init_removal_modules_relation_all_exists_file()

setup_removal_modules_relation_all_exists_file

public static final SubLObject setup_removal_modules_relation_all_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.