mt_vars

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl
Class mt_vars

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class mt_vars
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`mt_vars.$core_microtheory_p$UnaryFunction`
`static class`	`mt_vars.$special_core_loop_mt_p$UnaryFunction`

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

Field Summary
`static SubLSymbol`	$anect_mt$ The mt where isas to instances of #$AtemporalNecessarilyEssentialCollectionType go.
`static SubLSymbol`	$arity_mt$ The microtheory where #$arity assertions go
`static SubLSymbol`	$assertible_mt_root$ The highest microtheory where assertions can normally be made
`static SubLSymbol`	$assertible_theory_mt_root$ The highest theory microtheory where assertions can normally be made
`static SubLSymbol`	$broad_mt_mt$ The microtheory where isa assertions to #$BroadMicrotheory go.
`static SubLObject`	`$const13$UniversalVocabularyMt`
`static SubLObject`	`$const14$Microtheory`
`static SubLObject`	`$const16$definingMt`
`static SubLObject`	`$const18$decontextualizedPredicate`
`static SubLObject`	`$const20$decontextualizedCollection`
`static SubLObject`	`$const22$ephemeralTerm`
`static SubLObject`	`$const24$ist`
`static SubLObject`	`$const26$InferenceRelatedBookkeepingPredic`
`static SubLObject`	`$const28$AtemporalNecessarilyEssentialColl`
`static SubLObject`	`$const30$BroadMicrotheory`
`static SubLObject`	`$const32$ProblemSolvingCntxt`
`static SubLObject`	`$const34$termOfUnit`
`static SubLObject`	`$const36$skolem`
`static SubLObject`	`$const38$Thing`
`static SubLObject`	`$const40$Relation`
`static SubLObject`	`$const42$equals`
`static SubLObject`	`$const44$elementOf`
`static SubLObject`	`$const46$subsetOf`
`static SubLObject`	`$const48$arity`
`static SubLObject`	`$const50$CycAPIMt`
`static SubLObject`	`$const51$subLIdentifier`
`static SubLObject`	`$const53$notAssertibleMt`
`static SubLObject`	`$const7$BaseKB`
`static SubLSymbol`	$core_mt_floor$ The minimum (lowest) core microtheory.
`static SubLSymbol`	$core_mt_optimization_enabledP$ Temporary control variable ; controls whether or not genlMt has special-case optimization for core-microtheory-p
`static SubLSymbol`	$decontextualized_collection_mt$ The microtheory where #$decontextualizedCollection assertions go
`static SubLSymbol`	$decontextualized_predicate_mt$ The microtheory where #$decontextualizedPredicate assertions go
`static SubLSymbol`	$default_ask_mt$ The default mt for asks
`static SubLSymbol`	$default_assert_mt$ The default mt for asserts
`static SubLSymbol`	$default_clone_mt$ The default mt for cloning sentences -- should be the common genl of the above two
`static SubLSymbol`	$default_comment_mt$ The default mt for asserting comments and cyclistNotes.
`static SubLSymbol`	$default_convention_mt$ The default mt for the convention mt of a decontextualized predicate or collection, to use if none is specified in the KB
`static SubLSymbol`	$default_support_mt$ The default mt for HL supports -- one should be specified, but this is what to use as a backup
`static SubLSymbol`	$defining_mt_mt$ The microtheory where #$definingMt assertions go.
`static SubLSymbol`	$element_of_defining_mt$
`static SubLSymbol`	$ephemeral_term_mt$ The microtheory where #$ephemeralTerm gafs go.
`static SubLSymbol`	$equals_defining_mt$ The microtheory where #$equals is defined
`static SubLSymbol`	$inference_related_bookkeeping_predicate_mt$ The microtheory where isa assertions to #$InferenceRelatedBookkeepingPredicate go.
`static SubLSymbol`	$ist_mt$ The microtheory where #$ist code supports are supported from.
`static SubLList`	`$list0`
`static SubLList`	`$list60`
`static SubLList`	`$list61`
`static SubLList`	`$list62`
`static SubLSymbol`	$mt_mt$ The microtheory in which microtheories are asserted to be instances of #$Microtheory, and the microtheory where #$genlMt assertions go.
`static SubLSymbol`	$mt_root$ The root of the microtheory hierarchy
`static SubLSymbol`	$mt_var_basis_table$
`static SubLSymbol`	$not_assertible_mt_convention_mt$ The microtheory where #$notAssertibleMt assertions go
`static SubLSymbol`	$psc_mt$ The microtheory where isa assertions to #$ProblemSolvingCntxt go.
`static SubLSymbol`	$relation_defining_mt$ The microtheory where #$Relation is defined
`static SubLSymbol`	$skolem_mt$ The microtheory where #$skolem assertions go
`static SubLString`	`$str1$Illegal_basis_argument_to_defglob`
`static SubLSymbol`	$sublid_mt$ The microtheory from which #$subLIdentifier and #$uniquelyIdentifiedInType assertions should be visisble.
`static SubLSymbol`	$subset_of_defining_mt$
`static SubLSymbol`	`$sym10$_ASSERTIBLE_THEORY_MT_ROOT_`
`static SubLSymbol`	`$sym11$_CORE_MT_FLOOR_`
`static SubLSymbol`	`$sym12$_MT_MT_`
`static SubLSymbol`	`$sym15$_DEFINING_MT_MT_`
`static SubLSymbol`	`$sym17$_DECONTEXTUALIZED_PREDICATE_MT_`
`static SubLSymbol`	`$sym19$_DECONTEXTUALIZED_COLLECTION_MT_`
`static SubLSymbol`	`$sym2$PROGN`
`static SubLSymbol`	`$sym21$_EPHEMERAL_TERM_MT_`
`static SubLSymbol`	`$sym23$_IST_MT_`
`static SubLSymbol`	`$sym25$_INFERENCE_RELATED_BOOKKEEPING_PREDICATE_MT_`
`static SubLSymbol`	`$sym27$_ANECT_MT_`
`static SubLSymbol`	`$sym29$_BROAD_MT_MT_`
`static SubLSymbol`	`$sym3$DEFGLOBAL_PROTECTED`
`static SubLSymbol`	`$sym31$_PSC_MT_`
`static SubLSymbol`	`$sym33$_TOU_MT_`
`static SubLSymbol`	`$sym35$_SKOLEM_MT_`
`static SubLSymbol`	`$sym37$_THING_DEFINING_MT_`
`static SubLSymbol`	`$sym39$_RELATION_DEFINING_MT_`
`static SubLSymbol`	`$sym4$NOTE_MT_VAR`
`static SubLSymbol`	`$sym41$_EQUALS_DEFINING_MT_`
`static SubLSymbol`	`$sym43$_ELEMENT_OF_DEFINING_MT_`
`static SubLSymbol`	`$sym45$_SUBSET_OF_DEFINING_MT_`
`static SubLSymbol`	`$sym47$_ARITY_MT_`
`static SubLSymbol`	`$sym49$_SUBLID_MT_`
`static SubLSymbol`	`$sym5$QUOTE`
`static SubLSymbol`	`$sym52$_NOT_ASSERTIBLE_MT_CONVENTION_MT_`
`static SubLSymbol`	`$sym54$_DEFAULT_ASK_MT_`
`static SubLSymbol`	`$sym55$_DEFAULT_ASSERT_MT_`
`static SubLSymbol`	`$sym56$_DEFAULT_CLONE_MT_`
`static SubLSymbol`	`$sym57$_DEFAULT_SUPPORT_MT_`
`static SubLSymbol`	`$sym58$_DEFAULT_COMMENT_MT_`
`static SubLSymbol`	`$sym59$_DEFAULT_CONVENTION_MT_`
`static SubLSymbol`	`$sym6$_MT_ROOT_`
`static SubLSymbol`	`$sym63$CORE_MICROTHEORY_P`
`static SubLSymbol`	`$sym64$CORE_MICROTHEORY__`
`static SubLSymbol`	`$sym65$CORE_MICROTHEORY__`
`static SubLSymbol`	`$sym66$SETS_EQUAL_`
`static SubLSymbol`	`$sym8$_THEORY_MT_ROOT_`
`static SubLSymbol`	`$sym9$_ASSERTIBLE_MT_ROOT_`
`static SubLSymbol`	$theory_mt_root$ The highest theory microtheory where assertions/deductions could possibly go
`static SubLSymbol`	$thing_defining_mt$ The microtheory where #$Thing is defined
`static SubLSymbol`	$tou_mt$ The microtheory where #$termOfUnit assertions go
`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

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`	`core_genl_mtP(SubLObject mt1, SubLObject mt2)`
`static SubLObject`	`core_microtheory_G(SubLObject mt1, SubLObject mt2)` Return T iff core microtheory MT1 is higher than MT2 in the #$genlMt hierarchy.
`static SubLObject`	`core_microtheory_L(SubLObject mt1, SubLObject mt2)` Return T iff core microtheory MT1 is lower than MT2 in the #$genlMt hierarchy.
`static SubLObject`	`core_microtheory_p(SubLObject object)` Return T iff OBJECT is a core microtheory.
`static SubLObject`	`declare_mt_vars_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`init_mt_vars_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`maximize_mts_wrt_core(SubLObject mts)` Reduces MTS by eliminating any non-core mts if there are any core mts, and then taking the maximal core mt.
`static SubLObject`	`minimize_mt_sets_wrt_core(SubLObject mt_sets)` Reduces mts in MT-SETS by eliminating any proper genlMts of core microtheories in each element of MT-SETS.
`static SubLObject`	`minimize_mts_wrt_core(SubLObject mts)` Reduces MTS by eliminating any core microtheories that are proper genlMt of microtheories in MTS.
`static SubLObject`	`note_mt_var_basis(SubLObject var, SubLObject basis)`
`static SubLObject`	`note_mt_var(SubLObject var, SubLObject basis)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_mt_vars_file()`
`static SubLObject`	`special_core_loop_mt_p(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

$mt_var_basis_table$

public static SubLSymbol $mt_var_basis_table$

$mt_root$

public static SubLSymbol $mt_root$

The root of the microtheory hierarchy

$theory_mt_root$

public static SubLSymbol $theory_mt_root$

The highest theory microtheory where assertions/deductions could possibly go

$assertible_mt_root$

public static SubLSymbol $assertible_mt_root$

The highest microtheory where assertions can normally be made

$assertible_theory_mt_root$

public static SubLSymbol $assertible_theory_mt_root$

The highest theory microtheory where assertions can normally be made

$core_mt_floor$

public static SubLSymbol $core_mt_floor$

The minimum (lowest) core microtheory.

$mt_mt$

public static SubLSymbol $mt_mt$

The microtheory in which microtheories are asserted to be instances of #$Microtheory, and the microtheory where #$genlMt assertions go.

$defining_mt_mt$

public static SubLSymbol $defining_mt_mt$

The microtheory where #$definingMt assertions go. Should be the same as the *mt-mt*

$decontextualized_predicate_mt$

public static SubLSymbol $decontextualized_predicate_mt$

The microtheory where #$decontextualizedPredicate assertions go

$decontextualized_collection_mt$

public static SubLSymbol $decontextualized_collection_mt$

The microtheory where #$decontextualizedCollection assertions go

$ephemeral_term_mt$

public static SubLSymbol $ephemeral_term_mt$

The microtheory where #$ephemeralTerm gafs go.

$ist_mt$

public static SubLSymbol $ist_mt$

The microtheory where #$ist code supports are supported from. It would be the microtheory where #$ist gafs would go, but those shouldn't really be in the KB at all.

$inference_related_bookkeeping_predicate_mt$

public static SubLSymbol $inference_related_bookkeeping_predicate_mt$

The microtheory where isa assertions to #$InferenceRelatedBookkeepingPredicate go.

$anect_mt$

public static SubLSymbol $anect_mt$

The mt where isas to instances of #$AtemporalNecessarilyEssentialCollectionType go. Note that this includes #$AtemporalNecessarilyEssentialCollectionType itself, and the code assumes that these mts are the same.

$broad_mt_mt$

public static SubLSymbol $broad_mt_mt$

The microtheory where isa assertions to #$BroadMicrotheory go.

$psc_mt$

public static SubLSymbol $psc_mt$

The microtheory where isa assertions to #$ProblemSolvingCntxt go.

$tou_mt$

public static SubLSymbol $tou_mt$

The microtheory where #$termOfUnit assertions go

$skolem_mt$

public static SubLSymbol $skolem_mt$

The microtheory where #$skolem assertions go

$thing_defining_mt$

public static SubLSymbol $thing_defining_mt$

The microtheory where #$Thing is defined

$relation_defining_mt$

public static SubLSymbol $relation_defining_mt$

The microtheory where #$Relation is defined

$equals_defining_mt$

public static SubLSymbol $equals_defining_mt$

The microtheory where #$equals is defined

$element_of_defining_mt$

public static SubLSymbol $element_of_defining_mt$

$subset_of_defining_mt$

public static SubLSymbol $subset_of_defining_mt$

$arity_mt$

public static SubLSymbol $arity_mt$

The microtheory where #$arity assertions go

$sublid_mt$

public static SubLSymbol $sublid_mt$

The microtheory from which #$subLIdentifier and #$uniquelyIdentifiedInType assertions should be visisble.

$not_assertible_mt_convention_mt$

public static SubLSymbol $not_assertible_mt_convention_mt$

The microtheory where #$notAssertibleMt assertions go

$default_ask_mt$

public static SubLSymbol $default_ask_mt$

The default mt for asks

$default_assert_mt$

public static SubLSymbol $default_assert_mt$

The default mt for asserts

$default_clone_mt$

public static SubLSymbol $default_clone_mt$

The default mt for cloning sentences -- should be the common genl of the above two

$default_support_mt$

public static SubLSymbol $default_support_mt$

The default mt for HL supports -- one should be specified, but this is what to use as a backup

$default_comment_mt$

public static SubLSymbol $default_comment_mt$

The default mt for asserting comments and cyclistNotes.

$default_convention_mt$

public static SubLSymbol $default_convention_mt$

The default mt for the convention mt of a decontextualized predicate or collection, to use if none is specified in the KB

$core_mt_optimization_enabledP$

public static SubLSymbol $core_mt_optimization_enabledP$

Temporary control variable ; controls whether or not genlMt has special-case optimization for core-microtheory-p

$list0

public static final SubLList $list0

$str1$Illegal_basis_argument_to_defglob

public static final SubLString $str1$Illegal_basis_argument_to_defglob

$sym2$PROGN

public static final SubLSymbol $sym2$PROGN

$sym3$DEFGLOBAL_PROTECTED

public static final SubLSymbol $sym3$DEFGLOBAL_PROTECTED

$sym4$NOTE_MT_VAR

public static final SubLSymbol $sym4$NOTE_MT_VAR

$sym5$QUOTE

public static final SubLSymbol $sym5$QUOTE

$sym6$_MT_ROOT_

public static final SubLSymbol $sym6$_MT_ROOT_

$const7$BaseKB

public static final SubLObject $const7$BaseKB

$sym8$_THEORY_MT_ROOT_

public static final SubLSymbol $sym8$_THEORY_MT_ROOT_

$sym9$_ASSERTIBLE_MT_ROOT_

public static final SubLSymbol $sym9$_ASSERTIBLE_MT_ROOT_

$sym10$_ASSERTIBLE_THEORY_MT_ROOT_

public static final SubLSymbol $sym10$_ASSERTIBLE_THEORY_MT_ROOT_

$sym11$_CORE_MT_FLOOR_

public static final SubLSymbol $sym11$_CORE_MT_FLOOR_

$sym12$_MT_MT_

public static final SubLSymbol $sym12$_MT_MT_

$const13$UniversalVocabularyMt

public static final SubLObject $const13$UniversalVocabularyMt

$const14$Microtheory

public static final SubLObject $const14$Microtheory

$sym15$_DEFINING_MT_MT_

public static final SubLSymbol $sym15$_DEFINING_MT_MT_

$const16$definingMt

public static final SubLObject $const16$definingMt

$sym17$_DECONTEXTUALIZED_PREDICATE_MT_

public static final SubLSymbol $sym17$_DECONTEXTUALIZED_PREDICATE_MT_

$const18$decontextualizedPredicate

public static final SubLObject $const18$decontextualizedPredicate

$sym19$_DECONTEXTUALIZED_COLLECTION_MT_

public static final SubLSymbol $sym19$_DECONTEXTUALIZED_COLLECTION_MT_

$const20$decontextualizedCollection

public static final SubLObject $const20$decontextualizedCollection

$sym21$_EPHEMERAL_TERM_MT_

public static final SubLSymbol $sym21$_EPHEMERAL_TERM_MT_

$const22$ephemeralTerm

public static final SubLObject $const22$ephemeralTerm

$sym23$_IST_MT_

public static final SubLSymbol $sym23$_IST_MT_

$const24$ist

public static final SubLObject $const24$ist

$sym25$_INFERENCE_RELATED_BOOKKEEPING_PREDICATE_MT_

public static final SubLSymbol $sym25$_INFERENCE_RELATED_BOOKKEEPING_PREDICATE_MT_

$const26$InferenceRelatedBookkeepingPredic

public static final SubLObject $const26$InferenceRelatedBookkeepingPredic

$sym27$_ANECT_MT_

public static final SubLSymbol $sym27$_ANECT_MT_

$const28$AtemporalNecessarilyEssentialColl

public static final SubLObject $const28$AtemporalNecessarilyEssentialColl

$sym29$_BROAD_MT_MT_

public static final SubLSymbol $sym29$_BROAD_MT_MT_

$const30$BroadMicrotheory

public static final SubLObject $const30$BroadMicrotheory

$sym31$_PSC_MT_

public static final SubLSymbol $sym31$_PSC_MT_

$const32$ProblemSolvingCntxt

public static final SubLObject $const32$ProblemSolvingCntxt

$sym33$_TOU_MT_

public static final SubLSymbol $sym33$_TOU_MT_

$const34$termOfUnit

public static final SubLObject $const34$termOfUnit

$sym35$_SKOLEM_MT_

public static final SubLSymbol $sym35$_SKOLEM_MT_

$const36$skolem

public static final SubLObject $const36$skolem

$sym37$_THING_DEFINING_MT_

public static final SubLSymbol $sym37$_THING_DEFINING_MT_

$const38$Thing

public static final SubLObject $const38$Thing

$sym39$_RELATION_DEFINING_MT_

public static final SubLSymbol $sym39$_RELATION_DEFINING_MT_

$const40$Relation

public static final SubLObject $const40$Relation

$sym41$_EQUALS_DEFINING_MT_

public static final SubLSymbol $sym41$_EQUALS_DEFINING_MT_

$const42$equals

public static final SubLObject $const42$equals

$sym43$_ELEMENT_OF_DEFINING_MT_

public static final SubLSymbol $sym43$_ELEMENT_OF_DEFINING_MT_

$const44$elementOf

public static final SubLObject $const44$elementOf

$sym45$_SUBSET_OF_DEFINING_MT_

public static final SubLSymbol $sym45$_SUBSET_OF_DEFINING_MT_

$const46$subsetOf

public static final SubLObject $const46$subsetOf

$sym47$_ARITY_MT_

public static final SubLSymbol $sym47$_ARITY_MT_

$const48$arity

public static final SubLObject $const48$arity

$sym49$_SUBLID_MT_

public static final SubLSymbol $sym49$_SUBLID_MT_

$const50$CycAPIMt

public static final SubLObject $const50$CycAPIMt

$const51$subLIdentifier

public static final SubLObject $const51$subLIdentifier

$sym52$_NOT_ASSERTIBLE_MT_CONVENTION_MT_

public static final SubLSymbol $sym52$_NOT_ASSERTIBLE_MT_CONVENTION_MT_

$const53$notAssertibleMt

public static final SubLObject $const53$notAssertibleMt

$sym54$_DEFAULT_ASK_MT_

public static final SubLSymbol $sym54$_DEFAULT_ASK_MT_

$sym55$_DEFAULT_ASSERT_MT_

public static final SubLSymbol $sym55$_DEFAULT_ASSERT_MT_

$sym56$_DEFAULT_CLONE_MT_

public static final SubLSymbol $sym56$_DEFAULT_CLONE_MT_

$sym57$_DEFAULT_SUPPORT_MT_

public static final SubLSymbol $sym57$_DEFAULT_SUPPORT_MT_

$sym58$_DEFAULT_COMMENT_MT_

public static final SubLSymbol $sym58$_DEFAULT_COMMENT_MT_

$sym59$_DEFAULT_CONVENTION_MT_

public static final SubLSymbol $sym59$_DEFAULT_CONVENTION_MT_

$list60

public static final SubLList $list60

$list61

public static final SubLList $list61

$list62

public static final SubLList $list62

$sym63$CORE_MICROTHEORY_P

public static final SubLSymbol $sym63$CORE_MICROTHEORY_P

$sym64$CORE_MICROTHEORY__

public static final SubLSymbol $sym64$CORE_MICROTHEORY__

$sym65$CORE_MICROTHEORY__

public static final SubLSymbol $sym65$CORE_MICROTHEORY__

$sym66$SETS_EQUAL_

public static final SubLSymbol $sym66$SETS_EQUAL_

Method Detail

note_mt_var

public static final SubLObject note_mt_var(SubLObject var,
                                           SubLObject basis)

note_mt_var_basis

public static final SubLObject note_mt_var_basis(SubLObject var,
                                                 SubLObject basis)

core_microtheory_p

public static final SubLObject core_microtheory_p(SubLObject object)

Return T iff OBJECT is a core microtheory.

core_microtheory_L

public static final SubLObject core_microtheory_L(SubLObject mt1,
                                                  SubLObject mt2)

Return T iff core microtheory MT1 is lower than MT2 in the #$genlMt hierarchy.

core_microtheory_G

public static final SubLObject core_microtheory_G(SubLObject mt1,
                                                  SubLObject mt2)

Return T iff core microtheory MT1 is higher than MT2 in the #$genlMt hierarchy.

core_genl_mtP

public static final SubLObject core_genl_mtP(SubLObject mt1,
                                             SubLObject mt2)

special_core_loop_mt_p

public static final SubLObject special_core_loop_mt_p(SubLObject object)

minimize_mts_wrt_core

public static final SubLObject minimize_mts_wrt_core(SubLObject mts)

Reduces MTS by eliminating any core microtheories that are proper genlMt of microtheories in MTS.

maximize_mts_wrt_core

public static final SubLObject maximize_mts_wrt_core(SubLObject mts)

Reduces MTS by eliminating any non-core mts if there are any core mts, and then taking the maximal core mt.

minimize_mt_sets_wrt_core

public static final SubLObject minimize_mt_sets_wrt_core(SubLObject mt_sets)

Reduces mts in MT-SETS by eliminating any proper genlMts of core microtheories in each element of MT-SETS.

declare_mt_vars_file

public static final SubLObject declare_mt_vars_file()

init_mt_vars_file

public static final SubLObject init_mt_vars_file()

setup_mt_vars_file

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

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl Class mt_vars

me

myName

$mt_var_basis_table$

$mt_root$

$theory_mt_root$

$assertible_mt_root$

$assertible_theory_mt_root$

$core_mt_floor$

$mt_mt$

$defining_mt_mt$

$decontextualized_predicate_mt$

$decontextualized_collection_mt$

$ephemeral_term_mt$

$ist_mt$

$inference_related_bookkeeping_predicate_mt$

$anect_mt$

$broad_mt_mt$

$psc_mt$

$tou_mt$

$skolem_mt$

$thing_defining_mt$

$relation_defining_mt$

$equals_defining_mt$

$element_of_defining_mt$

$subset_of_defining_mt$

$arity_mt$

$sublid_mt$

$not_assertible_mt_convention_mt$

$default_ask_mt$

$default_assert_mt$

$default_clone_mt$

$default_support_mt$

$default_comment_mt$

$default_convention_mt$

$core_mt_optimization_enabledP$

$list0

$str1$Illegal_basis_argument_to_defglob

$sym2$PROGN

$sym3$DEFGLOBAL_PROTECTED

$sym4$NOTE_MT_VAR

$sym5$QUOTE

$sym6$_MT_ROOT_

$const7$BaseKB

$sym8$_THEORY_MT_ROOT_

$sym9$_ASSERTIBLE_MT_ROOT_

$sym10$_ASSERTIBLE_THEORY_MT_ROOT_

$sym11$_CORE_MT_FLOOR_

$sym12$_MT_MT_

$const13$UniversalVocabularyMt

$const14$Microtheory

$sym15$_DEFINING_MT_MT_

$const16$definingMt

$sym17$_DECONTEXTUALIZED_PREDICATE_MT_

$const18$decontextualizedPredicate

$sym19$_DECONTEXTUALIZED_COLLECTION_MT_

$const20$decontextualizedCollection

$sym21$_EPHEMERAL_TERM_MT_

$const22$ephemeralTerm

$sym23$_IST_MT_

$const24$ist

$sym25$_INFERENCE_RELATED_BOOKKEEPING_PREDICATE_MT_

$const26$InferenceRelatedBookkeepingPredic

$sym27$_ANECT_MT_

$const28$AtemporalNecessarilyEssentialColl

$sym29$_BROAD_MT_MT_

$const30$BroadMicrotheory

$sym31$_PSC_MT_

$const32$ProblemSolvingCntxt

$sym33$_TOU_MT_

$const34$termOfUnit

$sym35$_SKOLEM_MT_

$const36$skolem

$sym37$_THING_DEFINING_MT_

$const38$Thing

$sym39$_RELATION_DEFINING_MT_

$const40$Relation

$sym41$_EQUALS_DEFINING_MT_

$const42$equals

$sym43$_ELEMENT_OF_DEFINING_MT_

com.cyc.cycjava.cycl
Class mt_vars