com.cyc.cycjava.cycl
Class fort_types_interface

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class fort_types_interface
extends SubLTranslatedFile

Nested Class Summary

static class	fort_types_interface.$collection_p$UnaryFunction
static class	fort_types_interface.$predicate_p$UnaryFunction
static class	fort_types_interface.$scoping_relation_p$UnaryFunction
static class	fort_types_interface.$sibling_disjoint_collection_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const0$isa
static SubLObject	$const11$Relation
static SubLObject	$const12$SententialRelation
static SubLObject	$const13$AntiSymmetricBinaryPredicate
static SubLObject	$const14$AntiTransitiveBinaryPredicate
static SubLObject	$const15$ArgTypeBinaryPredicate
static SubLObject	$const16$ArgQuotedIsaBinaryPredicate
static SubLObject	$const17$ArgFormatBinaryPredicate
static SubLObject	$const18$ArgTypeTernaryPredicate
static SubLObject	$const19$ArgQuotedIsaTernaryPredicate
static SubLObject	$const2$EverythingPSC
static SubLObject	$const20$ArgFormatTernaryPredicate
static SubLObject	$const21$AsymmetricBinaryPredicate
static SubLObject	$const22$BookkeepingPredicate
static SubLObject	$const23$UnderspecifiedPredicate
static SubLObject	$const24$BroadMicrotheory
static SubLObject	$const29$CommutativeRelation
static SubLObject	$const30$CommutativePredicate
static SubLObject	$const31$DistributingMetaKnowledgePredicat
static SubLObject	$const32$ELRelation
static SubLObject	$const33$EvaluatableFunction
static SubLObject	$const34$EvaluatablePredicate
static SubLObject	$const35$ExistentialQuantifier
static SubLObject	$const36$IrreflexiveBinaryPredicate
static SubLObject	$const37$LogicalConnective
static SubLObject	$const38$MicrotheoryDesignatingRelation
static SubLObject	$const39$PartiallyCommutativeRelation
static SubLObject	$const4$Collection
static SubLObject	$const40$PartiallyCommutativePredicate
static SubLObject	$const41$ProblemSolvingCntxt
static SubLObject	$const42$Quantifier
static SubLObject	$const43$ReflexiveBinaryPredicate
static SubLObject	$const44$ReifiableFunction
static SubLObject	$const45$RuleMacroPredicate
static SubLObject	$const46$ScopingRelation
static SubLObject	$const47$SiblingDisjointCollectionType
static SubLObject	$const48$SkolemFunction
static SubLObject	$const49$SymmetricBinaryPredicate
static SubLObject	$const5$Function_Denotational
static SubLObject	$const50$TransitiveBinaryPredicate
static SubLObject	$const51$VariableArityRelation
static SubLObject	$const52$DocumentationPredicate
static SubLObject	$const53$SKSIContentMicrotheory
static SubLObject	$const54$SKSIExternalTermDenotingFunction
static SubLObject	$const55$SKSISupportedComparisonPredicate
static SubLObject	$const56$SKSISupportedFunction
static SubLObject	$const57$CSQLComparisonPredicate
static SubLObject	$const58$SKSISupportedConstant
static SubLObject	$const59$CSQLFunction
static SubLObject	$const6$Predicate
static SubLObject	$const60$CSQLLogicalConnective
static SubLObject	$const61$CSQLQuantifier
static SubLObject	$const62$CSQLConstantFunction
static SubLObject	$const63$NLDefinitenessAttribute
static SubLObject	$const64$NLQuantAttribute
static SubLObject	$const65$ExistentialQuantifier_Bounded
static SubLObject	$const66$EvaluatableRelation_Contextualize
static SubLObject	$const67$PublicConstant
static SubLObject	$const69$ProprietaryConstant
static SubLObject	$const7$Microtheory
static SubLObject	$const74$City
static SubLObject	$const76$GeographicalRegion
static SubLObject	$const78$Country
static SubLSymbol	$kw72$_MEMOIZED_ITEM_NOT_FOUND_
static SubLList	$list26
static SubLList	$list28
static SubLString	$str27$Return_T_iff_RELATION_is_a_commut
static SubLSymbol	$sym1$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym10$ISA_PREDICATE_
static SubLSymbol	$sym25$COMMUTATIVE_RELATION_
static SubLSymbol	$sym3$FORT_P
static SubLSymbol	$sym68$PROPRIETARY_CONSTANT_
static SubLSymbol	$sym70$_PROPRIETARY_CONSTANT__CACHING_STATE_
static SubLSymbol	$sym71$CLEAR_PROPRIETARY_CONSTANT_
static SubLSymbol	$sym73$CITY_IN_ANY_MT_
static SubLSymbol	$sym75$GEOGRAPHICAL_REGION_IN_ANY_MT_
static SubLSymbol	$sym77$COUNTRY_IN_ANY_MT_
static SubLSymbol	$sym8$COLLECTION_P
static SubLSymbol	$sym9$PREDICATE_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	anti_symmetric_binary_predicate_p(SubLObject fort) is FORT a anti symmetric binary predicate?
static SubLObject	anti_transitive_binary_predicate_p(SubLObject fort) is FORT a anti transitive binary predicate?
static SubLObject	asymmetric_binary_predicate_p(SubLObject fort) is FORT a asymmetric binary predicate?
static SubLObject	bookkeeping_predicate_p(SubLObject fort) is FORT a bookkeeping predicate?
static SubLObject	bounded_existential_quantifier_p(SubLObject object)
static SubLObject	broad_microtheory_p(SubLObject fort) is FORT a broad microtheory?
static SubLObject	collection_in_any_mtP(SubLObject fort) is FORT a collection in any mt?
static SubLObject	collection_p(SubLObject fort) is FORT a collection?
static SubLObject	collectionP(SubLObject fort) is FORT a collection?
static SubLObject	commutative_predicate_p(SubLObject fort) is FORT a commutative predicate?
static SubLObject	commutative_relation_p(SubLObject fort) is FORT a commutative relation?
static SubLObject	commutative_relationP(SubLObject relation) Return T iff RELATION is a commutative relation.
static SubLObject	declare_fort_types_interface_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	distributing_meta_knowledge_predicate_p(SubLObject fort) is FORT a distributing meta knowledge predicate?
static SubLObject	el_relation_p(SubLObject fort) is FORT an EL relation?
static SubLObject	evaluatable_function_p(SubLObject fort) is FORT a evaluatable function?
static SubLObject	evaluatable_predicate_p(SubLObject fort, SubLObject mt) is FORT a evaluatable predicate?
static SubLObject	evaluatable_relation_contextualized_p(SubLObject fort) is FORT a contextualized evaluatable relation?
static SubLObject	fort_has_type_in_any_mtP(SubLObject fort, SubLObject type)
static SubLObject	fort_has_typeP(SubLObject fort, SubLObject type, SubLObject mt) Accessor.
static SubLObject	function_in_any_mtP(SubLObject fort) Is FORT in the @xref *forts-typed-function-denotational*
static SubLObject	functionP(SubLObject fort) is FORT a non-predicate function?
static SubLObject	functorP(SubLObject fort) is FORT a non-predicate function?
static SubLObject	init_fort_types_interface_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	irreflexive_binary_predicate_p(SubLObject fort) is FORT a irreflexive binary predicate?
static SubLObject	isa_collectionP(SubLObject v_term, SubLObject mt) is TERM a collection?
static SubLObject	isa_el_relationP(SubLObject v_term, SubLObject mt) is TERM an EL relation?
static SubLObject	isa_logical_connectiveP(SubLObject v_term, SubLObject mt) is TERM a logical connective?
static SubLObject	isa_mtP(SubLObject v_term, SubLObject mt) is TERM a microtheory?
static SubLObject	isa_predicateP(SubLObject v_term, SubLObject mt) is TERM a predicate?
static SubLObject	isa_quantifierP(SubLObject v_term, SubLObject mt) is TERM a quantifier?
static SubLObject	isa_reifiable_functionP(SubLObject v_term, SubLObject mt) is TERM a reifiable function?
static SubLObject	isa_scoping_relationP(SubLObject v_term, SubLObject mt) is TERM a scoping relation?
static SubLObject	isa_variable_arity_relationP(SubLObject v_term, SubLObject mt) is TERM a variable arity relation?
static SubLObject	logical_connective_p(SubLObject fort) is FORT a logical connective?
static SubLObject	microtheory_designating_relation_p(SubLObject fort) is FORT a microtheory designating relation?
static SubLObject	mt_in_any_mtP(SubLObject fort)
static SubLObject	mtP(SubLObject fort) is FORT a microtheory?
static SubLObject	non_predicate_functionP(SubLObject fort) is FORT a non-predicate function?
static SubLObject	partially_commutative_predicate_p(SubLObject fort) is FORT a partially commutative predicate?
static SubLObject	partially_commutative_relation_p(SubLObject fort) is FORT a partially commutative relation?
static SubLObject	predicate_in_any_mtP(SubLObject fort) is FORT a predicate in any mt?
static SubLObject	predicate_p(SubLObject fort) is FORT a predicate?
static SubLObject	predicateP(SubLObject fort) is FORT a predicate?
static SubLObject	quantifier_p(SubLObject fort) is FORT a quantifier?
static SubLObject	reflexive_binary_predicate_p(SubLObject fort) is FORT a reflexive binary predicate?
static SubLObject	reifiable_function_p(SubLObject fort) is FORT a reifiable function?
static SubLObject	relation_p(SubLObject fort) is FORT a relation?
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	scoping_relation_p(SubLObject fort) is FORT a scoping relation?
static SubLObject	sentential_relation_p(SubLObject fort) is FORT a sentential relation?
static SubLObject	setup_fort_types_interface_file()
static SubLObject	sibling_disjoint_collection_p(SubLObject fort) is FORT a sibling disjoint collection?
static SubLObject	skolem_function_p(SubLObject fort) is FORT a skolem function?
static SubLObject	symmetric_binary_predicate_p(SubLObject fort) is FORT a symmetric binary predicate?
static SubLObject	transitive_binary_predicate_p(SubLObject fort) is FORT a transitive binary predicate?
static SubLObject	variable_arity_relation_p(SubLObject fort) is FORT a variable arity relation?

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

$const0$isa

public static final SubLObject $const0$isa

$sym1$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym1$RELEVANT_MT_IS_EVERYTHING

$const2$EverythingPSC

public static final SubLObject $const2$EverythingPSC

$sym3$FORT_P

public static final SubLSymbol $sym3$FORT_P

$const4$Collection

public static final SubLObject $const4$Collection

$const5$Function_Denotational

public static final SubLObject $const5$Function_Denotational

$const6$Predicate

public static final SubLObject $const6$Predicate

$const7$Microtheory

public static final SubLObject $const7$Microtheory

$sym8$COLLECTION_P

public static final SubLSymbol $sym8$COLLECTION_P

$sym9$PREDICATE_P

public static final SubLSymbol $sym9$PREDICATE_P

$sym10$ISA_PREDICATE_

public static final SubLSymbol $sym10$ISA_PREDICATE_

$const11$Relation

public static final SubLObject $const11$Relation

$const12$SententialRelation

public static final SubLObject $const12$SententialRelation

$const13$AntiSymmetricBinaryPredicate

public static final SubLObject $const13$AntiSymmetricBinaryPredicate

$const14$AntiTransitiveBinaryPredicate

public static final SubLObject $const14$AntiTransitiveBinaryPredicate

$const15$ArgTypeBinaryPredicate

public static final SubLObject $const15$ArgTypeBinaryPredicate

$const16$ArgQuotedIsaBinaryPredicate

public static final SubLObject $const16$ArgQuotedIsaBinaryPredicate

$const17$ArgFormatBinaryPredicate

public static final SubLObject $const17$ArgFormatBinaryPredicate

$const18$ArgTypeTernaryPredicate

public static final SubLObject $const18$ArgTypeTernaryPredicate

$const19$ArgQuotedIsaTernaryPredicate

public static final SubLObject $const19$ArgQuotedIsaTernaryPredicate

$const20$ArgFormatTernaryPredicate

public static final SubLObject $const20$ArgFormatTernaryPredicate

$const21$AsymmetricBinaryPredicate

public static final SubLObject $const21$AsymmetricBinaryPredicate

$const22$BookkeepingPredicate

public static final SubLObject $const22$BookkeepingPredicate

$const23$UnderspecifiedPredicate

public static final SubLObject $const23$UnderspecifiedPredicate

$const24$BroadMicrotheory

public static final SubLObject $const24$BroadMicrotheory

$sym25$COMMUTATIVE_RELATION_

public static final SubLSymbol $sym25$COMMUTATIVE_RELATION_

$list26

public static final SubLList $list26

$str27$Return_T_iff_RELATION_is_a_commut

public static final SubLString $str27$Return_T_iff_RELATION_is_a_commut

$list28

public static final SubLList $list28

$const29$CommutativeRelation

public static final SubLObject $const29$CommutativeRelation

$const30$CommutativePredicate

public static final SubLObject $const30$CommutativePredicate

$const31$DistributingMetaKnowledgePredicat

public static final SubLObject $const31$DistributingMetaKnowledgePredicat

$const32$ELRelation

public static final SubLObject $const32$ELRelation

$const33$EvaluatableFunction

public static final SubLObject $const33$EvaluatableFunction

$const34$EvaluatablePredicate

public static final SubLObject $const34$EvaluatablePredicate

$const35$ExistentialQuantifier

public static final SubLObject $const35$ExistentialQuantifier

$const36$IrreflexiveBinaryPredicate

public static final SubLObject $const36$IrreflexiveBinaryPredicate

$const37$LogicalConnective

public static final SubLObject $const37$LogicalConnective

$const38$MicrotheoryDesignatingRelation

public static final SubLObject $const38$MicrotheoryDesignatingRelation

$const39$PartiallyCommutativeRelation

public static final SubLObject $const39$PartiallyCommutativeRelation

$const40$PartiallyCommutativePredicate

public static final SubLObject $const40$PartiallyCommutativePredicate

$const41$ProblemSolvingCntxt

public static final SubLObject $const41$ProblemSolvingCntxt

$const42$Quantifier

public static final SubLObject $const42$Quantifier

$const43$ReflexiveBinaryPredicate

public static final SubLObject $const43$ReflexiveBinaryPredicate

$const44$ReifiableFunction

public static final SubLObject $const44$ReifiableFunction

$const45$RuleMacroPredicate

public static final SubLObject $const45$RuleMacroPredicate

$const46$ScopingRelation

public static final SubLObject $const46$ScopingRelation

$const47$SiblingDisjointCollectionType

public static final SubLObject $const47$SiblingDisjointCollectionType

$const48$SkolemFunction

public static final SubLObject $const48$SkolemFunction

$const49$SymmetricBinaryPredicate

public static final SubLObject $const49$SymmetricBinaryPredicate

$const50$TransitiveBinaryPredicate

public static final SubLObject $const50$TransitiveBinaryPredicate

$const51$VariableArityRelation

public static final SubLObject $const51$VariableArityRelation

$const52$DocumentationPredicate

public static final SubLObject $const52$DocumentationPredicate

$const53$SKSIContentMicrotheory

public static final SubLObject $const53$SKSIContentMicrotheory

$const54$SKSIExternalTermDenotingFunction

public static final SubLObject $const54$SKSIExternalTermDenotingFunction

$const55$SKSISupportedComparisonPredicate

public static final SubLObject $const55$SKSISupportedComparisonPredicate

$const56$SKSISupportedFunction

public static final SubLObject $const56$SKSISupportedFunction

$const57$CSQLComparisonPredicate

public static final SubLObject $const57$CSQLComparisonPredicate

$const58$SKSISupportedConstant

public static final SubLObject $const58$SKSISupportedConstant

$const59$CSQLFunction

public static final SubLObject $const59$CSQLFunction

$const60$CSQLLogicalConnective

public static final SubLObject $const60$CSQLLogicalConnective

$const61$CSQLQuantifier

public static final SubLObject $const61$CSQLQuantifier

$const62$CSQLConstantFunction

public static final SubLObject $const62$CSQLConstantFunction

$const63$NLDefinitenessAttribute

public static final SubLObject $const63$NLDefinitenessAttribute

$const64$NLQuantAttribute

public static final SubLObject $const64$NLQuantAttribute

$const65$ExistentialQuantifier_Bounded

public static final SubLObject $const65$ExistentialQuantifier_Bounded

$const66$EvaluatableRelation_Contextualize

public static final SubLObject $const66$EvaluatableRelation_Contextualize

$const67$PublicConstant

public static final SubLObject $const67$PublicConstant

$sym68$PROPRIETARY_CONSTANT_

public static final SubLSymbol $sym68$PROPRIETARY_CONSTANT_

$const69$ProprietaryConstant

public static final SubLObject $const69$ProprietaryConstant

$sym70$_PROPRIETARY_CONSTANT__CACHING_STATE_

public static final SubLSymbol $sym70$_PROPRIETARY_CONSTANT__CACHING_STATE_

$sym71$CLEAR_PROPRIETARY_CONSTANT_

public static final SubLSymbol $sym71$CLEAR_PROPRIETARY_CONSTANT_

$kw72$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw72$_MEMOIZED_ITEM_NOT_FOUND_

$sym73$CITY_IN_ANY_MT_

public static final SubLSymbol $sym73$CITY_IN_ANY_MT_

$const74$City

public static final SubLObject $const74$City

$sym75$GEOGRAPHICAL_REGION_IN_ANY_MT_

public static final SubLSymbol $sym75$GEOGRAPHICAL_REGION_IN_ANY_MT_

$const76$GeographicalRegion

public static final SubLObject $const76$GeographicalRegion

$sym77$COUNTRY_IN_ANY_MT_

public static final SubLSymbol $sym77$COUNTRY_IN_ANY_MT_

$const78$Country

public static final SubLObject $const78$Country

Method Detail

fort_has_typeP

public static final SubLObject fort_has_typeP(SubLObject fort,
                                              SubLObject type,
                                              SubLObject mt)

Accessor. @return booleanp; Whether the (#$isa FORT TYPE):MT relation cached?

isa_quantifierP

public static final SubLObject isa_quantifierP(SubLObject v_term,
                                               SubLObject mt)

is TERM a quantifier?

fort_has_type_in_any_mtP

public static final SubLObject fort_has_type_in_any_mtP(SubLObject fort,
                                                        SubLObject type)

collection_in_any_mtP

public static final SubLObject collection_in_any_mtP(SubLObject fort)

is FORT a collection in any mt?

collectionP

public static final SubLObject collectionP(SubLObject fort)

is FORT a collection?

collection_p

public static final SubLObject collection_p(SubLObject fort)

is FORT a collection?

isa_collectionP

public static final SubLObject isa_collectionP(SubLObject v_term,
                                               SubLObject mt)

is TERM a collection?

predicate_in_any_mtP

public static final SubLObject predicate_in_any_mtP(SubLObject fort)

is FORT a predicate in any mt?

predicateP

public static final SubLObject predicateP(SubLObject fort)

is FORT a predicate?

predicate_p

public static final SubLObject predicate_p(SubLObject fort)

is FORT a predicate?

isa_predicateP

public static final SubLObject isa_predicateP(SubLObject v_term,
                                              SubLObject mt)

is TERM a predicate?

function_in_any_mtP

public static final SubLObject function_in_any_mtP(SubLObject fort)

Is FORT in the @xref *forts-typed-function-denotational*

functorP

public static final SubLObject functorP(SubLObject fort)

is FORT a non-predicate function?

non_predicate_functionP

public static final SubLObject non_predicate_functionP(SubLObject fort)

is FORT a non-predicate function?

functionP

public static final SubLObject functionP(SubLObject fort)

is FORT a non-predicate function?

mt_in_any_mtP

public static final SubLObject mt_in_any_mtP(SubLObject fort)

Returns:

boolean; t iff FORT is a microtheory in any mt.

mtP

public static final SubLObject mtP(SubLObject fort)

is FORT a microtheory?

isa_mtP

public static final SubLObject isa_mtP(SubLObject v_term,
                                       SubLObject mt)

is TERM a microtheory?

relation_p

public static final SubLObject relation_p(SubLObject fort)

is FORT a relation?

sentential_relation_p

public static final SubLObject sentential_relation_p(SubLObject fort)

is FORT a sentential relation?

anti_symmetric_binary_predicate_p

public static final SubLObject anti_symmetric_binary_predicate_p(SubLObject fort)

is FORT a anti symmetric binary predicate?

anti_transitive_binary_predicate_p

public static final SubLObject anti_transitive_binary_predicate_p(SubLObject fort)

is FORT a anti transitive binary predicate?

asymmetric_binary_predicate_p

public static final SubLObject asymmetric_binary_predicate_p(SubLObject fort)

is FORT a asymmetric binary predicate?

bookkeeping_predicate_p

public static final SubLObject bookkeeping_predicate_p(SubLObject fort)

is FORT a bookkeeping predicate?

broad_microtheory_p

public static final SubLObject broad_microtheory_p(SubLObject fort)

is FORT a broad microtheory?

commutative_relationP

public static final SubLObject commutative_relationP(SubLObject relation)

Return T iff RELATION is a commutative relation.

commutative_relation_p

public static final SubLObject commutative_relation_p(SubLObject fort)

is FORT a commutative relation?

commutative_predicate_p

public static final SubLObject commutative_predicate_p(SubLObject fort)

is FORT a commutative predicate?

distributing_meta_knowledge_predicate_p

public static final SubLObject distributing_meta_knowledge_predicate_p(SubLObject fort)

is FORT a distributing meta knowledge predicate?

el_relation_p

public static final SubLObject el_relation_p(SubLObject fort)

is FORT an EL relation?

isa_el_relationP

public static final SubLObject isa_el_relationP(SubLObject v_term,
                                                SubLObject mt)

is TERM an EL relation?

evaluatable_function_p

public static final SubLObject evaluatable_function_p(SubLObject fort)

is FORT a evaluatable function?

evaluatable_predicate_p

public static final SubLObject evaluatable_predicate_p(SubLObject fort,
                                                       SubLObject mt)

is FORT a evaluatable predicate?

irreflexive_binary_predicate_p

public static final SubLObject irreflexive_binary_predicate_p(SubLObject fort)

is FORT a irreflexive binary predicate?

logical_connective_p

public static final SubLObject logical_connective_p(SubLObject fort)

is FORT a logical connective?

isa_logical_connectiveP

public static final SubLObject isa_logical_connectiveP(SubLObject v_term,
                                                       SubLObject mt)

is TERM a logical connective?

microtheory_designating_relation_p

public static final SubLObject microtheory_designating_relation_p(SubLObject fort)

is FORT a microtheory designating relation?

partially_commutative_relation_p

public static final SubLObject partially_commutative_relation_p(SubLObject fort)

is FORT a partially commutative relation?

partially_commutative_predicate_p

public static final SubLObject partially_commutative_predicate_p(SubLObject fort)

is FORT a partially commutative predicate?

quantifier_p

public static final SubLObject quantifier_p(SubLObject fort)

is FORT a quantifier?

reflexive_binary_predicate_p

public static final SubLObject reflexive_binary_predicate_p(SubLObject fort)

is FORT a reflexive binary predicate?

reifiable_function_p

public static final SubLObject reifiable_function_p(SubLObject fort)

is FORT a reifiable function?

isa_reifiable_functionP

public static final SubLObject isa_reifiable_functionP(SubLObject v_term,
                                                       SubLObject mt)

is TERM a reifiable function?

scoping_relation_p

public static final SubLObject scoping_relation_p(SubLObject fort)

is FORT a scoping relation?

isa_scoping_relationP

public static final SubLObject isa_scoping_relationP(SubLObject v_term,
                                                     SubLObject mt)

is TERM a scoping relation?

sibling_disjoint_collection_p

public static final SubLObject sibling_disjoint_collection_p(SubLObject fort)

is FORT a sibling disjoint collection?

skolem_function_p

public static final SubLObject skolem_function_p(SubLObject fort)

is FORT a skolem function?

symmetric_binary_predicate_p

public static final SubLObject symmetric_binary_predicate_p(SubLObject fort)

is FORT a symmetric binary predicate?

transitive_binary_predicate_p

public static final SubLObject transitive_binary_predicate_p(SubLObject fort)

is FORT a transitive binary predicate?

variable_arity_relation_p

public static final SubLObject variable_arity_relation_p(SubLObject fort)

is FORT a variable arity relation?

isa_variable_arity_relationP

public static final SubLObject isa_variable_arity_relationP(SubLObject v_term,
                                                            SubLObject mt)

is TERM a variable arity relation?

bounded_existential_quantifier_p

public static final SubLObject bounded_existential_quantifier_p(SubLObject object)

evaluatable_relation_contextualized_p

public static final SubLObject evaluatable_relation_contextualized_p(SubLObject fort)

is FORT a contextualized evaluatable relation?

declare_fort_types_interface_file

public static final SubLObject declare_fort_types_interface_file()

init_fort_types_interface_file

public static final SubLObject init_fort_types_interface_file()

setup_fort_types_interface_file

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