com.cyc.cycjava.cycl
Class term

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class term
extends SubLTranslatedFile

Nested Class Summary

static class	term.$closed_nautP$BinaryFunction
static class	term.$closed_nautP$UnaryFunction
static class	term.$fast_reified_skolemP$UnaryFunction
static class	term.$fast_skolem_natP$UnaryFunction
static class	term.$kb_assertionP$UnaryFunction
static class	term.$reified_skolem_constant_termP$UnaryFunction
static class	term.$skolem_constantP$UnaryFunction
static class	term.$unreified_skolem_termP$UnaryFunction
static class	term.$var_specP$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const10$SkolemFunction
static SubLObject	$const17$EverythingPSC
static SubLObject	$const18$Function_Denotational
static SubLObject	$const25$ScalarInterval
static SubLObject	$const7$Relation
static SubLObject	$const8$isa
static SubLObject	$const9$SkolemFuncN
static SubLSymbol	$kw20$_MEMOIZED_ITEM_NOT_FOUND_
static SubLSymbol	$kw21$MAL_FN_NESTING
static SubLSymbol	$kw23$NEG
static SubLSymbol	$kw24$POS
static SubLList	$list1
static SubLList	$list12
static SubLList	$list3
static SubLList	$list5
static SubLString	$str11$SKF
static SubLString	$str2$Returns_t_iff_OBJECT_is_a_fort_or
static SubLString	$str6$Returns_T_if_the_OBJ_is_a_valid_C
static SubLSymbol	$sym0$EL_FORT_P
static SubLSymbol	$sym13$CYC_VAR_
static SubLSymbol	$sym14$VARIABLE_P
static SubLSymbol	$sym15$EL_VAR_
static SubLSymbol	$sym16$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym19$MEMOIZED_VALID_FN_TERM_WRT_NESTING_
static SubLSymbol	$sym22$FORMULA_WITH_NON_CONSTANT_OPERATOR_P
static SubLSymbol	$sym26$VAR_SPEC_
static SubLSymbol	$sym4$HL_TERM_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

Method Summary

static SubLObject	closed_nautP(SubLObject object, SubLObject varP)
static SubLObject	declare_term_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	dotted_argsP(SubLObject args, SubLObject varP)
static SubLObject	el_fort_p(SubLObject object) Returns t iff OBJECT is a fort or an EL formula.
static SubLObject	fast_reified_skolemP(SubLObject fort)
static SubLObject	fast_skolem_nartP(SubLObject v_term) Like @xref skolem-nart except this assumes that all skolem functions begin with SKF.
static SubLObject	fast_skolem_natP(SubLObject v_term) Like @xref skolem-nart except this assumes that all skolem functions begin with SKF.
static SubLObject	first_order_nautP(SubLObject object) is
static SubLObject	function_symbolP(SubLObject symbol)
static SubLObject	function_termP(SubLObject v_term)
static SubLObject	ground_nautP(SubLObject naut, SubLObject varP)
static SubLObject	has_skolem_nameP(SubLObject fort)
static SubLObject	hl_ground_nautP(SubLObject object)
static SubLObject	init_term_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	kb_assertionP(SubLObject object)
static SubLObject	kb_predicateP(SubLObject symbol)
static SubLObject	kb_relationP(SubLObject object)
static SubLObject	mt_designating_relationP(SubLObject v_term)
static SubLObject	nautP(SubLObject nat, SubLObject varP)
static SubLObject	reified_skolem_fn_in_any_mtP(SubLObject fn, SubLObject robustP, SubLObject assumeP)
static SubLObject	reified_skolem_termP(SubLObject v_term) e.g.
static SubLObject	relation_syntaxP(SubLObject v_term, SubLObject varP)
static SubLObject	represented_first_order_termP(SubLObject v_term)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	sentenceP(SubLObject formula, SubLObject varP)
static SubLObject	setup_term_file()
static SubLObject	skolem_fn_functionP(SubLObject symbol)
static SubLObject	unreified_skolem_fn_termP(SubLObject v_term)
static SubLObject	unreified_skolem_termP(SubLObject v_term)
static SubLObject	var_specP(SubLObject object)

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$EL_FORT_P

public static final SubLSymbol $sym0$EL_FORT_P

$list1

public static final SubLList $list1

$str2$Returns_t_iff_OBJECT_is_a_fort_or

public static final SubLString $str2$Returns_t_iff_OBJECT_is_a_fort_or

$list3

public static final SubLList $list3

$sym4$HL_TERM_P

public static final SubLSymbol $sym4$HL_TERM_P

$list5

public static final SubLList $list5

$str6$Returns_T_if_the_OBJ_is_a_valid_C

public static final SubLString $str6$Returns_T_if_the_OBJ_is_a_valid_C

$const7$Relation

public static final SubLObject $const7$Relation

$const8$isa

public static final SubLObject $const8$isa

$const9$SkolemFuncN

public static final SubLObject $const9$SkolemFuncN

$const10$SkolemFunction

public static final SubLObject $const10$SkolemFunction

$str11$SKF

public static final SubLString $str11$SKF

$list12

public static final SubLList $list12

$sym13$CYC_VAR_

public static final SubLSymbol $sym13$CYC_VAR_

$sym14$VARIABLE_P

public static final SubLSymbol $sym14$VARIABLE_P

$sym15$EL_VAR_

public static final SubLSymbol $sym15$EL_VAR_

$sym16$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym16$RELEVANT_MT_IS_EVERYTHING

$const17$EverythingPSC

public static final SubLObject $const17$EverythingPSC

$const18$Function_Denotational

public static final SubLObject $const18$Function_Denotational

$sym19$MEMOIZED_VALID_FN_TERM_WRT_NESTING_

public static final SubLSymbol $sym19$MEMOIZED_VALID_FN_TERM_WRT_NESTING_

$kw20$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw20$_MEMOIZED_ITEM_NOT_FOUND_

$kw21$MAL_FN_NESTING

public static final SubLSymbol $kw21$MAL_FN_NESTING

$sym22$FORMULA_WITH_NON_CONSTANT_OPERATOR_P

public static final SubLSymbol $sym22$FORMULA_WITH_NON_CONSTANT_OPERATOR_P

$kw23$NEG

public static final SubLSymbol $kw23$NEG

$kw24$POS

public static final SubLSymbol $kw24$POS

$const25$ScalarInterval

public static final SubLObject $const25$ScalarInterval

$sym26$VAR_SPEC_

public static final SubLSymbol $sym26$VAR_SPEC_

Method Detail

el_fort_p

public static final SubLObject el_fort_p(SubLObject object)

Returns t iff OBJECT is a fort or an EL formula.

kb_assertionP

public static final SubLObject kb_assertionP(SubLObject object)

kb_predicateP

public static final SubLObject kb_predicateP(SubLObject symbol)

mt_designating_relationP

public static final SubLObject mt_designating_relationP(SubLObject v_term)

kb_relationP

public static final SubLObject kb_relationP(SubLObject object)

reified_skolem_termP

public static final SubLObject reified_skolem_termP(SubLObject v_term)

e.g. (#$SKF-1234 #$Muffet)

reified_skolem_fn_in_any_mtP

public static final SubLObject reified_skolem_fn_in_any_mtP(SubLObject fn,
                                                            SubLObject robustP,
                                                            SubLObject assumeP)

has_skolem_nameP

public static final SubLObject has_skolem_nameP(SubLObject fort)

fast_reified_skolemP

public static final SubLObject fast_reified_skolemP(SubLObject fort)

fast_skolem_nartP

public static final SubLObject fast_skolem_nartP(SubLObject v_term)

Like @xref skolem-nart except this assumes that all skolem functions begin with SKF.

fast_skolem_natP

public static final SubLObject fast_skolem_natP(SubLObject v_term)

Like @xref skolem-nart except this assumes that all skolem functions begin with SKF.

unreified_skolem_termP

public static final SubLObject unreified_skolem_termP(SubLObject v_term)

unreified_skolem_fn_termP

public static final SubLObject unreified_skolem_fn_termP(SubLObject v_term)

skolem_fn_functionP

public static final SubLObject skolem_fn_functionP(SubLObject symbol)

ground_nautP

public static final SubLObject ground_nautP(SubLObject naut,
                                            SubLObject varP)

hl_ground_nautP

public static final SubLObject hl_ground_nautP(SubLObject object)

Returns:

booleanp; whether OBJECT is a naut which is ground at the HL, i.e. contains no HL variables.

closed_nautP

public static final SubLObject closed_nautP(SubLObject object,
                                            SubLObject varP)

first_order_nautP

public static final SubLObject first_order_nautP(SubLObject object)

is