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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class removal_modules_asserted_formula
extends SubLTranslatedFile

Nested Class Summary

static class	removal_modules_asserted_formula.$removal_asserted_sentence_lookup_iterator$UnaryFunction
static class	removal_modules_asserted_formula.$removal_asserted_sentence_lookup_pos_cost$BinaryFunction
static class	removal_modules_asserted_formula.$removal_asserted_sentence_lookup_pos_cost$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const0$assertedSentence
static SubLObject	$const13$exactlyAssertedSentence
static SubLObject	$const20$assertedPredicateArg
static SubLObject	$const35$termFormulas
static SubLObject	$const37$BaseKB
static SubLObject	$const49$assertedTermSentences
static SubLObject	$const63$assertedTermSetSentences
static SubLSymbol	$kw10$MINIMIZE
static SubLSymbol	$kw11$REMOVAL_ASSERTED_SENTENCE_LOOKUP_NEG
static SubLSymbol	$kw14$REMOVAL_EXACTLY_ASSERTED_SENTENCE_LOOKUP_POS
static SubLSymbol	$kw16$REMOVAL_EXACTLY_ASSERTED_SENTENCE_UNBOUND_LOOKUP_POS
static SubLSymbol	$kw18$REMOVAL_EXACTLY_ASSERTED_SENTENCE_LOOKUP_NEG
static SubLSymbol	$kw2$GAF_ARG
static SubLSymbol	$kw21$REMOVAL_ASSERTED_PREDICATE_ARG_PRUNE
static SubLSymbol	$kw23$OPAQUE
static SubLSymbol	$kw24$REMOVAL_ASSERTED_PREDICATE_ARG_POS_CHECK
static SubLSymbol	$kw26$REMOVAL_ASSERTED_PREDICATE_ARG_NEG_CHECK
static SubLSymbol	$kw28$REMOVAL_ASSERTED_PREDICATE_TERM_ARG_VAR
static SubLSymbol	$kw3$GAF
static SubLSymbol	$kw30$REMOVAL_ASSERTED_PREDICATE_TERM_VAR_VAR
static SubLSymbol	$kw32$TRUE
static SubLSymbol	$kw33$REMOVAL_ASSERTED_PREDICATE_VAR_ARG_PRED
static SubLSymbol	$kw38$TRUE_MON
static SubLSymbol	$kw4$PREDICATE_EXTENT
static SubLSymbol	$kw43$REMOVAL_TERM_FORMULAS_CHECK_POS
static SubLSymbol	$kw45$REMOVAL_TERM_FORMULAS_CHECK_NEG
static SubLSymbol	$kw47$REMOVAL_TERM_FORMULAS_UNIFY
static SubLSymbol	$kw5$OVERLAP
static SubLSymbol	$kw50$POS
static SubLSymbol	$kw51$REMOVAL_ASSERTED_TERM_SENTENCES_GAF_CHECK_POS
static SubLSymbol	$kw53$REMOVAL_ASSERTED_TERM_SENTENCES_GAF_CHECK_NEG
static SubLSymbol	$kw55$REMOVAL_ASSERTED_TERM_SENTENCES_GAF_ITERATE
static SubLSymbol	$kw57$REMOVAL_ASSERTED_TERM_SENTENCES_ARG_INDEX_UNIFY
static SubLSymbol	$kw59$REMOVAL_ASSERTED_TERM_SENTENCES_INDEX_UNIFY
static SubLSymbol	$kw6$REMOVAL_ASSERTED_SENTENCE_LOOKUP_POS
static SubLSymbol	$kw61$REMOVAL_ASSERTED_TERM_SENTENCES_INDEX_VARIABLE
static SubLSymbol	$kw64$REMOVAL_ASSERTED_TERM_SET_SENTENCES_INDEX_VARIABLE
static SubLSymbol	$kw66$REMOVAL_ASSERTED_TERM_SET_SENTENCES_GAF_CHECK_POS
static SubLSymbol	$kw68$REMOVAL_ASSERTED_TERM_SET_SENTENCES_GAF_CHECK_NEG
static SubLSymbol	$kw8$REMOVAL_ASSERTED_SENTENCE_UNBOUND_LOOKUP_POS
static SubLList	$list12
static SubLList	$list15
static SubLList	$list17
static SubLList	$list19
static SubLList	$list22
static SubLList	$list25
static SubLList	$list27
static SubLList	$list29
static SubLList	$list31
static SubLList	$list34
static SubLList	$list44
static SubLList	$list46
static SubLList	$list48
static SubLList	$list52
static SubLList	$list54
static SubLList	$list56
static SubLList	$list58
static SubLList	$list60
static SubLList	$list62
static SubLList	$list65
static SubLList	$list67
static SubLList	$list69
static SubLList	$list7
static SubLList	$list9
static SubLSymbol	$sym1$HL_VAR_
static SubLSymbol	$sym36$_TERM_FORMULAS_DEFINING_MT_
static SubLSymbol	$sym39$CYCL_FORMULA_P
static SubLSymbol	$sym40$FULLY_BOUND_P
static SubLSymbol	$sym41$CLOSED_
static SubLSymbol	$sym42$HL_TERM_P
static SubLSymbol	$term_formulas_defining_mt$
static SubLFile	me
static java.lang.String	myName

Fields inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

EMPTY_SUBL_OBJECT_ARRAY

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols

ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER

Method Summary

static SubLObject	declare_removal_modules_asserted_formula_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_removal_modules_asserted_formula_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	removal_asserted_sentence_cost(SubLObject asent)
static SubLObject	removal_asserted_sentence_lookup_iterator(SubLObject asent)
static SubLObject	removal_asserted_sentence_lookup_pos_cost(SubLObject asent, SubLObject sense)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_removal_modules_asserted_formula_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

$term_formulas_defining_mt$

public static SubLSymbol $term_formulas_defining_mt$

$const0$assertedSentence

public static final SubLObject $const0$assertedSentence

$sym1$HL_VAR_

public static final SubLSymbol $sym1$HL_VAR_

$kw2$GAF_ARG

public static final SubLSymbol $kw2$GAF_ARG

$kw3$GAF

public static final SubLSymbol $kw3$GAF

$kw4$PREDICATE_EXTENT

public static final SubLSymbol $kw4$PREDICATE_EXTENT

$kw5$OVERLAP

public static final SubLSymbol $kw5$OVERLAP

$kw6$REMOVAL_ASSERTED_SENTENCE_LOOKUP_POS

public static final SubLSymbol $kw6$REMOVAL_ASSERTED_SENTENCE_LOOKUP_POS

$list7

public static final SubLList $list7

$kw8$REMOVAL_ASSERTED_SENTENCE_UNBOUND_LOOKUP_POS

public static final SubLSymbol $kw8$REMOVAL_ASSERTED_SENTENCE_UNBOUND_LOOKUP_POS

$list9

public static final SubLList $list9

$kw10$MINIMIZE

public static final SubLSymbol $kw10$MINIMIZE

$kw11$REMOVAL_ASSERTED_SENTENCE_LOOKUP_NEG

public static final SubLSymbol $kw11$REMOVAL_ASSERTED_SENTENCE_LOOKUP_NEG

$list12

public static final SubLList $list12

$const13$exactlyAssertedSentence

public static final SubLObject $const13$exactlyAssertedSentence

$kw14$REMOVAL_EXACTLY_ASSERTED_SENTENCE_LOOKUP_POS

public static final SubLSymbol $kw14$REMOVAL_EXACTLY_ASSERTED_SENTENCE_LOOKUP_POS

$list15

public static final SubLList $list15

$kw16$REMOVAL_EXACTLY_ASSERTED_SENTENCE_UNBOUND_LOOKUP_POS

public static final SubLSymbol $kw16$REMOVAL_EXACTLY_ASSERTED_SENTENCE_UNBOUND_LOOKUP_POS

$list17

public static final SubLList $list17

$kw18$REMOVAL_EXACTLY_ASSERTED_SENTENCE_LOOKUP_NEG

public static final SubLSymbol $kw18$REMOVAL_EXACTLY_ASSERTED_SENTENCE_LOOKUP_NEG

$list19

public static final SubLList $list19

$const20$assertedPredicateArg

public static final SubLObject $const20$assertedPredicateArg

$kw21$REMOVAL_ASSERTED_PREDICATE_ARG_PRUNE

public static final SubLSymbol $kw21$REMOVAL_ASSERTED_PREDICATE_ARG_PRUNE

$list22

public static final SubLList $list22

$kw23$OPAQUE

public static final SubLSymbol $kw23$OPAQUE

$kw24$REMOVAL_ASSERTED_PREDICATE_ARG_POS_CHECK

public static final SubLSymbol $kw24$REMOVAL_ASSERTED_PREDICATE_ARG_POS_CHECK

$list25

public static final SubLList $list25

$kw26$REMOVAL_ASSERTED_PREDICATE_ARG_NEG_CHECK

public static final SubLSymbol $kw26$REMOVAL_ASSERTED_PREDICATE_ARG_NEG_CHECK

$list27

public static final SubLList $list27

$kw28$REMOVAL_ASSERTED_PREDICATE_TERM_ARG_VAR

public static final SubLSymbol $kw28$REMOVAL_ASSERTED_PREDICATE_TERM_ARG_VAR

$list29

public static final SubLList $list29

$kw30$REMOVAL_ASSERTED_PREDICATE_TERM_VAR_VAR

public static final SubLSymbol $kw30$REMOVAL_ASSERTED_PREDICATE_TERM_VAR_VAR

$list31

public static final SubLList $list31

$kw32$TRUE

public static final SubLSymbol $kw32$TRUE

$kw33$REMOVAL_ASSERTED_PREDICATE_VAR_ARG_PRED

public static final SubLSymbol $kw33$REMOVAL_ASSERTED_PREDICATE_VAR_ARG_PRED

$list34

public static final SubLList $list34

$const35$termFormulas

public static final SubLObject $const35$termFormulas

$sym36$_TERM_FORMULAS_DEFINING_MT_

public static final SubLSymbol $sym36$_TERM_FORMULAS_DEFINING_MT_

$const37$BaseKB

public static final SubLObject $const37$BaseKB

$kw38$TRUE_MON

public static final SubLSymbol $kw38$TRUE_MON

$sym39$CYCL_FORMULA_P

public static final SubLSymbol $sym39$CYCL_FORMULA_P

$sym40$FULLY_BOUND_P

public static final SubLSymbol $sym40$FULLY_BOUND_P

$sym41$CLOSED_

public static final SubLSymbol $sym41$CLOSED_

$sym42$HL_TERM_P

public static final SubLSymbol $sym42$HL_TERM_P

$kw43$REMOVAL_TERM_FORMULAS_CHECK_POS

public static final SubLSymbol $kw43$REMOVAL_TERM_FORMULAS_CHECK_POS

$list44

public static final SubLList $list44

$kw45$REMOVAL_TERM_FORMULAS_CHECK_NEG

public static final SubLSymbol $kw45$REMOVAL_TERM_FORMULAS_CHECK_NEG

$list46

public static final SubLList $list46

$kw47$REMOVAL_TERM_FORMULAS_UNIFY

public static final SubLSymbol $kw47$REMOVAL_TERM_FORMULAS_UNIFY

$list48

public static final SubLList $list48

$const49$assertedTermSentences

public static final SubLObject $const49$assertedTermSentences

$kw50$POS

public static final SubLSymbol $kw50$POS

$kw51$REMOVAL_ASSERTED_TERM_SENTENCES_GAF_CHECK_POS

public static final SubLSymbol $kw51$REMOVAL_ASSERTED_TERM_SENTENCES_GAF_CHECK_POS

$list52

public static final SubLList $list52

$kw53$REMOVAL_ASSERTED_TERM_SENTENCES_GAF_CHECK_NEG

public static final SubLSymbol $kw53$REMOVAL_ASSERTED_TERM_SENTENCES_GAF_CHECK_NEG

$list54

public static final SubLList $list54

$kw55$REMOVAL_ASSERTED_TERM_SENTENCES_GAF_ITERATE

public static final SubLSymbol $kw55$REMOVAL_ASSERTED_TERM_SENTENCES_GAF_ITERATE

$list56

public static final SubLList $list56

$kw57$REMOVAL_ASSERTED_TERM_SENTENCES_ARG_INDEX_UNIFY

public static final SubLSymbol $kw57$REMOVAL_ASSERTED_TERM_SENTENCES_ARG_INDEX_UNIFY

$list58

public static final SubLList $list58

$kw59$REMOVAL_ASSERTED_TERM_SENTENCES_INDEX_UNIFY

public static final SubLSymbol $kw59$REMOVAL_ASSERTED_TERM_SENTENCES_INDEX_UNIFY

$list60

public static final SubLList $list60

$kw61$REMOVAL_ASSERTED_TERM_SENTENCES_INDEX_VARIABLE

public static final SubLSymbol $kw61$REMOVAL_ASSERTED_TERM_SENTENCES_INDEX_VARIABLE

$list62

public static final SubLList $list62

$const63$assertedTermSetSentences

public static final SubLObject $const63$assertedTermSetSentences

$kw64$REMOVAL_ASSERTED_TERM_SET_SENTENCES_INDEX_VARIABLE

public static final SubLSymbol $kw64$REMOVAL_ASSERTED_TERM_SET_SENTENCES_INDEX_VARIABLE

$list65

public static final SubLList $list65

$kw66$REMOVAL_ASSERTED_TERM_SET_SENTENCES_GAF_CHECK_POS

public static final SubLSymbol $kw66$REMOVAL_ASSERTED_TERM_SET_SENTENCES_GAF_CHECK_POS

$list67

public static final SubLList $list67

$kw68$REMOVAL_ASSERTED_TERM_SET_SENTENCES_GAF_CHECK_NEG

public static final SubLSymbol $kw68$REMOVAL_ASSERTED_TERM_SET_SENTENCES_GAF_CHECK_NEG

$list69

public static final SubLList $list69

Method Detail

removal_asserted_sentence_cost

public static final SubLObject removal_asserted_sentence_cost(SubLObject asent)

removal_asserted_sentence_lookup_pos_cost

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

removal_asserted_sentence_lookup_iterator

public static final SubLObject removal_asserted_sentence_lookup_iterator(SubLObject asent)

declare_removal_modules_asserted_formula_file

public static final SubLObject declare_removal_modules_asserted_formula_file()

init_removal_modules_asserted_formula_file

public static final SubLObject init_removal_modules_asserted_formula_file()

setup_removal_modules_asserted_formula_file

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