com.cyc.cycjava.cycl
Class eval_in_api_registrations

java.lang.Object
  extended by com.cyc.tool.subl.util.SubLTrampolineFile
      extended by com.cyc.tool.subl.util.SubLTranslatedFile
          extended by com.cyc.cycjava.cycl.eval_in_api_registrations
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class eval_in_api_registrations
extends SubLTranslatedFile


Nested Class Summary
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLList $list139
           
static SubLList $list140
           
static SubLList $list141
           
static SubLList $list142
           
static SubLList $list143
           
static SubLList $list144
           
static SubLList $list145
           
static SubLList $list146
           
static SubLList $list147
           
static SubLList $list148
           
static SubLList $list150
           
static SubLList $list151
           
static SubLList $list403
           
static SubLObject $list62
           
static SubLList $list63
           
static SubLList $list64
           
static SubLSymbol $sym0$_NULL_OUTPUT_
           
static SubLSymbol $sym1$_IT_VERBOSE_
           
static SubLSymbol $sym10$_SILENT_PROGRESS__
           
static SubLSymbol $sym100$SAMPLE_LEAF_SPECS
           
static SubLSymbol $sym101$TACIT_COEXTENSIONAL_
           
static SubLSymbol $sym102$EL_WFF_
           
static SubLSymbol $sym103$EVALUATABLE_PREDICATE_
           
static SubLSymbol $sym104$HIERARCHICAL_COLLECTIONS_
           
static SubLSymbol $sym105$NUM_BEST_GAF_LOOKUP_INDEX
           
static SubLSymbol $sym106$API_QUIT
           
static SubLSymbol $sym107$NART_P
           
static SubLSymbol $sym108$EL_VARIABLE_P
           
static SubLSymbol $sym109$PPH_PRECISION_P
           
static SubLSymbol $sym11$_IGNORE_BREAKS__
           
static SubLSymbol $sym110$FORT_FOR_STRING
           
static SubLSymbol $sym111$RTP_PARSE_EXP_W_VPP
           
static SubLSymbol $sym112$GET_UNIVERSAL_TIME
           
static SubLSymbol $sym113$DECODE_UNIVERSAL_TIME
           
static SubLSymbol $sym114$FIND_NART
           
static SubLSymbol $sym115$CONSTANT_GUID
           
static SubLSymbol $sym116$RKF_PHRASE_READER
           
static SubLSymbol $sym117$GENERATE_DISAMBIGUATION_PHRASES_AND_TYPES
           
static SubLSymbol $sym118$LOAD_TRANSCRIPT_FILE
           
static SubLSymbol $sym119$KB_STATISTICS
           
static SubLSymbol $sym12$_IGNORE_WARNS__
           
static SubLSymbol $sym120$GENL_MT_
           
static SubLSymbol $sym121$ALL_SPEC_MTS
           
static SubLSymbol $sym122$REMOVAL_ASK
           
static SubLSymbol $sym123$DO_NARTS_TABLE
           
static SubLSymbol $sym124$ID_INDEX_COUNT
           
static SubLSymbol $sym125$ID_INDEX_OLD_OBJECTS
           
static SubLSymbol $sym126$ID_INDEX_EMPTY_P
           
static SubLSymbol $sym127$ID_INDEX_NEW_ID_THRESHOLD
           
static SubLSymbol $sym128$ID_INDEX_NEXT_ID
           
static SubLSymbol $sym129$CYCL_NART_P
           
static SubLSymbol $sym13$_EVAL_IN_API_TRACE_LOG_
           
static SubLSymbol $sym130$CYCL_NAUT_P
           
static SubLSymbol $sym131$RESOLVE_NEW_CONSTANTS
           
static SubLSymbol $sym132$CYC_OPENCYC_FEATURE
           
static SubLSymbol $sym133$CYC_RESEARCHCYC_FEATURE
           
static SubLSymbol $sym134$CANONICALIZE_HLMT
           
static SubLSymbol $sym135$NEW_CYC_QUERY
           
static SubLSymbol $sym136$REGISTER_SOLELY_SPECIFIC_REMOVAL_MODULE_PREDICATE
           
static SubLSymbol $sym137$INFERENCE_REMOVAL_MODULE
           
static SubLSymbol $sym138$UNDECLARE_INFERENCE_REMOVAL_MODULE
           
static SubLSymbol $sym14$_EVAL_IN_API_TRACED_FNS_
           
static SubLSymbol $sym149$__
           
static SubLSymbol $sym15$_EVAL_IN_API_ENV_
           
static SubLSymbol $sym152$PHRASE_FOR_MT
           
static SubLSymbol $sym153$BEST_STRING_OF_NL_PHRASE_DEFN
           
static SubLSymbol $sym154$CYC_1_BYTE_INTEGER
           
static SubLSymbol $sym155$CYC_2_BYTE_INTEGER
           
static SubLSymbol $sym156$CYC_4_BYTE_INTEGER
           
static SubLSymbol $sym157$CYC_8_BYTE_INTEGER
           
static SubLSymbol $sym158$CYC_ABSOLUTE_VALUE
           
static SubLSymbol $sym159$CYC_ADD_ENGLISH_SUFFIX
           
static SubLSymbol $sym16$_API_OUTPUT_PROTOCOL_
           
static SubLSymbol $sym160$CYC_ARC_COSECANT
           
static SubLSymbol $sym161$CYC_ARC_COSINE
           
static SubLSymbol $sym162$CYC_ARC_COTANGENT
           
static SubLSymbol $sym163$CYC_ARC_SECANT
           
static SubLSymbol $sym164$CYC_ARC_SINE
           
static SubLSymbol $sym165$CYC_ARC_TANGENT
           
static SubLSymbol $sym166$CYC_ASCII_STRING_P
           
static SubLSymbol $sym167$CYC_AVERAGE
           
static SubLSymbol $sym168$CYC_BIT_DATATYPE
           
static SubLSymbol $sym169$CYC_COLLECTION_DENOTING_UNARY_FUNCTION_FOR
           
static SubLSymbol $sym17$_API_RESULT_METHOD_
           
static SubLSymbol $sym170$CYC_COSECANT
           
static SubLSymbol $sym171$CYC_COSINE
           
static SubLSymbol $sym172$CYC_COTANGENT
           
static SubLSymbol $sym173$CYC_DATE_AFTER
           
static SubLSymbol $sym174$CYC_DATE_BEFORE
           
static SubLSymbol $sym175$CYC_DATE_DECODE_STRING
           
static SubLSymbol $sym176$CYC_DATE_ENCODE_STRING
           
static SubLSymbol $sym177$CYC_DATE_FROM_INTEGER
           
static SubLSymbol $sym178$CYC_DATE_FROM_STRING
           
static SubLSymbol $sym179$CYC_DATE_SUBSUMES
           
static SubLSymbol $sym18$_API_INPUT_PROTOCOL_
           
static SubLSymbol $sym180$CYC_DAY_OF_DATE
           
static SubLSymbol $sym181$CYC_DAY_OF_WEEK_AFTER_DATE
           
static SubLSymbol $sym182$CYC_DAY_OF_WEEK_AFTER_DATE_INCLUSIVE
           
static SubLSymbol $sym183$CYC_DAY_OF_WEEK_DEFN
           
static SubLSymbol $sym184$CYC_DAY_OF_WEEK_OF_DATE
           
static SubLSymbol $sym185$CYC_DAY_OF_WEEK_PRIOR_TO_DATE
           
static SubLSymbol $sym186$CYC_DAY_OF_WEEK_PRIOR_TO_DATE_INCLUSIVE
           
static SubLSymbol $sym187$CYC_DIFFERENCE
           
static SubLSymbol $sym188$CYC_DIFFERENT
           
static SubLSymbol $sym189$CYC_DIFFERENT_SYMBOLS
           
static SubLSymbol $sym19$_KE_PURPOSE_
           
static SubLSymbol $sym190$CYC_EVALUATE_SUBL
           
static SubLSymbol $sym191$CYC_EVEN_NUMBER
           
static SubLSymbol $sym192$CYC_EXP
           
static SubLSymbol $sym193$CYC_EXPONENT
           
static SubLSymbol $sym194$CYC_EXTENDED_NUMBER_P
           
static SubLSymbol $sym195$CYC_GREATER_THAN
           
static SubLSymbol $sym196$CYC_GREATER_THAN_OR_EQUAL_TO
           
static SubLSymbol $sym197$CYC_GROUND_TERM
           
static SubLSymbol $sym198$CYC_GUID_STRING_P
           
static SubLSymbol $sym199$CYC_HTTP_URL_ENCODE
           
static SubLSymbol $sym2$_PROGRESS_NOTE_
           
static SubLSymbol $sym20$_THE_CYCLIST_
           
static SubLSymbol $sym200$CYC_IDENTITY
           
static SubLSymbol $sym201$CYC_INDEXICAL_REFERENT
           
static SubLSymbol $sym202$CYC_INDIVIDUAL_DENOTING_UNARY_FUNCTION_FOR
           
static SubLSymbol $sym203$CYC_INDIVIDUAL_NECESSARY
           
static SubLSymbol $sym204$CYC_INTEGER
           
static SubLSymbol $sym205$CYC_INTEGER_RANGE
           
static SubLSymbol $sym206$CYC_INTEGER_TO_STRING
           
static SubLSymbol $sym207$CYC_INTERVAL_ENDED_BY_LAST_SUBINTERVAL_OF_TYPE
           
static SubLSymbol $sym208$CYC_INTERVAL_STARTED_BY_FIRST_SUBINTERVAL_OF_TYPE
           
static SubLSymbol $sym209$CYC_INVERSE
           
static SubLSymbol $sym21$_USE_LOCAL_QUEUE__
           
static SubLSymbol $sym210$CYC_IP4_ADDRESS
           
static SubLSymbol $sym211$CYC_IP4_NETWORK_ADDRESS
           
static SubLSymbol $sym212$CYC_LATER_THAN
           
static SubLSymbol $sym213$CYC_LESS_THAN
           
static SubLSymbol $sym214$CYC_LESS_THAN_OR_EQUAL_TO
           
static SubLSymbol $sym215$CYC_LIST_CONCATENATE
           
static SubLSymbol $sym216$CYC_LIST_FIRST
           
static SubLSymbol $sym217$CYC_LIST_LAST
           
static SubLSymbol $sym218$CYC_LIST_LENGTH
           
static SubLSymbol $sym219$CYC_LIST_MEMBER_SET
           
static SubLSymbol $sym22$_RELEVANT_MT_FUNCTION_
           
static SubLSymbol $sym220$CYC_LIST_NTH
           
static SubLSymbol $sym221$CYC_LIST_OF_TYPE_NECESSARY
           
static SubLSymbol $sym222$CYC_LIST_OF_TYPE_SUFFICIENT
           
static SubLSymbol $sym223$CYC_LIST_REST
           
static SubLSymbol $sym224$CYC_LIST_REVERSE
           
static SubLSymbol $sym225$CYC_LIST_SEARCH
           
static SubLSymbol $sym226$CYC_LIST_SUBSEQ
           
static SubLSymbol $sym227$CYC_LIST_WITHOUT_REPETITION
           
static SubLSymbol $sym228$CYC_LOG
           
static SubLSymbol $sym229$CYC_LOGARITHM
           
static SubLSymbol $sym23$_CYC_BOOKKEEPING_INFO_
           
static SubLSymbol $sym230$CYC_MAKE_FORMULA
           
static SubLSymbol $sym231$CYC_MAP_FUNCTION_OVER_LIST
           
static SubLSymbol $sym232$CYC_MAX_RANGE
           
static SubLSymbol $sym233$CYC_MAXIMUM
           
static SubLSymbol $sym234$CYC_MIN_RANGE
           
static SubLSymbol $sym235$CYC_MINIMUM
           
static SubLSymbol $sym236$CYC_MINUS
           
static SubLSymbol $sym237$CYC_NEGATIVE_INTEGER
           
static SubLSymbol $sym238$CYC_NEGATIVE_NUMBER
           
static SubLSymbol $sym239$CYC_NEXT_ITERATED_CYCLIC_INTERVAL
           
static SubLSymbol $sym24$_SUPPRESS_SBHL_RECACHING__
           
static SubLSymbol $sym240$CYC_NON_NEGATIVE_INTEGER
           
static SubLSymbol $sym241$CYC_NON_NEGATIVE_NUMBER
           
static SubLSymbol $sym242$CYC_NON_POSITIVE_INTEGER
           
static SubLSymbol $sym243$CYC_NON_POSITIVE_NUMBER
           
static SubLSymbol $sym244$CYC_NTH_METRICALLY_PRECEDING_TIME_INTERVAL_OF_TYPE
           
static SubLSymbol $sym245$CYC_NTH_METRICALLY_SUCCEEDING_TIME_INTERVAL_OF_TYPE
           
static SubLSymbol $sym246$CYC_NUMBER_STRING
           
static SubLSymbol $sym247$CYC_NUMERAL_STRING
           
static SubLSymbol $sym248$CYC_NUMERIC_STRING_NECESSARY
           
static SubLSymbol $sym249$CYC_NUMERICALLY_EQUAL
           
static SubLSymbol $sym25$_PARAPHRASE_PRECISION_
           
static SubLSymbol $sym250$CYC_ODD_NUMBER
           
static SubLSymbol $sym251$CYC_PERCENT
           
static SubLSymbol $sym252$CYC_PLUS
           
static SubLSymbol $sym253$CYC_PLUS_ALL
           
static SubLSymbol $sym254$CYC_POSITION
           
static SubLSymbol $sym255$CYC_POSITIVE_INTEGER
           
static SubLSymbol $sym256$CYC_POSITIVE_NUMBER
           
static SubLSymbol $sym257$CYC_POST_REMOVE
           
static SubLSymbol $sym258$CYC_PRE_REMOVE
           
static SubLSymbol $sym259$CYC_PREFIX_SUBSTRING
           
static SubLSymbol $sym26$_EVAL_IN_API_LEVEL_
           
static SubLSymbol $sym260$CYC_PRIME_NUMBER_
           
static SubLSymbol $sym261$CYC_QUANTITY_CONVERSION
           
static SubLSymbol $sym262$CYC_QUANTITY_INTERSECTS
           
static SubLSymbol $sym263$CYC_QUANTITY_SUBSUMES
           
static SubLSymbol $sym264$CYC_QUOTIENT
           
static SubLSymbol $sym265$CYC_RATIONAL_NUMBER
           
static SubLSymbol $sym266$CYC_REAL_0_1
           
static SubLSymbol $sym267$CYC_REAL_1_INFINITY
           
static SubLSymbol $sym268$CYC_REAL_NUMBER
           
static SubLSymbol $sym269$CYC_RECAPITALIZE_SMART
           
static SubLSymbol $sym27$_SUSPEND_SBHL_TYPE_CHECKING__
           
static SubLSymbol $sym270$CYC_RELATION_ARG
           
static SubLSymbol $sym271$CYC_RELATION_ARG_SET
           
static SubLSymbol $sym272$CYC_RELATION_ARGS_LIST
           
static SubLSymbol $sym273$CYC_RELATION_EXPRESSION_ARITY
           
static SubLSymbol $sym274$CYC_REPLACE_SUBSTRING
           
static SubLSymbol $sym275$CYC_ROUND_CLOSEST
           
static SubLSymbol $sym276$CYC_ROUND_DOWN
           
static SubLSymbol $sym277$CYC_ROUND_UP
           
static SubLSymbol $sym278$CYC_SCIENTIFIC_NUMBER_FROM_STRING
           
static SubLSymbol $sym279$CYC_SCIENTIFIC_NUMBER_FROM_SUBL_REAL
           
static SubLSymbol $sym28$_REQUIRE_CASE_INSENSITIVE_NAME_UNIQUENESS_
           
static SubLSymbol $sym280$CYC_SCIENTIFIC_NUMBER_P
           
static SubLSymbol $sym281$CYC_SCIENTIFIC_NUMBER_SIGNIFICANT_DIGIT_COUNT
           
static SubLSymbol $sym282$CYC_SCIENTIFIC_NUMBER_TO_STRING
           
static SubLSymbol $sym283$CYC_SCIENTIFIC_NUMBER_TO_SUBL_REAL
           
static SubLSymbol $sym284$CYC_SECANT
           
static SubLSymbol $sym285$CYC_SET_DIFFERENCE
           
static SubLSymbol $sym286$CYC_SET_EXTENT
           
static SubLSymbol $sym287$CYC_SET_OF_TYPE_NECESSARY
           
static SubLSymbol $sym288$CYC_SET_OF_TYPE_SUFFICIENT
           
static SubLSymbol $sym289$CYC_SIGNIFICANT_DIGITS
           
static SubLSymbol $sym29$_TASK_PROCESSOR_VERBOSITY_
           
static SubLSymbol $sym290$CYC_SINE
           
static SubLSymbol $sym291$CYC_SKSI_SOURCE_ACCESSIBLE
           
static SubLSymbol $sym292$CYC_SKSI_SOURCE_ACTIVATED
           
static SubLSymbol $sym293$CYC_SKSI_SOURCE_QUERYABLE
           
static SubLSymbol $sym294$CYC_SKSI_SOURCE_REGISTERED
           
static SubLSymbol $sym295$CYC_SQRT
           
static SubLSymbol $sym296$CYC_STRING_CONCAT
           
static SubLSymbol $sym297$CYC_STRING_TO_INTEGER
           
static SubLSymbol $sym298$CYC_STRING_TO_REAL_NUMBER
           
static SubLSymbol $sym299$CYC_STRING_TOKENIZE_NEW
           
static SubLSymbol $sym3$_PROGRESS_SOFAR_
           
static SubLSymbol $sym30$BQ_APPEND
           
static SubLSymbol $sym300$CYC_STRING_UPCASE
           
static SubLSymbol $sym301$CYC_STRINGS_TO_PHRASE
           
static SubLSymbol $sym302$CYC_SUBL_ESCAPE
           
static SubLSymbol $sym303$CYC_SUBL_EXPRESSION
           
static SubLSymbol $sym304$CYC_SUBL_TEMPLATE
           
static SubLSymbol $sym305$CYC_SUBLIST_
           
static SubLSymbol $sym306$CYC_SUBSTITUTE_FORMULA
           
static SubLSymbol $sym307$CYC_SUBSTITUTE_FORMULA_ARG
           
static SubLSymbol $sym308$CYC_SUBSTITUTE_FORMULA_ARG_POSITION
           
static SubLSymbol $sym309$CYC_SUBSTRING
           
static SubLSymbol $sym31$BQ_LIST
           
static SubLSymbol $sym310$CYC_SUBSTRING_CASE_INSENSITIVE_PREDICATE
           
static SubLSymbol $sym311$CYC_SUBSTRING_PREDICATE
           
static SubLSymbol $sym312$CYC_SUBWORD_PREDICATE
           
static SubLSymbol $sym313$CYC_SUFFIX_SUBSTRING
           
static SubLSymbol $sym314$CYC_SYSTEM_ATOM
           
static SubLSymbol $sym315$CYC_SYSTEM_CHARACTER_P
           
static SubLSymbol $sym316$CYC_SYSTEM_INTEGER
           
static SubLSymbol $sym317$CYC_SYSTEM_NON_VARIABLE_SYMBOL_P
           
static SubLSymbol $sym318$CYC_SYSTEM_REAL_NUMBER_P
           
static SubLSymbol $sym319$CYC_SYSTEM_STRING_P
           
static SubLSymbol $sym32$BQ_LIST_
           
static SubLSymbol $sym320$CYC_SYSTEM_TERM_P
           
static SubLSymbol $sym321$CYC_TANGENT
           
static SubLSymbol $sym322$CYC_TIME_ELAPSED
           
static SubLSymbol $sym323$CYC_TIME_ELAPSED_DECODE_STRING
           
static SubLSymbol $sym324$CYC_TIME_ELAPSED_ENCODE_STRING
           
static SubLSymbol $sym325$CYC_TIMES
           
static SubLSymbol $sym326$CYC_TRIM_WHITESPACE
           
static SubLSymbol $sym327$CYC_TRUE_SUBL
           
static SubLSymbol $sym328$CYC_TYPES_MOST_OFTEN_ASSERTED_USING_TOOL
           
static SubLSymbol $sym329$CYC_UNICODE_DENOTING_ASCII_STRING_P
           
static SubLSymbol $sym33$BQ_NCONC
           
static SubLSymbol $sym330$CYC_ZIP_CODE_FIVE_DIGIT
           
static SubLSymbol $sym331$CYC_ZIP_CODE_NINE_DIGIT
           
static SubLSymbol $sym332$CYCL_ASSERTED_ASSERTION_
           
static SubLSymbol $sym333$CYCL_ASSERTION_
           
static SubLSymbol $sym334$CYCL_ATOMIC_ASSERTION_
           
static SubLSymbol $sym335$CYCL_ATOMIC_SENTENCE_
           
static SubLSymbol $sym336$CYCL_ATOMIC_TERM_P
           
static SubLSymbol $sym337$CYCL_CLOSED_ATOMIC_SENTENCE_
           
static SubLSymbol $sym338$CYCL_CLOSED_ATOMIC_TERM_P
           
static SubLSymbol $sym339$CYCL_CLOSED_DENOTATIONAL_TERM_
           
static SubLSymbol $sym34$BQ_VECTOR_APPEND
           
static SubLSymbol $sym340$CYCL_CLOSED_EXPRESSION_
           
static SubLSymbol $sym341$CYCL_CLOSED_FORMULA_
           
static SubLSymbol $sym342$CYCL_CLOSED_NON_ATOMIC_TERM_
           
static SubLSymbol $sym343$CYCL_CLOSED_SENTENCE_
           
static SubLSymbol $sym344$CYCL_CONSTANT_P
           
static SubLSymbol $sym345$CYCL_DEDUCED_ASSERTION_
           
static SubLSymbol $sym346$CYCL_DENOTATIONAL_TERM_P
           
static SubLSymbol $sym347$CYCL_EXPRESSION_ASKABLE_
           
static SubLSymbol $sym348$CYCL_EXPRESSION_ASSERTIBLE_
           
static SubLSymbol $sym349$CYCL_EXPRESSION_
           
static SubLSymbol $sym35$LIST
           
static SubLSymbol $sym350$CYCL_FORMULA_
           
static SubLSymbol $sym351$CYCL_GAF_ASSERTION_
           
static SubLSymbol $sym352$CYCL_INDEXED_TERM_
           
static SubLSymbol $sym353$CYCL_NL_SEMANTIC_ASSERTION_
           
static SubLSymbol $sym354$CYCL_NON_ATOMIC_REIFIED_TERM_
           
static SubLSymbol $sym355$CYCL_NON_ATOMIC_TERM_ASKABLE_
           
static SubLSymbol $sym356$CYCL_NON_ATOMIC_TERM_ASSERTIBLE_
           
static SubLSymbol $sym357$CYCL_NON_ATOMIC_TERM_
           
static SubLSymbol $sym358$CYCL_OPEN_DENOTATIONAL_TERM_
           
static SubLSymbol $sym359$CYCL_OPEN_EXPRESSION_
           
static SubLSymbol $sym36$API_BQ_LIST
           
static SubLSymbol $sym360$CYCL_OPEN_FORMULA_
           
static SubLSymbol $sym361$CYCL_OPEN_NON_ATOMIC_TERM_
           
static SubLSymbol $sym362$CYCL_OPEN_SENTENCE_
           
static SubLSymbol $sym363$CYCL_PROPOSITIONAL_SENTENCE_
           
static SubLSymbol $sym364$CYCL_REFORMULATOR_RULE_
           
static SubLSymbol $sym365$CYCL_REIFIABLE_DENOTATIONAL_TERM_
           
static SubLSymbol $sym366$CYCL_REIFIABLE_NON_ATOMIC_TERM_
           
static SubLSymbol $sym367$CYCL_REIFIED_DENOTATIONAL_TERM_
           
static SubLSymbol $sym368$CYCL_REPRESENTED_ATOMIC_TERM_P
           
static SubLSymbol $sym369$CYCL_REPRESENTED_TERM_
           
static SubLSymbol $sym37$CDESTRUCTURING_BIND
           
static SubLSymbol $sym370$CYCL_RULE_ASSERTION_
           
static SubLSymbol $sym371$CYCL_SENTENCE_ASKABLE_
           
static SubLSymbol $sym372$CYCL_SENTENCE_ASSERTIBLE_
           
static SubLSymbol $sym373$CYCL_SENTENCE_
           
static SubLSymbol $sym374$CYCL_SUBL_SYMBOL_P
           
static SubLSymbol $sym375$CYCL_UNBOUND_RELATION_FORMULA_P
           
static SubLSymbol $sym376$CYCL_VAR_LIST_
           
static SubLSymbol $sym377$CYCL_VARIABLE_P
           
static SubLSymbol $sym378$CYCSECURE_SUB_SOFTWARE_OBJECTS_
           
static SubLSymbol $sym379$CYCSECURE_VERSION_OF_SOFTWARE_
           
static SubLSymbol $sym38$WITH_PRECISE_PARAPHRASE_ON
           
static SubLSymbol $sym380$GAF_
           
static SubLSymbol $sym381$GEN_TEMPLATE_RECIPE_P
           
static SubLSymbol $sym382$GENERATE_NAMES_FOR_TERM
           
static SubLSymbol $sym383$GENERATE_PHRASE_DEFN
           
static SubLSymbol $sym384$HL_EXTERNAL_ID_STRING_P
           
static SubLSymbol $sym385$IBQE_
           
static SubLSymbol $sym386$INTEGERP
           
static SubLSymbol $sym387$KEYWORDP
           
static SubLSymbol $sym388$KWTE_
           
static SubLSymbol $sym389$LISTP
           
static SubLSymbol $sym39$WITH_PARAPHRASE_PRECISION
           
static SubLSymbol $sym390$MONAD_CYCL_MT_
           
static SubLSymbol $sym391$NON_NEGATIVE_SCALAR_INTERVAL_
           
static SubLSymbol $sym392$POSITIVE_SCALAR_INTERVAL_
           
static SubLSymbol $sym393$PRE_REMOVE_DEFINITE_ARTICLE_FROM_STRING
           
static SubLSymbol $sym394$RTP_SYNTACTIC_CONSTRAINT
           
static SubLSymbol $sym395$SCALAR_POINT_VALUE_
           
static SubLSymbol $sym396$STRING_W_O_CONTROL_CHARS_
           
static SubLSymbol $sym397$STRINGP
           
static SubLSymbol $sym398$SUBL_NON_VARIABLE_NON_KEYWORD_SYMBOL_P
           
static SubLSymbol $sym399$SYMBOLP
           
static SubLSymbol $sym4$_PROGRESS_START_TIME_
           
static SubLSymbol $sym40$WITH_BOOKKEEPING_INFO
           
static SubLSymbol $sym400$TEMPORAL_DIMENSION_MT_P
           
static SubLSymbol $sym401$TRUE
           
static SubLSymbol $sym402$URL_P
           
static SubLSymbol $sym41$WITH_MT_FUNCTION
           
static SubLSymbol $sym42$WITH_GENL_MTS
           
static SubLSymbol $sym43$WITH_INFERENCE_MT_RELEVANCE
           
static SubLSymbol $sym44$WITH_ALL_MTS
           
static SubLSymbol $sym45$DO_PREDICATE_RULE_INDEX
           
static SubLSymbol $sym46$DO_RULE_INDEX
           
static SubLSymbol $sym47$WITHOUT_WFF_SEMANTICS
           
static SubLSymbol $sym48$CDOLIST_DONE
           
static SubLSymbol $sym49$DO_DICTIONARY
           
static SubLSymbol $sym5$_PROGRESS_TOTAL_
           
static SubLSymbol $sym50$PROGRESS_CDOTIMES
           
static SubLSymbol $sym51$DO_KB_SUID_TABLE
           
static SubLSymbol $sym52$DO_ID_INDEX
           
static SubLSymbol $sym53$OLD_DO_ID_INDEX
           
static SubLSymbol $sym54$DO_CONSTANTS
           
static SubLSymbol $sym55$CWITH_OUTPUT_TO_STRING
           
static SubLSymbol $sym56$WITH_INPUT_FROM_STRING
           
static SubLSymbol $sym57$DO_VECTOR_INDEX
           
static SubLSymbol $sym58$IN_MT
           
static SubLSymbol $sym59$WITH_OPEN_STREAM
           
static SubLSymbol $sym6$_EVAL_WITH_BINDINGS_
           
static SubLSymbol $sym60$WITH_OPEN_FILE
           
static SubLSymbol $sym61$WITH_TCP_CONNECTION
           
static SubLSymbol $sym65$STRING_TO_GUID
           
static SubLSymbol $sym66$GUID_TO_STRING
           
static SubLSymbol $sym67$REMOVE_DUPLICATES
           
static SubLSymbol $sym68$NEW_BOOKKEEPING_INFO
           
static SubLSymbol $sym69$STRING_SUBSTITUTE
           
static SubLSymbol $sym7$_ERROR_OUTPUT_
           
static SubLSymbol $sym70$GENERATE_PHRASE
           
static SubLSymbol $sym71$THE_DATE
           
static SubLSymbol $sym72$THE_SECOND
           
static SubLSymbol $sym73$ISA
           
static SubLSymbol $sym74$GENLS
           
static SubLSymbol $sym75$WHY_COLLECTIONS_INTERSECT_
           
static SubLSymbol $sym76$ARG1_FORMAT
           
static SubLSymbol $sym77$ARG2_FORMAT
           
static SubLSymbol $sym78$SPECS
           
static SubLSymbol $sym79$COLLECTION_LEAVES
           
static SubLSymbol $sym8$_STANDARD_OUTPUT_
           
static SubLSymbol $sym80$SIMPLE_INDEXED_TERM_P
           
static SubLSymbol $sym81$MAX_SPECS
           
static SubLSymbol $sym82$MIN_ISA
           
static SubLSymbol $sym83$LOCAL_DISJOINT_WITH
           
static SubLSymbol $sym84$DISJOINT_WITH_
           
static SubLSymbol $sym85$GENL_SIBLINGS
           
static SubLSymbol $sym86$SPEC_SIBLINGS
           
static SubLSymbol $sym87$ARG1_ISA
           
static SubLSymbol $sym88$ARG2_ISA
           
static SubLSymbol $sym89$ARGN_ISA
           
static SubLSymbol $sym9$_CONTINUE_CERROR__
           
static SubLSymbol $sym90$ARGN_GENL
           
static SubLSymbol $sym91$ALL_GENLS_IN_ANY_MT
           
static SubLSymbol $sym92$ALL_ISA_IN_ANY_MT
           
static SubLSymbol $sym93$ALL_FORT_INSTANCES_IN_ALL_MTS
           
static SubLSymbol $sym94$ISA_IN_ANY_MT_
           
static SubLSymbol $sym95$GENL_IN_ANY_MT_
           
static SubLSymbol $sym96$NEW_CONSTANT_NAME_SPEC_P
           
static SubLSymbol $sym97$DO_RULE_INDEX_RULES
           
static SubLSymbol $sym98$BT_LOWER
           
static SubLSymbol $sym99$BT_HIGHER
           
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_eval_in_api_registrations_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject init_eval_in_api_registrations_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_eval_in_api_registrations_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

$sym0$_NULL_OUTPUT_

public static final SubLSymbol $sym0$_NULL_OUTPUT_

$sym1$_IT_VERBOSE_

public static final SubLSymbol $sym1$_IT_VERBOSE_

$sym2$_PROGRESS_NOTE_

public static final SubLSymbol $sym2$_PROGRESS_NOTE_

$sym3$_PROGRESS_SOFAR_

public static final SubLSymbol $sym3$_PROGRESS_SOFAR_

$sym4$_PROGRESS_START_TIME_

public static final SubLSymbol $sym4$_PROGRESS_START_TIME_

$sym5$_PROGRESS_TOTAL_

public static final SubLSymbol $sym5$_PROGRESS_TOTAL_

$sym6$_EVAL_WITH_BINDINGS_

public static final SubLSymbol $sym6$_EVAL_WITH_BINDINGS_

$sym7$_ERROR_OUTPUT_

public static final SubLSymbol $sym7$_ERROR_OUTPUT_

$sym8$_STANDARD_OUTPUT_

public static final SubLSymbol $sym8$_STANDARD_OUTPUT_

$sym9$_CONTINUE_CERROR__

public static final SubLSymbol $sym9$_CONTINUE_CERROR__

$sym10$_SILENT_PROGRESS__

public static final SubLSymbol $sym10$_SILENT_PROGRESS__

$sym11$_IGNORE_BREAKS__

public static final SubLSymbol $sym11$_IGNORE_BREAKS__

$sym12$_IGNORE_WARNS__

public static final SubLSymbol $sym12$_IGNORE_WARNS__

$sym13$_EVAL_IN_API_TRACE_LOG_

public static final SubLSymbol $sym13$_EVAL_IN_API_TRACE_LOG_

$sym14$_EVAL_IN_API_TRACED_FNS_

public static final SubLSymbol $sym14$_EVAL_IN_API_TRACED_FNS_

$sym15$_EVAL_IN_API_ENV_

public static final SubLSymbol $sym15$_EVAL_IN_API_ENV_

$sym16$_API_OUTPUT_PROTOCOL_

public static final SubLSymbol $sym16$_API_OUTPUT_PROTOCOL_

$sym17$_API_RESULT_METHOD_

public static final SubLSymbol $sym17$_API_RESULT_METHOD_

$sym18$_API_INPUT_PROTOCOL_

public static final SubLSymbol $sym18$_API_INPUT_PROTOCOL_

$sym19$_KE_PURPOSE_

public static final SubLSymbol $sym19$_KE_PURPOSE_

$sym20$_THE_CYCLIST_

public static final SubLSymbol $sym20$_THE_CYCLIST_

$sym21$_USE_LOCAL_QUEUE__

public static final SubLSymbol $sym21$_USE_LOCAL_QUEUE__

$sym22$_RELEVANT_MT_FUNCTION_

public static final SubLSymbol $sym22$_RELEVANT_MT_FUNCTION_

$sym23$_CYC_BOOKKEEPING_INFO_

public static final SubLSymbol $sym23$_CYC_BOOKKEEPING_INFO_

$sym24$_SUPPRESS_SBHL_RECACHING__

public static final SubLSymbol $sym24$_SUPPRESS_SBHL_RECACHING__

$sym25$_PARAPHRASE_PRECISION_

public static final SubLSymbol $sym25$_PARAPHRASE_PRECISION_

$sym26$_EVAL_IN_API_LEVEL_

public static final SubLSymbol $sym26$_EVAL_IN_API_LEVEL_

$sym27$_SUSPEND_SBHL_TYPE_CHECKING__

public static final SubLSymbol $sym27$_SUSPEND_SBHL_TYPE_CHECKING__

$sym28$_REQUIRE_CASE_INSENSITIVE_NAME_UNIQUENESS_

public static final SubLSymbol $sym28$_REQUIRE_CASE_INSENSITIVE_NAME_UNIQUENESS_

$sym29$_TASK_PROCESSOR_VERBOSITY_

public static final SubLSymbol $sym29$_TASK_PROCESSOR_VERBOSITY_

$sym30$BQ_APPEND

public static final SubLSymbol $sym30$BQ_APPEND

$sym31$BQ_LIST

public static final SubLSymbol $sym31$BQ_LIST

$sym32$BQ_LIST_

public static final SubLSymbol $sym32$BQ_LIST_

$sym33$BQ_NCONC

public static final SubLSymbol $sym33$BQ_NCONC

$sym34$BQ_VECTOR_APPEND

public static final SubLSymbol $sym34$BQ_VECTOR_APPEND

$sym35$LIST

public static final SubLSymbol $sym35$LIST

$sym36$API_BQ_LIST

public static final SubLSymbol $sym36$API_BQ_LIST

$sym37$CDESTRUCTURING_BIND

public static final SubLSymbol $sym37$CDESTRUCTURING_BIND

$sym38$WITH_PRECISE_PARAPHRASE_ON

public static final SubLSymbol $sym38$WITH_PRECISE_PARAPHRASE_ON

$sym39$WITH_PARAPHRASE_PRECISION

public static final SubLSymbol $sym39$WITH_PARAPHRASE_PRECISION

$sym40$WITH_BOOKKEEPING_INFO

public static final SubLSymbol $sym40$WITH_BOOKKEEPING_INFO

$sym41$WITH_MT_FUNCTION

public static final SubLSymbol $sym41$WITH_MT_FUNCTION

$sym42$WITH_GENL_MTS

public static final SubLSymbol $sym42$WITH_GENL_MTS

$sym43$WITH_INFERENCE_MT_RELEVANCE

public static final SubLSymbol $sym43$WITH_INFERENCE_MT_RELEVANCE

$sym44$WITH_ALL_MTS

public static final SubLSymbol $sym44$WITH_ALL_MTS

$sym45$DO_PREDICATE_RULE_INDEX

public static final SubLSymbol $sym45$DO_PREDICATE_RULE_INDEX

$sym46$DO_RULE_INDEX

public static final SubLSymbol $sym46$DO_RULE_INDEX

$sym47$WITHOUT_WFF_SEMANTICS

public static final SubLSymbol $sym47$WITHOUT_WFF_SEMANTICS

$sym48$CDOLIST_DONE

public static final SubLSymbol $sym48$CDOLIST_DONE

$sym49$DO_DICTIONARY

public static final SubLSymbol $sym49$DO_DICTIONARY

$sym50$PROGRESS_CDOTIMES

public static final SubLSymbol $sym50$PROGRESS_CDOTIMES

$sym51$DO_KB_SUID_TABLE

public static final SubLSymbol $sym51$DO_KB_SUID_TABLE

$sym52$DO_ID_INDEX

public static final SubLSymbol $sym52$DO_ID_INDEX

$sym53$OLD_DO_ID_INDEX

public static final SubLSymbol $sym53$OLD_DO_ID_INDEX

$sym54$DO_CONSTANTS

public static final SubLSymbol $sym54$DO_CONSTANTS

$sym55$CWITH_OUTPUT_TO_STRING

public static final SubLSymbol $sym55$CWITH_OUTPUT_TO_STRING

$sym56$WITH_INPUT_FROM_STRING

public static final SubLSymbol $sym56$WITH_INPUT_FROM_STRING

$sym57$DO_VECTOR_INDEX

public static final SubLSymbol $sym57$DO_VECTOR_INDEX

$sym58$IN_MT

public static final SubLSymbol $sym58$IN_MT

$sym59$WITH_OPEN_STREAM

public static final SubLSymbol $sym59$WITH_OPEN_STREAM

$sym60$WITH_OPEN_FILE

public static final SubLSymbol $sym60$WITH_OPEN_FILE

$sym61$WITH_TCP_CONNECTION

public static final SubLSymbol $sym61$WITH_TCP_CONNECTION

$list62

public static final SubLObject $list62

$list63

public static final SubLList $list63

$list64

public static final SubLList $list64

$sym65$STRING_TO_GUID

public static final SubLSymbol $sym65$STRING_TO_GUID

$sym66$GUID_TO_STRING

public static final SubLSymbol $sym66$GUID_TO_STRING

$sym67$REMOVE_DUPLICATES

public static final SubLSymbol $sym67$REMOVE_DUPLICATES

$sym68$NEW_BOOKKEEPING_INFO

public static final SubLSymbol $sym68$NEW_BOOKKEEPING_INFO

$sym69$STRING_SUBSTITUTE

public static final SubLSymbol $sym69$STRING_SUBSTITUTE

$sym70$GENERATE_PHRASE

public static final SubLSymbol $sym70$GENERATE_PHRASE

$sym71$THE_DATE

public static final SubLSymbol $sym71$THE_DATE

$sym72$THE_SECOND

public static final SubLSymbol $sym72$THE_SECOND

$sym73$ISA

public static final SubLSymbol $sym73$ISA

$sym74$GENLS

public static final SubLSymbol $sym74$GENLS

$sym75$WHY_COLLECTIONS_INTERSECT_

public static final SubLSymbol $sym75$WHY_COLLECTIONS_INTERSECT_

$sym76$ARG1_FORMAT

public static final SubLSymbol $sym76$ARG1_FORMAT

$sym77$ARG2_FORMAT

public static final SubLSymbol $sym77$ARG2_FORMAT

$sym78$SPECS

public static final SubLSymbol $sym78$SPECS

$sym79$COLLECTION_LEAVES

public static final SubLSymbol $sym79$COLLECTION_LEAVES

$sym80$SIMPLE_INDEXED_TERM_P

public static final SubLSymbol $sym80$SIMPLE_INDEXED_TERM_P

$sym81$MAX_SPECS

public static final SubLSymbol $sym81$MAX_SPECS

$sym82$MIN_ISA

public static final SubLSymbol $sym82$MIN_ISA

$sym83$LOCAL_DISJOINT_WITH

public static final SubLSymbol $sym83$LOCAL_DISJOINT_WITH

$sym84$DISJOINT_WITH_

public static final SubLSymbol $sym84$DISJOINT_WITH_

$sym85$GENL_SIBLINGS

public static final SubLSymbol $sym85$GENL_SIBLINGS

$sym86$SPEC_SIBLINGS

public static final SubLSymbol $sym86$SPEC_SIBLINGS

$sym87$ARG1_ISA

public static final SubLSymbol $sym87$ARG1_ISA

$sym88$ARG2_ISA

public static final SubLSymbol $sym88$ARG2_ISA

$sym89$ARGN_ISA

public static final SubLSymbol $sym89$ARGN_ISA

$sym90$ARGN_GENL

public static final SubLSymbol $sym90$ARGN_GENL

$sym91$ALL_GENLS_IN_ANY_MT

public static final SubLSymbol $sym91$ALL_GENLS_IN_ANY_MT

$sym92$ALL_ISA_IN_ANY_MT

public static final SubLSymbol $sym92$ALL_ISA_IN_ANY_MT

$sym93$ALL_FORT_INSTANCES_IN_ALL_MTS

public static final SubLSymbol $sym93$ALL_FORT_INSTANCES_IN_ALL_MTS

$sym94$ISA_IN_ANY_MT_

public static final SubLSymbol $sym94$ISA_IN_ANY_MT_

$sym95$GENL_IN_ANY_MT_

public static final SubLSymbol $sym95$GENL_IN_ANY_MT_

$sym96$NEW_CONSTANT_NAME_SPEC_P

public static final SubLSymbol $sym96$NEW_CONSTANT_NAME_SPEC_P

$sym97$DO_RULE_INDEX_RULES

public static final SubLSymbol $sym97$DO_RULE_INDEX_RULES

$sym98$BT_LOWER

public static final SubLSymbol $sym98$BT_LOWER

$sym99$BT_HIGHER

public static final SubLSymbol $sym99$BT_HIGHER

$sym100$SAMPLE_LEAF_SPECS

public static final SubLSymbol $sym100$SAMPLE_LEAF_SPECS

$sym101$TACIT_COEXTENSIONAL_

public static final SubLSymbol $sym101$TACIT_COEXTENSIONAL_

$sym102$EL_WFF_

public static final SubLSymbol $sym102$EL_WFF_

$sym103$EVALUATABLE_PREDICATE_

public static final SubLSymbol $sym103$EVALUATABLE_PREDICATE_

$sym104$HIERARCHICAL_COLLECTIONS_

public static final SubLSymbol $sym104$HIERARCHICAL_COLLECTIONS_

$sym105$NUM_BEST_GAF_LOOKUP_INDEX

public static final SubLSymbol $sym105$NUM_BEST_GAF_LOOKUP_INDEX

$sym106$API_QUIT

public static final SubLSymbol $sym106$API_QUIT

$sym107$NART_P

public static final SubLSymbol $sym107$NART_P

$sym108$EL_VARIABLE_P

public static final SubLSymbol $sym108$EL_VARIABLE_P

$sym109$PPH_PRECISION_P

public static final SubLSymbol $sym109$PPH_PRECISION_P

$sym110$FORT_FOR_STRING

public static final SubLSymbol $sym110$FORT_FOR_STRING

$sym111$RTP_PARSE_EXP_W_VPP

public static final SubLSymbol $sym111$RTP_PARSE_EXP_W_VPP

$sym112$GET_UNIVERSAL_TIME

public static final SubLSymbol $sym112$GET_UNIVERSAL_TIME

$sym113$DECODE_UNIVERSAL_TIME

public static final SubLSymbol $sym113$DECODE_UNIVERSAL_TIME

$sym114$FIND_NART

public static final SubLSymbol $sym114$FIND_NART

$sym115$CONSTANT_GUID

public static final SubLSymbol $sym115$CONSTANT_GUID

$sym116$RKF_PHRASE_READER

public static final SubLSymbol $sym116$RKF_PHRASE_READER

$sym117$GENERATE_DISAMBIGUATION_PHRASES_AND_TYPES

public static final SubLSymbol $sym117$GENERATE_DISAMBIGUATION_PHRASES_AND_TYPES

$sym118$LOAD_TRANSCRIPT_FILE

public static final SubLSymbol $sym118$LOAD_TRANSCRIPT_FILE

$sym119$KB_STATISTICS

public static final SubLSymbol $sym119$KB_STATISTICS

$sym120$GENL_MT_

public static final SubLSymbol $sym120$GENL_MT_

$sym121$ALL_SPEC_MTS

public static final SubLSymbol $sym121$ALL_SPEC_MTS

$sym122$REMOVAL_ASK

public static final SubLSymbol $sym122$REMOVAL_ASK

$sym123$DO_NARTS_TABLE

public static final SubLSymbol $sym123$DO_NARTS_TABLE

$sym124$ID_INDEX_COUNT

public static final SubLSymbol $sym124$ID_INDEX_COUNT

$sym125$ID_INDEX_OLD_OBJECTS

public static final SubLSymbol $sym125$ID_INDEX_OLD_OBJECTS

$sym126$ID_INDEX_EMPTY_P

public static final SubLSymbol $sym126$ID_INDEX_EMPTY_P

$sym127$ID_INDEX_NEW_ID_THRESHOLD

public static final SubLSymbol $sym127$ID_INDEX_NEW_ID_THRESHOLD

$sym128$ID_INDEX_NEXT_ID

public static final SubLSymbol $sym128$ID_INDEX_NEXT_ID

$sym129$CYCL_NART_P

public static final SubLSymbol $sym129$CYCL_NART_P

$sym130$CYCL_NAUT_P

public static final SubLSymbol $sym130$CYCL_NAUT_P

$sym131$RESOLVE_NEW_CONSTANTS

public static final SubLSymbol $sym131$RESOLVE_NEW_CONSTANTS

$sym132$CYC_OPENCYC_FEATURE

public static final SubLSymbol $sym132$CYC_OPENCYC_FEATURE

$sym133$CYC_RESEARCHCYC_FEATURE

public static final SubLSymbol $sym133$CYC_RESEARCHCYC_FEATURE

$sym134$CANONICALIZE_HLMT

public static final SubLSymbol $sym134$CANONICALIZE_HLMT

$sym135$NEW_CYC_QUERY

public static final SubLSymbol $sym135$NEW_CYC_QUERY

$sym136$REGISTER_SOLELY_SPECIFIC_REMOVAL_MODULE_PREDICATE

public static final SubLSymbol $sym136$REGISTER_SOLELY_SPECIFIC_REMOVAL_MODULE_PREDICATE

$sym137$INFERENCE_REMOVAL_MODULE

public static final SubLSymbol $sym137$INFERENCE_REMOVAL_MODULE

$sym138$UNDECLARE_INFERENCE_REMOVAL_MODULE

public static final SubLSymbol $sym138$UNDECLARE_INFERENCE_REMOVAL_MODULE

$list139

public static final SubLList $list139

$list140

public static final SubLList $list140

$list141

public static final SubLList $list141

$list142

public static final SubLList $list142

$list143

public static final SubLList $list143

$list144

public static final SubLList $list144

$list145

public static final SubLList $list145

$list146

public static final SubLList $list146

$list147

public static final SubLList $list147

$list148

public static final SubLList $list148

$sym149$__

public static final SubLSymbol $sym149$__

$list150

public static final SubLList $list150

$list151

public static final SubLList $list151

$sym152$PHRASE_FOR_MT

public static final SubLSymbol $sym152$PHRASE_FOR_MT

$sym153$BEST_STRING_OF_NL_PHRASE_DEFN

public static final SubLSymbol $sym153$BEST_STRING_OF_NL_PHRASE_DEFN

$sym154$CYC_1_BYTE_INTEGER

public static final SubLSymbol $sym154$CYC_1_BYTE_INTEGER

$sym155$CYC_2_BYTE_INTEGER

public static final SubLSymbol $sym155$CYC_2_BYTE_INTEGER

$sym156$CYC_4_BYTE_INTEGER

public static final SubLSymbol $sym156$CYC_4_BYTE_INTEGER

$sym157$CYC_8_BYTE_INTEGER

public static final SubLSymbol $sym157$CYC_8_BYTE_INTEGER

$sym158$CYC_ABSOLUTE_VALUE

public static final SubLSymbol $sym158$CYC_ABSOLUTE_VALUE

$sym159$CYC_ADD_ENGLISH_SUFFIX

public static final SubLSymbol $sym159$CYC_ADD_ENGLISH_SUFFIX

$sym160$CYC_ARC_COSECANT

public static final SubLSymbol $sym160$CYC_ARC_COSECANT

$sym161$CYC_ARC_COSINE

public static final SubLSymbol $sym161$CYC_ARC_COSINE

$sym162$CYC_ARC_COTANGENT

public static final SubLSymbol $sym162$CYC_ARC_COTANGENT

$sym163$CYC_ARC_SECANT

public static final SubLSymbol $sym163$CYC_ARC_SECANT

$sym164$CYC_ARC_SINE

public static final SubLSymbol $sym164$CYC_ARC_SINE

$sym165$CYC_ARC_TANGENT

public static final SubLSymbol $sym165$CYC_ARC_TANGENT

$sym166$CYC_ASCII_STRING_P

public static final SubLSymbol $sym166$CYC_ASCII_STRING_P

$sym167$CYC_AVERAGE

public static final SubLSymbol $sym167$CYC_AVERAGE

$sym168$CYC_BIT_DATATYPE

public static final SubLSymbol $sym168$CYC_BIT_DATATYPE

$sym169$CYC_COLLECTION_DENOTING_UNARY_FUNCTION_FOR

public static final SubLSymbol $sym169$CYC_COLLECTION_DENOTING_UNARY_FUNCTION_FOR

$sym170$CYC_COSECANT

public static final SubLSymbol $sym170$CYC_COSECANT

$sym171$CYC_COSINE

public static final SubLSymbol $sym171$CYC_COSINE

$sym172$CYC_COTANGENT

public static final SubLSymbol $sym172$CYC_COTANGENT

$sym173$CYC_DATE_AFTER

public static final SubLSymbol $sym173$CYC_DATE_AFTER

$sym174$CYC_DATE_BEFORE

public static final SubLSymbol $sym174$CYC_DATE_BEFORE

$sym175$CYC_DATE_DECODE_STRING

public static final SubLSymbol $sym175$CYC_DATE_DECODE_STRING

$sym176$CYC_DATE_ENCODE_STRING

public static final SubLSymbol $sym176$CYC_DATE_ENCODE_STRING

$sym177$CYC_DATE_FROM_INTEGER

public static final SubLSymbol $sym177$CYC_DATE_FROM_INTEGER

$sym178$CYC_DATE_FROM_STRING

public static final SubLSymbol $sym178$CYC_DATE_FROM_STRING

$sym179$CYC_DATE_SUBSUMES

public static final SubLSymbol $sym179$CYC_DATE_SUBSUMES

$sym180$CYC_DAY_OF_DATE

public static final SubLSymbol $sym180$CYC_DAY_OF_DATE

$sym181$CYC_DAY_OF_WEEK_AFTER_DATE

public static final SubLSymbol $sym181$CYC_DAY_OF_WEEK_AFTER_DATE

$sym182$CYC_DAY_OF_WEEK_AFTER_DATE_INCLUSIVE

public static final SubLSymbol $sym182$CYC_DAY_OF_WEEK_AFTER_DATE_INCLUSIVE

$sym183$CYC_DAY_OF_WEEK_DEFN

public static final SubLSymbol $sym183$CYC_DAY_OF_WEEK_DEFN

$sym184$CYC_DAY_OF_WEEK_OF_DATE

public static final SubLSymbol $sym184$CYC_DAY_OF_WEEK_OF_DATE

$sym185$CYC_DAY_OF_WEEK_PRIOR_TO_DATE

public static final SubLSymbol $sym185$CYC_DAY_OF_WEEK_PRIOR_TO_DATE

$sym186$CYC_DAY_OF_WEEK_PRIOR_TO_DATE_INCLUSIVE

public static final SubLSymbol $sym186$CYC_DAY_OF_WEEK_PRIOR_TO_DATE_INCLUSIVE

$sym187$CYC_DIFFERENCE

public static final SubLSymbol $sym187$CYC_DIFFERENCE

$sym188$CYC_DIFFERENT

public static final SubLSymbol $sym188$CYC_DIFFERENT

$sym189$CYC_DIFFERENT_SYMBOLS

public static final SubLSymbol $sym189$CYC_DIFFERENT_SYMBOLS

$sym190$CYC_EVALUATE_SUBL

public static final SubLSymbol $sym190$CYC_EVALUATE_SUBL

$sym191$CYC_EVEN_NUMBER

public static final SubLSymbol $sym191$CYC_EVEN_NUMBER

$sym192$CYC_EXP

public static final SubLSymbol $sym192$CYC_EXP

$sym193$CYC_EXPONENT

public static final SubLSymbol $sym193$CYC_EXPONENT

$sym194$CYC_EXTENDED_NUMBER_P

public static final SubLSymbol $sym194$CYC_EXTENDED_NUMBER_P

$sym195$CYC_GREATER_THAN

public static final SubLSymbol $sym195$CYC_GREATER_THAN

$sym196$CYC_GREATER_THAN_OR_EQUAL_TO

public static final SubLSymbol $sym196$CYC_GREATER_THAN_OR_EQUAL_TO

$sym197$CYC_GROUND_TERM

public static final SubLSymbol $sym197$CYC_GROUND_TERM

$sym198$CYC_GUID_STRING_P

public static final SubLSymbol $sym198$CYC_GUID_STRING_P

$sym199$CYC_HTTP_URL_ENCODE

public static final SubLSymbol $sym199$CYC_HTTP_URL_ENCODE

$sym200$CYC_IDENTITY

public static final SubLSymbol $sym200$CYC_IDENTITY

$sym201$CYC_INDEXICAL_REFERENT

public static final SubLSymbol $sym201$CYC_INDEXICAL_REFERENT

$sym202$CYC_INDIVIDUAL_DENOTING_UNARY_FUNCTION_FOR

public static final SubLSymbol $sym202$CYC_INDIVIDUAL_DENOTING_UNARY_FUNCTION_FOR

$sym203$CYC_INDIVIDUAL_NECESSARY

public static final SubLSymbol $sym203$CYC_INDIVIDUAL_NECESSARY

$sym204$CYC_INTEGER

public static final SubLSymbol $sym204$CYC_INTEGER

$sym205$CYC_INTEGER_RANGE

public static final SubLSymbol $sym205$CYC_INTEGER_RANGE

$sym206$CYC_INTEGER_TO_STRING

public static final SubLSymbol $sym206$CYC_INTEGER_TO_STRING

$sym207$CYC_INTERVAL_ENDED_BY_LAST_SUBINTERVAL_OF_TYPE

public static final SubLSymbol $sym207$CYC_INTERVAL_ENDED_BY_LAST_SUBINTERVAL_OF_TYPE

$sym208$CYC_INTERVAL_STARTED_BY_FIRST_SUBINTERVAL_OF_TYPE

public static final SubLSymbol $sym208$CYC_INTERVAL_STARTED_BY_FIRST_SUBINTERVAL_OF_TYPE

$sym209$CYC_INVERSE

public static final SubLSymbol $sym209$CYC_INVERSE

$sym210$CYC_IP4_ADDRESS

public static final SubLSymbol $sym210$CYC_IP4_ADDRESS

$sym211$CYC_IP4_NETWORK_ADDRESS

public static final SubLSymbol $sym211$CYC_IP4_NETWORK_ADDRESS

$sym212$CYC_LATER_THAN

public static final SubLSymbol $sym212$CYC_LATER_THAN

$sym213$CYC_LESS_THAN

public static final SubLSymbol $sym213$CYC_LESS_THAN

$sym214$CYC_LESS_THAN_OR_EQUAL_TO

public static final SubLSymbol $sym214$CYC_LESS_THAN_OR_EQUAL_TO

$sym215$CYC_LIST_CONCATENATE

public static final SubLSymbol $sym215$CYC_LIST_CONCATENATE

$sym216$CYC_LIST_FIRST

public static final SubLSymbol $sym216$CYC_LIST_FIRST

$sym217$CYC_LIST_LAST

public static final SubLSymbol $sym217$CYC_LIST_LAST

$sym218$CYC_LIST_LENGTH

public static final SubLSymbol $sym218$CYC_LIST_LENGTH

$sym219$CYC_LIST_MEMBER_SET

public static final SubLSymbol $sym219$CYC_LIST_MEMBER_SET

$sym220$CYC_LIST_NTH

public static final SubLSymbol $sym220$CYC_LIST_NTH

$sym221$CYC_LIST_OF_TYPE_NECESSARY

public static final SubLSymbol $sym221$CYC_LIST_OF_TYPE_NECESSARY

$sym222$CYC_LIST_OF_TYPE_SUFFICIENT

public static final SubLSymbol $sym222$CYC_LIST_OF_TYPE_SUFFICIENT

$sym223$CYC_LIST_REST

public static final SubLSymbol $sym223$CYC_LIST_REST

$sym224$CYC_LIST_REVERSE

public static final SubLSymbol $sym224$CYC_LIST_REVERSE

$sym225$CYC_LIST_SEARCH

public static final SubLSymbol $sym225$CYC_LIST_SEARCH

$sym226$CYC_LIST_SUBSEQ

public static final SubLSymbol $sym226$CYC_LIST_SUBSEQ

$sym227$CYC_LIST_WITHOUT_REPETITION

public static final SubLSymbol $sym227$CYC_LIST_WITHOUT_REPETITION

$sym228$CYC_LOG

public static final SubLSymbol $sym228$CYC_LOG

$sym229$CYC_LOGARITHM

public static final SubLSymbol $sym229$CYC_LOGARITHM

$sym230$CYC_MAKE_FORMULA

public static final SubLSymbol $sym230$CYC_MAKE_FORMULA

$sym231$CYC_MAP_FUNCTION_OVER_LIST

public static final SubLSymbol $sym231$CYC_MAP_FUNCTION_OVER_LIST

$sym232$CYC_MAX_RANGE

public static final SubLSymbol $sym232$CYC_MAX_RANGE

$sym233$CYC_MAXIMUM

public static final SubLSymbol $sym233$CYC_MAXIMUM

$sym234$CYC_MIN_RANGE

public static final SubLSymbol $sym234$CYC_MIN_RANGE

$sym235$CYC_MINIMUM

public static final SubLSymbol $sym235$CYC_MINIMUM

$sym236$CYC_MINUS

public static final SubLSymbol $sym236$CYC_MINUS

$sym237$CYC_NEGATIVE_INTEGER

public static final SubLSymbol $sym237$CYC_NEGATIVE_INTEGER

$sym238$CYC_NEGATIVE_NUMBER

public static final SubLSymbol $sym238$CYC_NEGATIVE_NUMBER

$sym239$CYC_NEXT_ITERATED_CYCLIC_INTERVAL

public static final SubLSymbol $sym239$CYC_NEXT_ITERATED_CYCLIC_INTERVAL

$sym240$CYC_NON_NEGATIVE_INTEGER

public static final SubLSymbol $sym240$CYC_NON_NEGATIVE_INTEGER

$sym241$CYC_NON_NEGATIVE_NUMBER

public static final SubLSymbol $sym241$CYC_NON_NEGATIVE_NUMBER

$sym242$CYC_NON_POSITIVE_INTEGER

public static final SubLSymbol $sym242$CYC_NON_POSITIVE_INTEGER

$sym243$CYC_NON_POSITIVE_NUMBER

public static final SubLSymbol $sym243$CYC_NON_POSITIVE_NUMBER

$sym244$CYC_NTH_METRICALLY_PRECEDING_TIME_INTERVAL_OF_TYPE

public static final SubLSymbol $sym244$CYC_NTH_METRICALLY_PRECEDING_TIME_INTERVAL_OF_TYPE

$sym245$CYC_NTH_METRICALLY_SUCCEEDING_TIME_INTERVAL_OF_TYPE

public static final SubLSymbol $sym245$CYC_NTH_METRICALLY_SUCCEEDING_TIME_INTERVAL_OF_TYPE

$sym246$CYC_NUMBER_STRING

public static final SubLSymbol $sym246$CYC_NUMBER_STRING

$sym247$CYC_NUMERAL_STRING

public static final SubLSymbol $sym247$CYC_NUMERAL_STRING

$sym248$CYC_NUMERIC_STRING_NECESSARY

public static final SubLSymbol $sym248$CYC_NUMERIC_STRING_NECESSARY

$sym249$CYC_NUMERICALLY_EQUAL

public static final SubLSymbol $sym249$CYC_NUMERICALLY_EQUAL

$sym250$CYC_ODD_NUMBER

public static final SubLSymbol $sym250$CYC_ODD_NUMBER

$sym251$CYC_PERCENT

public static final SubLSymbol $sym251$CYC_PERCENT

$sym252$CYC_PLUS

public static final SubLSymbol $sym252$CYC_PLUS

$sym253$CYC_PLUS_ALL

public static final SubLSymbol $sym253$CYC_PLUS_ALL

$sym254$CYC_POSITION

public static final SubLSymbol $sym254$CYC_POSITION

$sym255$CYC_POSITIVE_INTEGER

public static final SubLSymbol $sym255$CYC_POSITIVE_INTEGER

$sym256$CYC_POSITIVE_NUMBER

public static final SubLSymbol $sym256$CYC_POSITIVE_NUMBER

$sym257$CYC_POST_REMOVE

public static final SubLSymbol $sym257$CYC_POST_REMOVE

$sym258$CYC_PRE_REMOVE

public static final SubLSymbol $sym258$CYC_PRE_REMOVE

$sym259$CYC_PREFIX_SUBSTRING

public static final SubLSymbol $sym259$CYC_PREFIX_SUBSTRING

$sym260$CYC_PRIME_NUMBER_

public static final SubLSymbol $sym260$CYC_PRIME_NUMBER_

$sym261$CYC_QUANTITY_CONVERSION

public static final SubLSymbol $sym261$CYC_QUANTITY_CONVERSION

$sym262$CYC_QUANTITY_INTERSECTS

public static final SubLSymbol $sym262$CYC_QUANTITY_INTERSECTS

$sym263$CYC_QUANTITY_SUBSUMES

public static final SubLSymbol $sym263$CYC_QUANTITY_SUBSUMES

$sym264$CYC_QUOTIENT

public static final SubLSymbol $sym264$CYC_QUOTIENT

$sym265$CYC_RATIONAL_NUMBER

public static final SubLSymbol $sym265$CYC_RATIONAL_NUMBER

$sym266$CYC_REAL_0_1

public static final SubLSymbol $sym266$CYC_REAL_0_1

$sym267$CYC_REAL_1_INFINITY

public static final SubLSymbol $sym267$CYC_REAL_1_INFINITY

$sym268$CYC_REAL_NUMBER

public static final SubLSymbol $sym268$CYC_REAL_NUMBER

$sym269$CYC_RECAPITALIZE_SMART

public static final SubLSymbol $sym269$CYC_RECAPITALIZE_SMART

$sym270$CYC_RELATION_ARG

public static final SubLSymbol $sym270$CYC_RELATION_ARG

$sym271$CYC_RELATION_ARG_SET

public static final SubLSymbol $sym271$CYC_RELATION_ARG_SET

$sym272$CYC_RELATION_ARGS_LIST

public static final SubLSymbol $sym272$CYC_RELATION_ARGS_LIST

$sym273$CYC_RELATION_EXPRESSION_ARITY

public static final SubLSymbol $sym273$CYC_RELATION_EXPRESSION_ARITY

$sym274$CYC_REPLACE_SUBSTRING

public static final SubLSymbol $sym274$CYC_REPLACE_SUBSTRING

$sym275$CYC_ROUND_CLOSEST

public static final SubLSymbol $sym275$CYC_ROUND_CLOSEST

$sym276$CYC_ROUND_DOWN

public static final SubLSymbol $sym276$CYC_ROUND_DOWN

$sym277$CYC_ROUND_UP

public static final SubLSymbol $sym277$CYC_ROUND_UP

$sym278$CYC_SCIENTIFIC_NUMBER_FROM_STRING

public static final SubLSymbol $sym278$CYC_SCIENTIFIC_NUMBER_FROM_STRING

$sym279$CYC_SCIENTIFIC_NUMBER_FROM_SUBL_REAL

public static final SubLSymbol $sym279$CYC_SCIENTIFIC_NUMBER_FROM_SUBL_REAL

$sym280$CYC_SCIENTIFIC_NUMBER_P

public static final SubLSymbol $sym280$CYC_SCIENTIFIC_NUMBER_P

$sym281$CYC_SCIENTIFIC_NUMBER_SIGNIFICANT_DIGIT_COUNT

public static final SubLSymbol $sym281$CYC_SCIENTIFIC_NUMBER_SIGNIFICANT_DIGIT_COUNT

$sym282$CYC_SCIENTIFIC_NUMBER_TO_STRING

public static final SubLSymbol $sym282$CYC_SCIENTIFIC_NUMBER_TO_STRING

$sym283$CYC_SCIENTIFIC_NUMBER_TO_SUBL_REAL

public static final SubLSymbol $sym283$CYC_SCIENTIFIC_NUMBER_TO_SUBL_REAL

$sym284$CYC_SECANT

public static final SubLSymbol $sym284$CYC_SECANT

$sym285$CYC_SET_DIFFERENCE

public static final SubLSymbol $sym285$CYC_SET_DIFFERENCE

$sym286$CYC_SET_EXTENT

public static final SubLSymbol $sym286$CYC_SET_EXTENT

$sym287$CYC_SET_OF_TYPE_NECESSARY

public static final SubLSymbol $sym287$CYC_SET_OF_TYPE_NECESSARY

$sym288$CYC_SET_OF_TYPE_SUFFICIENT

public static final SubLSymbol $sym288$CYC_SET_OF_TYPE_SUFFICIENT

$sym289$CYC_SIGNIFICANT_DIGITS

public static final SubLSymbol $sym289$CYC_SIGNIFICANT_DIGITS

$sym290$CYC_SINE

public static final SubLSymbol $sym290$CYC_SINE

$sym291$CYC_SKSI_SOURCE_ACCESSIBLE

public static final SubLSymbol $sym291$CYC_SKSI_SOURCE_ACCESSIBLE

$sym292$CYC_SKSI_SOURCE_ACTIVATED

public static final SubLSymbol $sym292$CYC_SKSI_SOURCE_ACTIVATED

$sym293$CYC_SKSI_SOURCE_QUERYABLE

public static final SubLSymbol $sym293$CYC_SKSI_SOURCE_QUERYABLE

$sym294$CYC_SKSI_SOURCE_REGISTERED

public static final SubLSymbol $sym294$CYC_SKSI_SOURCE_REGISTERED

$sym295$CYC_SQRT

public static final SubLSymbol $sym295$CYC_SQRT

$sym296$CYC_STRING_CONCAT

public static final SubLSymbol $sym296$CYC_STRING_CONCAT

$sym297$CYC_STRING_TO_INTEGER

public static final SubLSymbol $sym297$CYC_STRING_TO_INTEGER

$sym298$CYC_STRING_TO_REAL_NUMBER

public static final SubLSymbol $sym298$CYC_STRING_TO_REAL_NUMBER

$sym299$CYC_STRING_TOKENIZE_NEW

public static final SubLSymbol $sym299$CYC_STRING_TOKENIZE_NEW

$sym300$CYC_STRING_UPCASE

public static final SubLSymbol $sym300$CYC_STRING_UPCASE

$sym301$CYC_STRINGS_TO_PHRASE

public static final SubLSymbol $sym301$CYC_STRINGS_TO_PHRASE

$sym302$CYC_SUBL_ESCAPE

public static final SubLSymbol $sym302$CYC_SUBL_ESCAPE

$sym303$CYC_SUBL_EXPRESSION

public static final SubLSymbol $sym303$CYC_SUBL_EXPRESSION

$sym304$CYC_SUBL_TEMPLATE

public static final SubLSymbol $sym304$CYC_SUBL_TEMPLATE

$sym305$CYC_SUBLIST_

public static final SubLSymbol $sym305$CYC_SUBLIST_

$sym306$CYC_SUBSTITUTE_FORMULA

public static final SubLSymbol $sym306$CYC_SUBSTITUTE_FORMULA

$sym307$CYC_SUBSTITUTE_FORMULA_ARG

public static final SubLSymbol $sym307$CYC_SUBSTITUTE_FORMULA_ARG

$sym308$CYC_SUBSTITUTE_FORMULA_ARG_POSITION

public static final SubLSymbol $sym308$CYC_SUBSTITUTE_FORMULA_ARG_POSITION

$sym309$CYC_SUBSTRING

public static final SubLSymbol $sym309$CYC_SUBSTRING

$sym310$CYC_SUBSTRING_CASE_INSENSITIVE_PREDICATE

public static final SubLSymbol $sym310$CYC_SUBSTRING_CASE_INSENSITIVE_PREDICATE

$sym311$CYC_SUBSTRING_PREDICATE

public static final SubLSymbol $sym311$CYC_SUBSTRING_PREDICATE

$sym312$CYC_SUBWORD_PREDICATE

public static final SubLSymbol $sym312$CYC_SUBWORD_PREDICATE

$sym313$CYC_SUFFIX_SUBSTRING

public static final SubLSymbol $sym313$CYC_SUFFIX_SUBSTRING

$sym314$CYC_SYSTEM_ATOM

public static final SubLSymbol $sym314$CYC_SYSTEM_ATOM

$sym315$CYC_SYSTEM_CHARACTER_P

public static final SubLSymbol $sym315$CYC_SYSTEM_CHARACTER_P

$sym316$CYC_SYSTEM_INTEGER

public static final SubLSymbol $sym316$CYC_SYSTEM_INTEGER

$sym317$CYC_SYSTEM_NON_VARIABLE_SYMBOL_P

public static final SubLSymbol $sym317$CYC_SYSTEM_NON_VARIABLE_SYMBOL_P

$sym318$CYC_SYSTEM_REAL_NUMBER_P

public static final SubLSymbol $sym318$CYC_SYSTEM_REAL_NUMBER_P

$sym319$CYC_SYSTEM_STRING_P

public static final SubLSymbol $sym319$CYC_SYSTEM_STRING_P

$sym320$CYC_SYSTEM_TERM_P

public static final SubLSymbol $sym320$CYC_SYSTEM_TERM_P

$sym321$CYC_TANGENT

public static final SubLSymbol $sym321$CYC_TANGENT

$sym322$CYC_TIME_ELAPSED

public static final SubLSymbol $sym322$CYC_TIME_ELAPSED

$sym323$CYC_TIME_ELAPSED_DECODE_STRING

public static final SubLSymbol $sym323$CYC_TIME_ELAPSED_DECODE_STRING

$sym324$CYC_TIME_ELAPSED_ENCODE_STRING

public static final SubLSymbol $sym324$CYC_TIME_ELAPSED_ENCODE_STRING

$sym325$CYC_TIMES

public static final SubLSymbol $sym325$CYC_TIMES

$sym326$CYC_TRIM_WHITESPACE

public static final SubLSymbol $sym326$CYC_TRIM_WHITESPACE

$sym327$CYC_TRUE_SUBL

public static final SubLSymbol $sym327$CYC_TRUE_SUBL

$sym328$CYC_TYPES_MOST_OFTEN_ASSERTED_USING_TOOL

public static final SubLSymbol $sym328$CYC_TYPES_MOST_OFTEN_ASSERTED_USING_TOOL

$sym329$CYC_UNICODE_DENOTING_ASCII_STRING_P

public static final SubLSymbol $sym329$CYC_UNICODE_DENOTING_ASCII_STRING_P

$sym330$CYC_ZIP_CODE_FIVE_DIGIT

public static final SubLSymbol $sym330$CYC_ZIP_CODE_FIVE_DIGIT

$sym331$CYC_ZIP_CODE_NINE_DIGIT

public static final SubLSymbol $sym331$CYC_ZIP_CODE_NINE_DIGIT

$sym332$CYCL_ASSERTED_ASSERTION_

public static final SubLSymbol $sym332$CYCL_ASSERTED_ASSERTION_

$sym333$CYCL_ASSERTION_

public static final SubLSymbol $sym333$CYCL_ASSERTION_

$sym334$CYCL_ATOMIC_ASSERTION_

public static final SubLSymbol $sym334$CYCL_ATOMIC_ASSERTION_

$sym335$CYCL_ATOMIC_SENTENCE_

public static final SubLSymbol $sym335$CYCL_ATOMIC_SENTENCE_

$sym336$CYCL_ATOMIC_TERM_P

public static final SubLSymbol $sym336$CYCL_ATOMIC_TERM_P

$sym337$CYCL_CLOSED_ATOMIC_SENTENCE_

public static final SubLSymbol $sym337$CYCL_CLOSED_ATOMIC_SENTENCE_

$sym338$CYCL_CLOSED_ATOMIC_TERM_P

public static final SubLSymbol $sym338$CYCL_CLOSED_ATOMIC_TERM_P

$sym339$CYCL_CLOSED_DENOTATIONAL_TERM_

public static final SubLSymbol $sym339$CYCL_CLOSED_DENOTATIONAL_TERM_

$sym340$CYCL_CLOSED_EXPRESSION_

public static final SubLSymbol $sym340$CYCL_CLOSED_EXPRESSION_

$sym341$CYCL_CLOSED_FORMULA_

public static final SubLSymbol $sym341$CYCL_CLOSED_FORMULA_

$sym342$CYCL_CLOSED_NON_ATOMIC_TERM_

public static final SubLSymbol $sym342$CYCL_CLOSED_NON_ATOMIC_TERM_

$sym343$CYCL_CLOSED_SENTENCE_

public static final SubLSymbol $sym343$CYCL_CLOSED_SENTENCE_

$sym344$CYCL_CONSTANT_P

public static final SubLSymbol $sym344$CYCL_CONSTANT_P

$sym345$CYCL_DEDUCED_ASSERTION_

public static final SubLSymbol $sym345$CYCL_DEDUCED_ASSERTION_

$sym346$CYCL_DENOTATIONAL_TERM_P

public static final SubLSymbol $sym346$CYCL_DENOTATIONAL_TERM_P

$sym347$CYCL_EXPRESSION_ASKABLE_

public static final SubLSymbol $sym347$CYCL_EXPRESSION_ASKABLE_

$sym348$CYCL_EXPRESSION_ASSERTIBLE_

public static final SubLSymbol $sym348$CYCL_EXPRESSION_ASSERTIBLE_

$sym349$CYCL_EXPRESSION_

public static final SubLSymbol $sym349$CYCL_EXPRESSION_

$sym350$CYCL_FORMULA_

public static final SubLSymbol $sym350$CYCL_FORMULA_

$sym351$CYCL_GAF_ASSERTION_

public static final SubLSymbol $sym351$CYCL_GAF_ASSERTION_

$sym352$CYCL_INDEXED_TERM_

public static final SubLSymbol $sym352$CYCL_INDEXED_TERM_

$sym353$CYCL_NL_SEMANTIC_ASSERTION_

public static final SubLSymbol $sym353$CYCL_NL_SEMANTIC_ASSERTION_

$sym354$CYCL_NON_ATOMIC_REIFIED_TERM_

public static final SubLSymbol $sym354$CYCL_NON_ATOMIC_REIFIED_TERM_

$sym355$CYCL_NON_ATOMIC_TERM_ASKABLE_

public static final SubLSymbol $sym355$CYCL_NON_ATOMIC_TERM_ASKABLE_

$sym356$CYCL_NON_ATOMIC_TERM_ASSERTIBLE_

public static final SubLSymbol $sym356$CYCL_NON_ATOMIC_TERM_ASSERTIBLE_

$sym357$CYCL_NON_ATOMIC_TERM_

public static final SubLSymbol $sym357$CYCL_NON_ATOMIC_TERM_

$sym358$CYCL_OPEN_DENOTATIONAL_TERM_

public static final SubLSymbol $sym358$CYCL_OPEN_DENOTATIONAL_TERM_

$sym359$CYCL_OPEN_EXPRESSION_

public static final SubLSymbol $sym359$CYCL_OPEN_EXPRESSION_

$sym360$CYCL_OPEN_FORMULA_

public static final SubLSymbol $sym360$CYCL_OPEN_FORMULA_

$sym361$CYCL_OPEN_NON_ATOMIC_TERM_

public static final SubLSymbol $sym361$CYCL_OPEN_NON_ATOMIC_TERM_

$sym362$CYCL_OPEN_SENTENCE_

public static final SubLSymbol $sym362$CYCL_OPEN_SENTENCE_

$sym363$CYCL_PROPOSITIONAL_SENTENCE_

public static final SubLSymbol $sym363$CYCL_PROPOSITIONAL_SENTENCE_

$sym364$CYCL_REFORMULATOR_RULE_

public static final SubLSymbol $sym364$CYCL_REFORMULATOR_RULE_

$sym365$CYCL_REIFIABLE_DENOTATIONAL_TERM_

public static final SubLSymbol $sym365$CYCL_REIFIABLE_DENOTATIONAL_TERM_

$sym366$CYCL_REIFIABLE_NON_ATOMIC_TERM_

public static final SubLSymbol $sym366$CYCL_REIFIABLE_NON_ATOMIC_TERM_

$sym367$CYCL_REIFIED_DENOTATIONAL_TERM_

public static final SubLSymbol $sym367$CYCL_REIFIED_DENOTATIONAL_TERM_

$sym368$CYCL_REPRESENTED_ATOMIC_TERM_P

public static final SubLSymbol $sym368$CYCL_REPRESENTED_ATOMIC_TERM_P

$sym369$CYCL_REPRESENTED_TERM_

public static final SubLSymbol $sym369$CYCL_REPRESENTED_TERM_

$sym370$CYCL_RULE_ASSERTION_

public static final SubLSymbol $sym370$CYCL_RULE_ASSERTION_

$sym371$CYCL_SENTENCE_ASKABLE_

public static final SubLSymbol $sym371$CYCL_SENTENCE_ASKABLE_

$sym372$CYCL_SENTENCE_ASSERTIBLE_

public static final SubLSymbol $sym372$CYCL_SENTENCE_ASSERTIBLE_

$sym373$CYCL_SENTENCE_

public static final SubLSymbol $sym373$CYCL_SENTENCE_

$sym374$CYCL_SUBL_SYMBOL_P

public static final SubLSymbol $sym374$CYCL_SUBL_SYMBOL_P

$sym375$CYCL_UNBOUND_RELATION_FORMULA_P

public static final SubLSymbol $sym375$CYCL_UNBOUND_RELATION_FORMULA_P

$sym376$CYCL_VAR_LIST_

public static final SubLSymbol $sym376$CYCL_VAR_LIST_

$sym377$CYCL_VARIABLE_P

public static final SubLSymbol $sym377$CYCL_VARIABLE_P

$sym378$CYCSECURE_SUB_SOFTWARE_OBJECTS_

public static final SubLSymbol $sym378$CYCSECURE_SUB_SOFTWARE_OBJECTS_

$sym379$CYCSECURE_VERSION_OF_SOFTWARE_

public static final SubLSymbol $sym379$CYCSECURE_VERSION_OF_SOFTWARE_

$sym380$GAF_

public static final SubLSymbol $sym380$GAF_

$sym381$GEN_TEMPLATE_RECIPE_P

public static final SubLSymbol $sym381$GEN_TEMPLATE_RECIPE_P

$sym382$GENERATE_NAMES_FOR_TERM

public static final SubLSymbol $sym382$GENERATE_NAMES_FOR_TERM

$sym383$GENERATE_PHRASE_DEFN

public static final SubLSymbol $sym383$GENERATE_PHRASE_DEFN

$sym384$HL_EXTERNAL_ID_STRING_P

public static final SubLSymbol $sym384$HL_EXTERNAL_ID_STRING_P

$sym385$IBQE_

public static final SubLSymbol $sym385$IBQE_

$sym386$INTEGERP

public static final SubLSymbol $sym386$INTEGERP

$sym387$KEYWORDP

public static final SubLSymbol $sym387$KEYWORDP

$sym388$KWTE_

public static final SubLSymbol $sym388$KWTE_

$sym389$LISTP

public static final SubLSymbol $sym389$LISTP

$sym390$MONAD_CYCL_MT_

public static final SubLSymbol $sym390$MONAD_CYCL_MT_

$sym391$NON_NEGATIVE_SCALAR_INTERVAL_

public static final SubLSymbol $sym391$NON_NEGATIVE_SCALAR_INTERVAL_

$sym392$POSITIVE_SCALAR_INTERVAL_

public static final SubLSymbol $sym392$POSITIVE_SCALAR_INTERVAL_

$sym393$PRE_REMOVE_DEFINITE_ARTICLE_FROM_STRING

public static final SubLSymbol $sym393$PRE_REMOVE_DEFINITE_ARTICLE_FROM_STRING

$sym394$RTP_SYNTACTIC_CONSTRAINT

public static final SubLSymbol $sym394$RTP_SYNTACTIC_CONSTRAINT

$sym395$SCALAR_POINT_VALUE_

public static final SubLSymbol $sym395$SCALAR_POINT_VALUE_

$sym396$STRING_W_O_CONTROL_CHARS_

public static final SubLSymbol $sym396$STRING_W_O_CONTROL_CHARS_

$sym397$STRINGP

public static final SubLSymbol $sym397$STRINGP

$sym398$SUBL_NON_VARIABLE_NON_KEYWORD_SYMBOL_P

public static final SubLSymbol $sym398$SUBL_NON_VARIABLE_NON_KEYWORD_SYMBOL_P

$sym399$SYMBOLP

public static final SubLSymbol $sym399$SYMBOLP

$sym400$TEMPORAL_DIMENSION_MT_P

public static final SubLSymbol $sym400$TEMPORAL_DIMENSION_MT_P

$sym401$TRUE

public static final SubLSymbol $sym401$TRUE

$sym402$URL_P

public static final SubLSymbol $sym402$URL_P

$list403

public static final SubLList $list403
Method Detail

declare_eval_in_api_registrations_file

public static final SubLObject declare_eval_in_api_registrations_file()

init_eval_in_api_registrations_file

public static final SubLObject init_eval_in_api_registrations_file()

setup_eval_in_api_registrations_file

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