com.cyc.cycjava.cycl
Class skolems

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class skolems
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const1$termOfUnit
static SubLObject	$const101$Unity
static SubLObject	$const140$temporalMicrotheoriesIntersect
static SubLObject	$const142$thereExists
static SubLObject	$const144$ist
static SubLObject	$const145$MtSpace
static SubLObject	$const147$and
static SubLObject	$const149$BaseKB
static SubLObject	$const19$VariableAritySkolemFuncN
static SubLObject	$const20$FixedAritySkolemFuncN
static SubLObject	$const21$VariableAritySkolemFunction
static SubLObject	$const22$FixedAritySkolemFunction
static SubLObject	$const3$SkolemFunctionFn
static SubLObject	$const4$SkolemFunction
static SubLObject	$const41$EverythingPSC
static SubLObject	$const42$skolem
static SubLObject	$const48$isa
static SubLObject	$const5$SkolemFuncN
static SubLObject	$const6$SkolemFuncNFn
static SubLObject	$const68$IntervalMinFn
static SubLObject	$const69$IntervalMaxFn
static SubLObject	$const70$ScalarInterval
static SubLObject	$const77$CycLReifiableDenotationalTerm
static SubLInteger	$int28$64
static SubLSymbol	$kw100$SKOLEM_DEFN_ARGS_SK_TYPE_NUMBER_MISMATCH
static SubLSymbol	$kw102$SKOLEM_DEFN_OBSOLETE_NUMBER
static SubLSymbol	$kw103$SKOLEM_DEFN_MAL_MT
static SubLSymbol	$kw110$PARTIALLY_UNFINDABLE
static SubLSymbol	$kw111$UNFINDABLE
static SubLSymbol	$kw112$FREE_VARIABLE
static SubLSymbol	$kw113$MULTIPLE_MTS
static SubLSymbol	$kw114$RAW_SKOLEM
static SubLSymbol	$kw115$UNREIFIED_SKOLEM
static SubLSymbol	$kw116$KNOWN_ISSUE
static SubLSymbol	$kw118$UNINITIALIZED
static SubLSymbol	$kw129$IGNORE
static SubLSymbol	$kw14$TOO_MANY_SEQUENCE_VARS_IN_SKOLEM_SCOPE
static SubLSymbol	$kw25$EL_VAR
static SubLSymbol	$kw29$_MEMOIZED_ITEM_NOT_FOUND_
static SubLSymbol	$kw31$MAPPING_DONE
static SubLSymbol	$kw38$IGNORE_ERRORS_TARGET
static SubLSymbol	$kw61$GAF
static SubLSymbol	$kw71$UNNAMED_SKOLEM_FN
static SubLSymbol	$kw88$SKOLEM_DEFN_NOT_LIST
static SubLSymbol	$kw89$SKOLEM_DEFN_MAL_LENGTH
static SubLSymbol	$kw91$SKOLEM_DEFN_ORTS
static SubLSymbol	$kw92$SKOLEM_DEFN_MAL_SKOLEM_FORT
static SubLSymbol	$kw93$SKOLEM_DEFN_MAL_UNREIFIED_FN_LENGTH
static SubLSymbol	$kw95$SKOLEM_DEFN_MAL_SKOLEM_FN_TYPE
static SubLSymbol	$kw96$SKOLEM_DEFN_MAL_SKOLEM_FN_ARGS
static SubLSymbol	$kw97$SKOLEM_DEFN_ARGS_W_O_NUMBER
static SubLSymbol	$kw98$SKOLEM_DEFN_NON_VAR_ARGS
static SubLSymbol	$kw99$SKOLEM_DEFN_MAL_SK_VAR
static SubLList	$list0
static SubLList	$list104
static SubLList	$list105
static SubLObject	$list106
static SubLList	$list117
static SubLList	$list120
static SubLList	$list121
static SubLList	$list122
static SubLList	$list123
static SubLList	$list124
static SubLList	$list125
static SubLList	$list126
static SubLList	$list127
static SubLList	$list128
static SubLList	$list130
static SubLList	$list135
static SubLList	$list137
static SubLList	$list139
static SubLList	$list141
static SubLList	$list146
static SubLList	$list148
static SubLList	$list150
static SubLList	$list18
static SubLList	$list2
static SubLList	$list32
static SubLList	$list36
static SubLList	$list78
static SubLList	$list80
static SubLList	$list84
static SubLList	$list87
static SubLList	$list90
static SubLList	$list94
static SubLString	$str107$Invalid_attempt_to_reuse_memoizat
static SubLString	$str108$_a__a__s__
static SubLString	$str11$skolem_args____s_vs__s
static SubLString	$str119$different_el_formulas_for__a____s
static SubLString	$str131$Skolem_type_mismatch___a__a__a
static SubLString	$str132$
static SubLString	$str133$temporalMicrotheoriesIntersect_
static SubLString	$str134$___amismatch_for__a___a___a__
static SubLString	$str136$Error
static SubLString	$str151$recanonicalizing_skolems
static SubLString	$str33$Multiple_skolem_sequence_variable
static SubLString	$str34$SkolemFuncN_appears_as_SkolemFunc
static SubLString	$str47$_in_gaf_has_corresponding_cnf_in_
static SubLString	$str53$recomputing_skolem_defn_info_cons
static SubLString	$str54$recomputing_skolem_defn_info_var_
static SubLString	$str55$really_recomputing_skolem_defn__c
static SubLString	$str56$recomputing_skolem_defn_info_defn
static SubLString	$str57$recomputing_skolem_defn_info_key_
static SubLString	$str58$recomputing_skolem_defn_info_blis
static SubLString	$str59$set_recomputing_skolem_defn_resul
static SubLString	$str60$set_recomputing_skolem_defn_blist
static SubLString	$str62$note_skolem_binding_called_when_n
static SubLString	$str63$Total_KB_Skolems___a
static SubLString	$str64$building_skolem_defn_table
static SubLString	$str66$_A
static SubLString	$str67$____reified_skolem__a_not_known_t
static SubLString	$str7$unreified_skolem_term_references_
static SubLString	$str72$__disjoint_result_types___s____s
static SubLString	$str73$__explicit_result_types___s____s
static SubLString	$str74$__tacit_result_isa___s____s
static SubLString	$str75$__no_result_types___s
static SubLString	$str76$__tacit_result_genl___s____s
static SubLString	$str79$mapping_skolem_defn_table
static SubLString	$str81$__tacit_arg__s_type___s____s
static SubLString	$str82$__no_arg__s_type___s____s
static SubLString	$str83$mapping_skolem_axiom_table
static SubLString	$str86$fixing_skolems_w_o_mts
static SubLSymbol	$sym10$CDR
static SubLSymbol	$sym109$DIAGNOSE_JUST_THIS_SKOLEM
static SubLSymbol	$sym12$CLAUSE_FREE_SEQUENCE_VARIABLES
static SubLSymbol	$sym13$CLAUSE_FREE_TERM_VARIABLES
static SubLSymbol	$sym138$SKOLEM_SCALAR_TERM_
static SubLSymbol	$sym143$_TIME
static SubLSymbol	$sym15$EL_VAR_
static SubLSymbol	$sym16$UNREIFIED_SKOLEM_TERM_
static SubLSymbol	$sym17$SKOLEM_FUNCTION_VAR
static SubLSymbol	$sym23$STRING_
static SubLSymbol	$sym24$FORMULA_CONSTANT_STR
static SubLSymbol	$sym26$CYC_VAR_EXCEPT_FOR_X_0_
static SubLSymbol	$sym27$_FORMULA_CONSTANT_STR_CACHING_STATE_
static SubLSymbol	$sym30$_X_0
static SubLSymbol	$sym35$_X
static SubLSymbol	$sym37$FALSE
static SubLSymbol	$sym39$IGNORE_ERRORS_HANDLER
static SubLSymbol	$sym40$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym43$ASSERTION_IST_FORMULA
static SubLSymbol	$sym44$SKOLEM_FUNCTION_P
static SubLSymbol	$sym45$RELEVANT_MT_IS_GENL_MT
static SubLSymbol	$sym46$OPAQUE_ARG_WRT_EL_TEMPLATE_
static SubLSymbol	$sym49$SENTENCE_ARG0
static SubLSymbol	$sym50$DEDUCTION_ASSERTION
static SubLSymbol	$sym51$ASSERTION_FORMULA
static SubLSymbol	$sym52$REIFIED_SKOLEM_FN_IN_ANY_MT_
static SubLSymbol	$sym65$CATCH_ERROR_MESSAGE_HANDLER
static SubLSymbol	$sym8$CAR
static SubLSymbol	$sym85$CYC_CONST_GENERAL_EXISTENTIAL_OPERATOR_P
static SubLSymbol	$sym9$_
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_skolems_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_skolems_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_skolems_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

$list0

public static final SubLList $list0

$const1$termOfUnit

public static final SubLObject $const1$termOfUnit

$list2

public static final SubLList $list2

$const3$SkolemFunctionFn

public static final SubLObject $const3$SkolemFunctionFn

$const4$SkolemFunction

public static final SubLObject $const4$SkolemFunction

$const5$SkolemFuncN

public static final SubLObject $const5$SkolemFuncN

$const6$SkolemFuncNFn

public static final SubLObject $const6$SkolemFuncNFn

$str7$unreified_skolem_term_references_

public static final SubLString $str7$unreified_skolem_term_references_

$sym8$CAR

public static final SubLSymbol $sym8$CAR

$sym9$_

public static final SubLSymbol $sym9$_

$sym10$CDR

public static final SubLSymbol $sym10$CDR

$str11$skolem_args____s_vs__s

public static final SubLString $str11$skolem_args____s_vs__s

$sym12$CLAUSE_FREE_SEQUENCE_VARIABLES

public static final SubLSymbol $sym12$CLAUSE_FREE_SEQUENCE_VARIABLES

$sym13$CLAUSE_FREE_TERM_VARIABLES

public static final SubLSymbol $sym13$CLAUSE_FREE_TERM_VARIABLES

$kw14$TOO_MANY_SEQUENCE_VARS_IN_SKOLEM_SCOPE

public static final SubLSymbol $kw14$TOO_MANY_SEQUENCE_VARS_IN_SKOLEM_SCOPE

$sym15$EL_VAR_

public static final SubLSymbol $sym15$EL_VAR_

$sym16$UNREIFIED_SKOLEM_TERM_

public static final SubLSymbol $sym16$UNREIFIED_SKOLEM_TERM_

$sym17$SKOLEM_FUNCTION_VAR

public static final SubLSymbol $sym17$SKOLEM_FUNCTION_VAR

$list18

public static final SubLList $list18

$const19$VariableAritySkolemFuncN

public static final SubLObject $const19$VariableAritySkolemFuncN

$const20$FixedAritySkolemFuncN

public static final SubLObject $const20$FixedAritySkolemFuncN

$const21$VariableAritySkolemFunction

public static final SubLObject $const21$VariableAritySkolemFunction

$const22$FixedAritySkolemFunction

public static final SubLObject $const22$FixedAritySkolemFunction

$sym23$STRING_

public static final SubLSymbol $sym23$STRING_

$sym24$FORMULA_CONSTANT_STR

public static final SubLSymbol $sym24$FORMULA_CONSTANT_STR

$kw25$EL_VAR

public static final SubLSymbol $kw25$EL_VAR

$sym26$CYC_VAR_EXCEPT_FOR_X_0_

public static final SubLSymbol $sym26$CYC_VAR_EXCEPT_FOR_X_0_

$sym27$_FORMULA_CONSTANT_STR_CACHING_STATE_

public static final SubLSymbol $sym27$_FORMULA_CONSTANT_STR_CACHING_STATE_

$int28$64

public static final SubLInteger $int28$64

$kw29$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw29$_MEMOIZED_ITEM_NOT_FOUND_

$sym30$_X_0

public static final SubLSymbol $sym30$_X_0

$kw31$MAPPING_DONE

public static final SubLSymbol $kw31$MAPPING_DONE

$list32

public static final SubLList $list32

$str33$Multiple_skolem_sequence_variable

public static final SubLString $str33$Multiple_skolem_sequence_variable

$str34$SkolemFuncN_appears_as_SkolemFunc

public static final SubLString $str34$SkolemFuncN_appears_as_SkolemFunc

$sym35$_X

public static final SubLSymbol $sym35$_X

$list36

public static final SubLList $list36

$sym37$FALSE

public static final SubLSymbol $sym37$FALSE

$kw38$IGNORE_ERRORS_TARGET

public static final SubLSymbol $kw38$IGNORE_ERRORS_TARGET

$sym39$IGNORE_ERRORS_HANDLER

public static final SubLSymbol $sym39$IGNORE_ERRORS_HANDLER

$sym40$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym40$RELEVANT_MT_IS_EVERYTHING

$const41$EverythingPSC

public static final SubLObject $const41$EverythingPSC

$const42$skolem

public static final SubLObject $const42$skolem

$sym43$ASSERTION_IST_FORMULA

public static final SubLSymbol $sym43$ASSERTION_IST_FORMULA

$sym44$SKOLEM_FUNCTION_P

public static final SubLSymbol $sym44$SKOLEM_FUNCTION_P

$sym45$RELEVANT_MT_IS_GENL_MT

public static final SubLSymbol $sym45$RELEVANT_MT_IS_GENL_MT

$sym46$OPAQUE_ARG_WRT_EL_TEMPLATE_

public static final SubLSymbol $sym46$OPAQUE_ARG_WRT_EL_TEMPLATE_

$str47$_in_gaf_has_corresponding_cnf_in_

public static final SubLString $str47$_in_gaf_has_corresponding_cnf_in_

$const48$isa

public static final SubLObject $const48$isa

$sym49$SENTENCE_ARG0

public static final SubLSymbol $sym49$SENTENCE_ARG0

$sym50$DEDUCTION_ASSERTION

public static final SubLSymbol $sym50$DEDUCTION_ASSERTION

$sym51$ASSERTION_FORMULA

public static final SubLSymbol $sym51$ASSERTION_FORMULA

$sym52$REIFIED_SKOLEM_FN_IN_ANY_MT_

public static final SubLSymbol $sym52$REIFIED_SKOLEM_FN_IN_ANY_MT_

$str53$recomputing_skolem_defn_info_cons

public static final SubLString $str53$recomputing_skolem_defn_info_cons

$str54$recomputing_skolem_defn_info_var_

public static final SubLString $str54$recomputing_skolem_defn_info_var_

$str55$really_recomputing_skolem_defn__c

public static final SubLString $str55$really_recomputing_skolem_defn__c

$str56$recomputing_skolem_defn_info_defn

public static final SubLString $str56$recomputing_skolem_defn_info_defn

$str57$recomputing_skolem_defn_info_key_

public static final SubLString $str57$recomputing_skolem_defn_info_key_

$str58$recomputing_skolem_defn_info_blis

public static final SubLString $str58$recomputing_skolem_defn_info_blis

$str59$set_recomputing_skolem_defn_resul

public static final SubLString $str59$set_recomputing_skolem_defn_resul

$str60$set_recomputing_skolem_defn_blist

public static final SubLString $str60$set_recomputing_skolem_defn_blist

$kw61$GAF

public static final SubLSymbol $kw61$GAF

$str62$note_skolem_binding_called_when_n

public static final SubLString $str62$note_skolem_binding_called_when_n

$str63$Total_KB_Skolems___a

public static final SubLString $str63$Total_KB_Skolems___a

$str64$building_skolem_defn_table

public static final SubLString $str64$building_skolem_defn_table

$sym65$CATCH_ERROR_MESSAGE_HANDLER

public static final SubLSymbol $sym65$CATCH_ERROR_MESSAGE_HANDLER

$str66$_A

public static final SubLString $str66$_A

$str67$____reified_skolem__a_not_known_t

public static final SubLString $str67$____reified_skolem__a_not_known_t

$const68$IntervalMinFn

public static final SubLObject $const68$IntervalMinFn

$const69$IntervalMaxFn

public static final SubLObject $const69$IntervalMaxFn

$const70$ScalarInterval

public static final SubLObject $const70$ScalarInterval

$kw71$UNNAMED_SKOLEM_FN

public static final SubLSymbol $kw71$UNNAMED_SKOLEM_FN

$str72$__disjoint_result_types___s____s

public static final SubLString $str72$__disjoint_result_types___s____s

$str73$__explicit_result_types___s____s

public static final SubLString $str73$__explicit_result_types___s____s

$str74$__tacit_result_isa___s____s

public static final SubLString $str74$__tacit_result_isa___s____s

$str75$__no_result_types___s

public static final SubLString $str75$__no_result_types___s

$str76$__tacit_result_genl___s____s

public static final SubLString $str76$__tacit_result_genl___s____s

$const77$CycLReifiableDenotationalTerm

public static final SubLObject $const77$CycLReifiableDenotationalTerm

$list78

public static final SubLList $list78

$str79$mapping_skolem_defn_table

public static final SubLString $str79$mapping_skolem_defn_table

$list80

public static final SubLList $list80

$str81$__tacit_arg__s_type___s____s

public static final SubLString $str81$__tacit_arg__s_type___s____s

$str82$__no_arg__s_type___s____s

public static final SubLString $str82$__no_arg__s_type___s____s

$str83$mapping_skolem_axiom_table

public static final SubLString $str83$mapping_skolem_axiom_table

$list84

public static final SubLList $list84

$sym85$CYC_CONST_GENERAL_EXISTENTIAL_OPERATOR_P

public static final SubLSymbol $sym85$CYC_CONST_GENERAL_EXISTENTIAL_OPERATOR_P

$str86$fixing_skolems_w_o_mts

public static final SubLString $str86$fixing_skolems_w_o_mts

$list87

public static final SubLList $list87

$kw88$SKOLEM_DEFN_NOT_LIST

public static final SubLSymbol $kw88$SKOLEM_DEFN_NOT_LIST

$kw89$SKOLEM_DEFN_MAL_LENGTH

public static final SubLSymbol $kw89$SKOLEM_DEFN_MAL_LENGTH

$list90

public static final SubLList $list90

$kw91$SKOLEM_DEFN_ORTS

public static final SubLSymbol $kw91$SKOLEM_DEFN_ORTS

$kw92$SKOLEM_DEFN_MAL_SKOLEM_FORT

public static final SubLSymbol $kw92$SKOLEM_DEFN_MAL_SKOLEM_FORT

$kw93$SKOLEM_DEFN_MAL_UNREIFIED_FN_LENGTH

public static final SubLSymbol $kw93$SKOLEM_DEFN_MAL_UNREIFIED_FN_LENGTH

$list94

public static final SubLList $list94

$kw95$SKOLEM_DEFN_MAL_SKOLEM_FN_TYPE

public static final SubLSymbol $kw95$SKOLEM_DEFN_MAL_SKOLEM_FN_TYPE

$kw96$SKOLEM_DEFN_MAL_SKOLEM_FN_ARGS

public static final SubLSymbol $kw96$SKOLEM_DEFN_MAL_SKOLEM_FN_ARGS

$kw97$SKOLEM_DEFN_ARGS_W_O_NUMBER

public static final SubLSymbol $kw97$SKOLEM_DEFN_ARGS_W_O_NUMBER

$kw98$SKOLEM_DEFN_NON_VAR_ARGS

public static final SubLSymbol $kw98$SKOLEM_DEFN_NON_VAR_ARGS

$kw99$SKOLEM_DEFN_MAL_SK_VAR

public static final SubLSymbol $kw99$SKOLEM_DEFN_MAL_SK_VAR

$kw100$SKOLEM_DEFN_ARGS_SK_TYPE_NUMBER_MISMATCH

public static final SubLSymbol $kw100$SKOLEM_DEFN_ARGS_SK_TYPE_NUMBER_MISMATCH

$const101$Unity

public static final SubLObject $const101$Unity

$kw102$SKOLEM_DEFN_OBSOLETE_NUMBER

public static final SubLSymbol $kw102$SKOLEM_DEFN_OBSOLETE_NUMBER

$kw103$SKOLEM_DEFN_MAL_MT

public static final SubLSymbol $kw103$SKOLEM_DEFN_MAL_MT

$list104

public static final SubLList $list104

$list105

public static final SubLList $list105

$list106

public static final SubLObject $list106

$str107$Invalid_attempt_to_reuse_memoizat

public static final SubLString $str107$Invalid_attempt_to_reuse_memoizat

$str108$_a__a__s__

public static final SubLString $str108$_a__a__s__

$sym109$DIAGNOSE_JUST_THIS_SKOLEM

public static final SubLSymbol $sym109$DIAGNOSE_JUST_THIS_SKOLEM

$kw110$PARTIALLY_UNFINDABLE

public static final SubLSymbol $kw110$PARTIALLY_UNFINDABLE

$kw111$UNFINDABLE

public static final SubLSymbol $kw111$UNFINDABLE

$kw112$FREE_VARIABLE

public static final SubLSymbol $kw112$FREE_VARIABLE

$kw113$MULTIPLE_MTS

public static final SubLSymbol $kw113$MULTIPLE_MTS

$kw114$RAW_SKOLEM

public static final SubLSymbol $kw114$RAW_SKOLEM

$kw115$UNREIFIED_SKOLEM

public static final SubLSymbol $kw115$UNREIFIED_SKOLEM

$kw116$KNOWN_ISSUE

public static final SubLSymbol $kw116$KNOWN_ISSUE

$list117

public static final SubLList $list117

$kw118$UNINITIALIZED

public static final SubLSymbol $kw118$UNINITIALIZED

$str119$different_el_formulas_for__a____s

public static final SubLString $str119$different_el_formulas_for__a____s

$list120

public static final SubLList $list120

$list121

public static final SubLList $list121

$list122

public static final SubLList $list122

$list123

public static final SubLList $list123

$list124

public static final SubLList $list124

$list125

public static final SubLList $list125

$list126

public static final SubLList $list126

$list127

public static final SubLList $list127

$list128

public static final SubLList $list128

$kw129$IGNORE

public static final SubLSymbol $kw129$IGNORE

$list130

public static final SubLList $list130

$str131$Skolem_type_mismatch___a__a__a

public static final SubLString $str131$Skolem_type_mismatch___a__a__a

$str132$

public static final SubLString $str132$

$str133$temporalMicrotheoriesIntersect_

public static final SubLString $str133$temporalMicrotheoriesIntersect_

$str134$___amismatch_for__a___a___a__

public static final SubLString $str134$___amismatch_for__a___a___a__

$list135

public static final SubLList $list135

$str136$Error

public static final SubLString $str136$Error

$list137

public static final SubLList $list137

$sym138$SKOLEM_SCALAR_TERM_

public static final SubLSymbol $sym138$SKOLEM_SCALAR_TERM_

$list139

public static final SubLList $list139

$const140$temporalMicrotheoriesIntersect

public static final SubLObject $const140$temporalMicrotheoriesIntersect

$list141

public static final SubLList $list141

$const142$thereExists

public static final SubLObject $const142$thereExists

$sym143$_TIME

public static final SubLSymbol $sym143$_TIME

$const144$ist

public static final SubLObject $const144$ist

$const145$MtSpace

public static final SubLObject $const145$MtSpace

$list146

public static final SubLList $list146

$const147$and

public static final SubLObject $const147$and

$list148

public static final SubLList $list148

$const149$BaseKB

public static final SubLObject $const149$BaseKB

$list150

public static final SubLList $list150

$str151$recanonicalizing_skolems

public static final SubLString $str151$recanonicalizing_skolems

Method Detail

declare_skolems_file

public static final SubLObject declare_skolems_file()

init_skolems_file

public static final SubLObject init_skolems_file()

setup_skolems_file

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