fi

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl
Class fi

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class fi extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary

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

Field Summary
`static SubLSymbol`	$assume_assert_sentence_is_wfP$ To be used only by cyc-assert-wff
`static SubLObject`	`$const114$True`
`static SubLObject`	`$const117$False`
`static SubLObject`	`$const125$skolem`
`static SubLObject`	`$const180$ist`
`static SubLObject`	`$const218$myCreator`
`static SubLObject`	`$const219$myCreationTime`
`static SubLObject`	`$const220$myCreationPurpose`
`static SubLObject`	`$const221$myCreationSecond`
`static SubLObject`	`$const224$BookkeepingMt`
`static SubLObject`	`$const56$isa`
`static SubLObject`	`$const58$arityMin`
`static SubLObject`	`$const59$arity`
`static SubLObject`	`$const60$arg1Isa`
`static SubLObject`	`$const61$arg2Isa`
`static SubLObject`	`$const62$arg3Isa`
`static SubLObject`	`$const63$arg4Isa`
`static SubLObject`	`$const64$arg5Isa`
`static SubLObject`	`$const65$resultIsa`
`static SubLObject`	`$const66$resultIsaArg`
`static SubLObject`	`$const67$CollectionDenotingFunction`
`static SubLObject`	`$const69$resultGenl`
`static SubLObject`	`$const70$SubcollectionDenotingFunction`
`static SubLObject`	`$const72$resultGenlArg`
`static SubLObject`	`$const79$EverythingPSC`
`static SubLObject`	`$const80$genls`
`static SubLObject`	`$const81$termOfUnit`
`static SubLSymbol`	$current_fi_op$
`static SubLSymbol`	$fi_error$
`static SubLSymbol`	$fi_last_assertions_asserted$
`static SubLSymbol`	$fi_last_constant$
`static SubLSymbol`	$fi_warning$
`static SubLSymbol`	$generate_precise_fi_wff_errorsP$ Whether to generate precise WFF errors when FI operations fail.
`static SubLInteger`	`$int248$100`
`static SubLSymbol`	`$kw100$LOOKUP`
`static SubLSymbol`	`$kw107$DEFAULT`
`static SubLSymbol`	`$kw108$ASSERT`
`static SubLSymbol`	`$kw115$TAUTOLOGY`
`static SubLSymbol`	`$kw118$CONTRADICTION`
`static SubLSymbol`	`$kw121$COULD_NOT_ASSERT`
`static SubLSymbol`	`$kw13$QUEUED`
`static SubLSymbol`	`$kw131$BACKWARD`
`static SubLSymbol`	`$kw132$FORWARD`
`static SubLSymbol`	`$kw133$FORMULA_NOT_WELL_FORMED`
`static SubLSymbol`	`$kw137$REASSERT`
`static SubLSymbol`	`$kw139$ASSERTION_NOT_PRESENT`
`static SubLSymbol`	`$kw141$UNASSERT`
`static SubLSymbol`	`$kw147$ASSERTION_NOT_LOCAL`
`static SubLSymbol`	`$kw149$EDIT`
`static SubLSymbol`	`$kw153$JUSTIFY`
`static SubLSymbol`	`$kw156$ADD_ARGUMENT`
`static SubLSymbol`	`$kw160$FALSE`
`static SubLSymbol`	`$kw162$SUPPORT_MALFORMED`
`static SubLSymbol`	`$kw164$TRUE`
`static SubLSymbol`	`$kw165$SUPPORT_INVALID`
`static SubLSymbol`	`$kw167$REMOVE_ARGUMENT`
`static SubLSymbol`	`$kw169$BLAST`
`static SubLSymbol`	`$kw172$ASK`
`static SubLSymbol`	`$kw181$CONTINUE_LAST_ASK`
`static SubLSymbol`	`$kw194$TMS_RECONSIDER_FORMULA`
`static SubLSymbol`	`$kw197$TMS_RECONSIDER_MT`
`static SubLSymbol`	`$kw201$TMS_RECONSIDER_GAFS`
`static SubLSymbol`	`$kw206$TMS_RECONSIDER_TERM`
`static SubLSymbol`	`$kw21$GET_WARNING`
`static SubLSymbol`	`$kw210$TIMESTAMP_CONSTANT`
`static SubLSymbol`	`$kw222$STRENGTH`
`static SubLSymbol`	`$kw223$DIRECTION`
`static SubLSymbol`	`$kw225$TIMESTAMP_ASSERTION`
`static SubLSymbol`	`$kw227$REMOVE_TIMESTAMP`
`static SubLSymbol`	`$kw228$RENAME_VARIABLES`
`static SubLSymbol`	`$kw230$GET_PARAMETER`
`static SubLSymbol`	`$kw232$UNBOUND`
`static SubLSymbol`	`$kw234$SET_PARAMETER`
`static SubLSymbol`	`$kw235$EVAL`
`static SubLSymbol`	`$kw236$LOCAL_EVAL`
`static SubLSymbol`	`$kw242$TRUE_MON`
`static SubLSymbol`	`$kw243$TRUE_DEF`
`static SubLSymbol`	`$kw244$FALSE_MON`
`static SubLSymbol`	`$kw245$FALSE_DEF`
`static SubLSymbol`	`$kw249$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw25$GET_ERROR`
`static SubLSymbol`	`$kw28$FIND`
`static SubLSymbol`	`$kw33$ARG_ERROR`
`static SubLSymbol`	`$kw35$INVALID_NAME`
`static SubLSymbol`	`$kw37$COMPLETE`
`static SubLSymbol`	`$kw42$CREATE`
`static SubLSymbol`	`$kw46$UNNAMED`
`static SubLSymbol`	`$kw47$NAME_CLASH`
`static SubLSymbol`	`$kw50$ID_CLASH`
`static SubLSymbol`	`$kw52$FIND_OR_CREATE`
`static SubLSymbol`	`$kw54$CREATE_SKOLEM`
`static SubLSymbol`	`$kw57$MONOTONIC`
`static SubLSymbol`	`$kw75$MERGE`
`static SubLSymbol`	`$kw87$KILL`
`static SubLSymbol`	`$kw93$RENAME`
`static SubLSymbol`	`$kw98$ALREADY_HAS_NAME`
`static SubLList`	`$list0`
`static SubLList`	`$list10`
`static SubLList`	`$list102`
`static SubLList`	`$list104`
`static SubLList`	`$list110`
`static SubLList`	`$list120`
`static SubLList`	`$list129`
`static SubLList`	`$list136`
`static SubLList`	`$list138`
`static SubLList`	`$list151`
`static SubLList`	`$list154`
`static SubLList`	`$list158`
`static SubLList`	`$list16`
`static SubLList`	`$list161`
`static SubLList`	`$list17`
`static SubLList`	`$list174`
`static SubLList`	`$list176`
`static SubLList`	`$list178`
`static SubLList`	`$list183`
`static SubLList`	`$list184`
`static SubLList`	`$list19`
`static SubLList`	`$list190`
`static SubLList`	`$list199`
`static SubLList`	`$list2`
`static SubLList`	`$list203`
`static SubLList`	`$list208`
`static SubLList`	`$list211`
`static SubLList`	`$list212`
`static SubLList`	`$list213`
`static SubLList`	`$list214`
`static SubLList`	`$list215`
`static SubLList`	`$list216`
`static SubLList`	`$list226`
`static SubLList`	`$list229`
`static SubLList`	`$list24`
`static SubLList`	`$list250`
`static SubLList`	`$list30`
`static SubLList`	`$list32`
`static SubLList`	`$list39`
`static SubLList`	`$list41`
`static SubLList`	`$list43`
`static SubLList`	`$list45`
`static SubLList`	`$list68`
`static SubLList`	`$list71`
`static SubLList`	`$list76`
`static SubLList`	`$list89`
`static SubLList`	`$list9`
`static SubLList`	`$list91`
`static SubLList`	`$list95`
`static SubLString`	`$str103$Returns_two_values_when_looking_u`
`static SubLString`	`$str105$Expected_a_cons__got__S`
`static SubLString`	`$str111$Assert_the_FORMULA_in_the_specifi`
`static SubLString`	`$str112$Expected__default_or__monotonic__`
`static SubLString`	`$str113$Expected_a_direction__got__S`
`static SubLString`	`$str116$Formula______S___in__S_was_a_taut`
`static SubLString`	`$str119$Formula______S___in__S_was_a_cont`
`static SubLString`	`$str12$Bad_function_call_____FI__s__s__s`
`static SubLString`	`$str122$Unable_to_assert_formula__S__in__`
`static SubLString`	`$str126$Found_a___skolem_assertion_with_m`
`static SubLString`	`$str127$Found_a___skolem_assertion_with_a`
`static SubLString`	`$str128$Defining_assertions_for__s___s__d`
`static SubLString`	`$str134$Formula______S___was_not_well_for`
`static SubLString`	`$str135$Formula______S___was_not_well_for`
`static SubLString`	`$str140$Formula__S_in_mt__S_is_not_in_the`
`static SubLString`	`$str143$Remove_the_assertions_canonicaliz`
`static SubLString`	`$str144$Sentence______S___in__S_was_a_tau`
`static SubLString`	`$str145$Sentence______S___in__S_was_a_con`
`static SubLString`	`$str146$Sentence__S_in_mt__S_is_not_in_th`
`static SubLString`	`$str148$Sentence__S_in_mt__S_is_not_local`
`static SubLString`	`$str152$Unassert_the_assertions_canonical`
`static SubLString`	`$str157$Expected_a_support__got__S`
`static SubLString`	`$str159$Expected__forward_or__backward__g`
`static SubLString`	`$str163$Support__S_was_malformed`
`static SubLString`	`$str166$Support__S_is_not_currently_valid`
`static SubLString`	`$str171$Remove_all_arguments_for_the_FORM`
`static SubLString`	`$str175$Ask_for_bindings_for_free_variabl`
`static SubLString`	`$str177$Expected_a_formula__got__S`
`static SubLString`	`$str179$Expected_an_integer__got__S`
`static SubLString`	`$str185$Continue_the_last_ask_that_was_pe`
`static SubLString`	`$str187$fi_continue_last_ask_int_is_depre`
`static SubLString`	`$str188$fi_ask_status_is_deprecated__use_`
`static SubLString`	`$str191$Return_a_status_as_to_how_the_las`
`static SubLString`	`$str193$fi_ask_status_int_is_deprecated__`
`static SubLString`	`$str196$Reconsider_all_arguments_for_FORM`
`static SubLString`	`$str20$HYP`
`static SubLString`	`$str200$Reconsider_all_arguments_for_all_`
`static SubLString`	`$str204$Reconsider_all_arguments_for_all_`
`static SubLString`	`$str205$Expected_an_integer_0_5__got__S`
`static SubLString`	`$str209$Reconsider_all_arguments_involvin`
`static SubLString`	`$str23$Return_a_description_of_the_warni`
`static SubLString`	`$str231$Expected_a_symbol__got__S`
`static SubLString`	`$str233$Parameter__S_is_not_bound`
`static SubLString`	`$str237$Expected_a_microtheory__got__S`
`static SubLString`	`$str238$Expected_a_term__got__S`
`static SubLString`	`$str27$Return_a_description_of_the_error`
`static SubLString`	`$str31$Return_the_constant_indentified_b`
`static SubLString`	`$str34$Expected_a_string__got__S`
`static SubLString`	`$str36$_S_is_not_a_valid_name_for_a_cons`
`static SubLString`	`$str40$Return_a_list_of_constants_whose_`
`static SubLString`	`$str44$Create_a_new_constant_with_NAME__`
`static SubLString`	`$str48$NAME_clash_for__S___renaming_to__`
`static SubLString`	`$str49$Expected_an_external_ID__got__S`
`static SubLString`	`$str51$Already_a_constant_with_id__A`
`static SubLString`	`$str53$Return_constant_with_NAME_if_it_i`
`static SubLString`	`$str6$_S`
`static SubLString`	`$str73$SKF__a`
`static SubLString`	`$str74$0123456789`
`static SubLString`	`$str85$Could_not_merge_assertion_onto_te`
`static SubLString`	`$str90$Kill_FORT_and_all_its_uses_from_t`
`static SubLString`	`$str92$Constant__S_is_merely_an_empty_sh`
`static SubLString`	`$str96$Change_name_of_CONSTANT_to_NAME__`
`static SubLString`	`$str97$Expected_a_constant__got__S`
`static SubLString`	`$str99$Constant__S_is_already_named__A`
`static SubLSymbol`	`$sym1$CLET`
`static SubLSymbol`	`$sym101$FI_LOOKUP`
`static SubLSymbol`	`$sym106$ASSERTION_FI_FORMULA`
`static SubLSymbol`	`$sym109$FI_ASSERT`
`static SubLSymbol`	`$sym11$QUOTE`
`static SubLSymbol`	`$sym123$OPAQUE_ARG_WRT_QUOTING_NOT_COUNTING_LOGICAL_OPS_`
`static SubLSymbol`	`$sym124$FAST_SKOLEM_NAT_`
`static SubLSymbol`	`$sym130$CNF_P`
`static SubLSymbol`	`$sym14$FI_CREATE`
`static SubLSymbol`	`$sym142$FI_UNASSERT`
`static SubLSymbol`	`$sym15$FI_FIND_OR_CREATE`
`static SubLSymbol`	`$sym150$FI_EDIT`
`static SubLSymbol`	`$sym155$ARGUMENT_TV`
`static SubLSymbol`	`$sym168$RELEVANT_MT_IS_GENL_MT`
`static SubLSymbol`	`$sym170$FI_BLAST`
`static SubLSymbol`	`$sym173$FI_ASK`
`static SubLSymbol`	`$sym18$FI_HYPOTHESIZE`
`static SubLSymbol`	`$sym182$FI_CONTINUE_LAST_ASK`
`static SubLSymbol`	`$sym186$FI_CONTINUE_LAST_ASK_INT`
`static SubLSymbol`	`$sym189$FI_ASK_STATUS`
`static SubLSymbol`	`$sym192$FI_ASK_STATUS_INT`
`static SubLSymbol`	`$sym195$FI_TMS_RECONSIDER_FORMULA`
`static SubLSymbol`	`$sym198$FI_TMS_RECONSIDER_MT`
`static SubLSymbol`	`$sym202$FI_TMS_RECONSIDER_GAFS`
`static SubLSymbol`	`$sym207$FI_TMS_RECONSIDER_TERM`
`static SubLSymbol`	`$sym217$CONSTANT_P`
`static SubLSymbol`	`$sym22$FI_GET_WARNING`
`static SubLSymbol`	`$sym239$CAR`
`static SubLSymbol`	`$sym240$CDR`
`static SubLSymbol`	`$sym241$KB_VAR_LIST_`
`static SubLSymbol`	`$sym246$CACHED_FI_CANONICALIZE_GAF`
`static SubLSymbol`	`$sym247$_CACHED_FI_CANONICALIZE_GAF_CACHING_STATE_`
`static SubLSymbol`	`$sym251$FIRST`
`static SubLSymbol`	`$sym252$VARIABLE_P`
`static SubLSymbol`	`$sym253$DEFAULT_EL_VAR_FOR_HL_VAR`
`static SubLSymbol`	`$sym254$ASSERTION_FI_IST_FORMULA`
`static SubLSymbol`	`$sym26$FI_GET_ERROR`
`static SubLSymbol`	`$sym29$FI_FIND`
`static SubLSymbol`	`$sym3$_FI_WARNING_`
`static SubLSymbol`	`$sym38$FI_COMPLETE`
`static SubLSymbol`	`$sym4$_FI_ERROR_`
`static SubLSymbol`	`$sym5$FORMAT`
`static SubLSymbol`	`$sym55$QUEUE_P`
`static SubLSymbol`	`$sym7$_FI_LAST_CONSTANT_`
`static SubLSymbol`	`$sym77$FORT_P`
`static SubLSymbol`	`$sym78$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym8$_FI_LAST_ASSERTIONS_ASSERTED_`
`static SubLSymbol`	`$sym82$SKOLEM_NART_`
`static SubLSymbol`	`$sym83$ASSERTION_P`
`static SubLSymbol`	`$sym84$SKOLEM_TERM_`
`static SubLSymbol`	`$sym86$CONVERT_HL_SUPPORT_TO_FI_SUPPORT`
`static SubLSymbol`	`$sym88$FI_KILL`
`static SubLSymbol`	`$sym94$FI_RENAME`
`static SubLSymbol`	$the_date$ When non-nil, this variable contains the date to be used for asserting formulas to the system.
`static SubLSymbol`	$the_second$ When non-nil, this variable contains the second to be used for asserting formulas to the system.
`static SubLFile`	`me`
`static java.lang.String`	`myName`

Fields inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
`EMPTY_SUBL_OBJECT_ARRAY`

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols
ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols

ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER

Method Summary
`static SubLObject`	`assertion_expand(SubLObject object)`
`static SubLObject`	`assertion_fi_formula(SubLObject assertion, SubLObject substitute_varsP)` Return the formula for ASSERTION which is suitable for the FI.
`static SubLObject`	`assertion_hl_formula(SubLObject assertion, SubLObject substitute_varsP)`
`static SubLObject`	`canonicalize_fi_remove_sentence(SubLObject sentence, SubLObject mt, SubLObject check_for_asserted_argumentP)`
`static SubLObject`	`canonicalize_fi_unassert_sentence(SubLObject sentence, SubLObject mt)`
`static SubLObject`	`canonicalize_unassert_hlmt(SubLObject mt)`
`static SubLObject`	`constant_timestampedP(SubLObject constant)`
`static SubLObject`	`declare_fi_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`fi_assert_int(SubLObject formula, SubLObject mt, SubLObject strength, SubLObject direction)`
`static SubLObject`	`fi_assert_update_asserted_argument(SubLObject assertion, SubLObject hl_tv, SubLObject direction)`
`static SubLObject`	`fi_canonicalize_el_term(SubLObject el_term)`
`static SubLObject`	`fi_canonicalize(SubLObject canon_info, SubLObject canon_gaf, SubLObject strength)`
`static SubLObject`	`fi_cnf_default_direction(SubLObject cnf)`
`static SubLObject`	`fi_convert_to_assert_hlmt(SubLObject el_term)`
`static SubLObject`	`fi_convert_to_fort(SubLObject el_term)`
`static SubLObject`	`fi_create_int(SubLObject name, SubLObject external_id)`
`static SubLObject`	`fi_error_signaledP()`
`static SubLObject`	`fi_find_int(SubLObject name)`
`static SubLObject`	`fi_get_error_int()`
`static SubLObject`	`fi_kill_int(SubLObject fort)`
`static SubLObject`	`fi_not_wff_assert_error(SubLObject formula, SubLObject mt)` Returns an error for why it is not wff to assert FORMULA in MT.
`static SubLObject`	`fi_rename_int(SubLObject constant, SubLObject name)`
`static SubLObject`	`fi_timestamp_assertion_int(SubLObject cyclist, SubLObject time, SubLObject why, SubLObject second)`
`static SubLObject`	`fi_timestamp_constant_int(SubLObject cyclist, SubLObject time, SubLObject why, SubLObject second)`
`static SubLObject`	`fi_unassert_int(SubLObject sentence, SubLObject mt)`
`static SubLObject`	`hl_assert_update_asserted_argument(SubLObject assertion, SubLObject hl_tv, SubLObject direction)`
`static SubLObject`	`init_fi_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`ke_purpose()`
`static SubLObject`	`perform_assert_post_processing(SubLObject assertions_found_or_created, SubLObject deductions_found_or_created)`
`static SubLObject`	`perform_fi_substitutions(SubLObject object, SubLObject symbol_variables)`
`static SubLObject`	`reset_fi_error_state()`
`static SubLObject`	`reset_fi_error()`
`static SubLObject`	`reset_fi_warning()`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_fi_file()`
`static SubLObject`	`signal_fi_error(SubLObject fi_error)`
`static SubLObject`	`signal_fi_warning(SubLObject fi_warning)`
`static SubLObject`	`the_date()`
`static SubLObject`	`the_second()`
`static SubLObject`	`timestamp_constant(SubLObject constant, SubLObject cyclist, SubLObject time, SubLObject why, SubLObject second)`

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

$fi_warning$

public static SubLSymbol $fi_warning$

$fi_error$

public static SubLSymbol $fi_error$

$fi_last_constant$

public static SubLSymbol $fi_last_constant$

$fi_last_assertions_asserted$

public static SubLSymbol $fi_last_assertions_asserted$

$current_fi_op$

public static SubLSymbol $current_fi_op$

$assume_assert_sentence_is_wfP$

public static SubLSymbol $assume_assert_sentence_is_wfP$

To be used only by cyc-assert-wff

$generate_precise_fi_wff_errorsP$

public static SubLSymbol $generate_precise_fi_wff_errorsP$

Whether to generate precise WFF errors when FI operations fail. These precise explanations will explain why the operation failed. If NIL, the error will simply state that the operation was ill-formed, but will not say why. Can be bound to NIL by callers that do not care about the reason.

$the_date$

public static SubLSymbol $the_date$

When non-nil, this variable contains the date to be used for asserting formulas to the system. NIL means that the current date is to be used.

$the_second$

public static SubLSymbol $the_second$

When non-nil, this variable contains the second to be used for asserting formulas to the system. NIL means that the current second is to be used.

$list0

public static final SubLList $list0

$sym1$CLET

public static final SubLSymbol $sym1$CLET

$list2

public static final SubLList $list2

$sym3$_FI_WARNING_

public static final SubLSymbol $sym3$_FI_WARNING_

$sym4$_FI_ERROR_

public static final SubLSymbol $sym4$_FI_ERROR_

$sym5$FORMAT

public static final SubLSymbol $sym5$FORMAT

$str6$_S

public static final SubLString $str6$_S

$sym7$_FI_LAST_CONSTANT_

public static final SubLSymbol $sym7$_FI_LAST_CONSTANT_

$sym8$_FI_LAST_ASSERTIONS_ASSERTED_

public static final SubLSymbol $sym8$_FI_LAST_ASSERTIONS_ASSERTED_

$list9

public static final SubLList $list9

$list10

public static final SubLList $list10

$sym11$QUOTE

public static final SubLSymbol $sym11$QUOTE

$str12$Bad_function_call___FIsss

public static final SubLString $str12$Bad_function_call_____FI__s__s__s

$kw13$QUEUED

public static final SubLSymbol $kw13$QUEUED

$sym14$FI_CREATE

public static final SubLSymbol $sym14$FI_CREATE

$sym15$FI_FIND_OR_CREATE

public static final SubLSymbol $sym15$FI_FIND_OR_CREATE

$list16

public static final SubLList $list16

$list17

public static final SubLList $list17

$sym18$FI_HYPOTHESIZE

public static final SubLSymbol $sym18$FI_HYPOTHESIZE

$list19

public static final SubLList $list19

$str20$HYP

public static final SubLString $str20$HYP

$kw21$GET_WARNING

public static final SubLSymbol $kw21$GET_WARNING

$sym22$FI_GET_WARNING

public static final SubLSymbol $sym22$FI_GET_WARNING

$str23$Return_a_description_of_the_warni

public static final SubLString $str23$Return_a_description_of_the_warni

$list24

public static final SubLList $list24

$kw25$GET_ERROR

public static final SubLSymbol $kw25$GET_ERROR

$sym26$FI_GET_ERROR

public static final SubLSymbol $sym26$FI_GET_ERROR

$str27$Return_a_description_of_the_error

public static final SubLString $str27$Return_a_description_of_the_error

$kw28$FIND

public static final SubLSymbol $kw28$FIND

$sym29$FI_FIND

public static final SubLSymbol $sym29$FI_FIND

$list30

public static final SubLList $list30

$str31$Return_the_constant_indentified_b

public static final SubLString $str31$Return_the_constant_indentified_b

$list32

public static final SubLList $list32

$kw33$ARG_ERROR

public static final SubLSymbol $kw33$ARG_ERROR

$str34$Expected_a_stringgotS

public static final SubLString $str34$Expected_a_string__got__S

$kw35$INVALID_NAME

public static final SubLSymbol $kw35$INVALID_NAME

$str36$_S_is_not_a_valid_name_for_a_cons

public static final SubLString $str36$_S_is_not_a_valid_name_for_a_cons

$kw37$COMPLETE

public static final SubLSymbol $kw37$COMPLETE

$sym38$FI_COMPLETE

public static final SubLSymbol $sym38$FI_COMPLETE

$list39

public static final SubLList $list39

$str40$Return_a_list_of_constants_whose_

public static final SubLString $str40$Return_a_list_of_constants_whose_

$list41

public static final SubLList $list41

$kw42$CREATE

public static final SubLSymbol $kw42$CREATE

$list43

public static final SubLList $list43

$str44$Create_a_new_constant_with_NAME__

public static final SubLString $str44$Create_a_new_constant_with_NAME__

$list45

public static final SubLList $list45

$kw46$UNNAMED

public static final SubLSymbol $kw46$UNNAMED

$kw47$NAME_CLASH

public static final SubLSymbol $kw47$NAME_CLASH

$str48$NAME_clash_forS_renaming_to__

public static final SubLString $str48$NAME_clash_for__S___renaming_to__

$str49$Expected_an_external_IDgotS

public static final SubLString $str49$Expected_an_external_ID__got__S

$kw50$ID_CLASH

public static final SubLSymbol $kw50$ID_CLASH

$str51$Already_a_constant_with_id__A

public static final SubLString $str51$Already_a_constant_with_id__A

$kw52$FIND_OR_CREATE

public static final SubLSymbol $kw52$FIND_OR_CREATE

$str53$Return_constant_with_NAME_if_it_i

public static final SubLString $str53$Return_constant_with_NAME_if_it_i

$kw54$CREATE_SKOLEM

public static final SubLSymbol $kw54$CREATE_SKOLEM

$sym55$QUEUE_P

public static final SubLSymbol $sym55$QUEUE_P

$const56$isa

public static final SubLObject $const56$isa

$kw57$MONOTONIC

public static final SubLSymbol $kw57$MONOTONIC

$const58$arityMin

public static final SubLObject $const58$arityMin

$const59$arity

public static final SubLObject $const59$arity

$const60$arg1Isa

public static final SubLObject $const60$arg1Isa

$const61$arg2Isa

public static final SubLObject $const61$arg2Isa

$const62$arg3Isa

public static final SubLObject $const62$arg3Isa

$const63$arg4Isa

public static final SubLObject $const63$arg4Isa

$const64$arg5Isa

public static final SubLObject $const64$arg5Isa

$const65$resultIsa

public static final SubLObject $const65$resultIsa

$const66$resultIsaArg

public static final SubLObject $const66$resultIsaArg

$const67$CollectionDenotingFunction

public static final SubLObject $const67$CollectionDenotingFunction

$list68

public static final SubLList $list68

$const69$resultGenl

public static final SubLObject $const69$resultGenl

$const70$SubcollectionDenotingFunction

public static final SubLObject $const70$SubcollectionDenotingFunction

$list71

public static final SubLList $list71

$const72$resultGenlArg

public static final SubLObject $const72$resultGenlArg

$str73$SKF__a

public static final SubLString $str73$SKF__a

$str74$0123456789

public static final SubLString $str74$0123456789

$kw75$MERGE

public static final SubLSymbol $kw75$MERGE

$list76

public static final SubLList $list76

$sym77$FORT_P

public static final SubLSymbol $sym77$FORT_P

$sym78$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym78$RELEVANT_MT_IS_EVERYTHING

$const79$EverythingPSC

public static final SubLObject $const79$EverythingPSC

$const80$genls

public static final SubLObject $const80$genls

$const81$termOfUnit

public static final SubLObject $const81$termOfUnit

$sym82$SKOLEM_NART_

public static final SubLSymbol $sym82$SKOLEM_NART_

$sym83$ASSERTION_P

public static final SubLSymbol $sym83$ASSERTION_P

$sym84$SKOLEM_TERM_

public static final SubLSymbol $sym84$SKOLEM_TERM_

$str85$Could_not_merge_assertion_onto_te

public static final SubLString $str85$Could_not_merge_assertion_onto_te

$sym86$CONVERT_HL_SUPPORT_TO_FI_SUPPORT

public static final SubLSymbol $sym86$CONVERT_HL_SUPPORT_TO_FI_SUPPORT

$kw87$KILL

public static final SubLSymbol $kw87$KILL

$sym88$FI_KILL

public static final SubLSymbol $sym88$FI_KILL

$list89

public static final SubLList $list89

$str90$Kill_FORT_and_all_its_uses_from_t

public static final SubLString $str90$Kill_FORT_and_all_its_uses_from_t

$list91

public static final SubLList $list91

$str92$Constant__S_is_merely_an_empty_sh

public static final SubLString $str92$Constant__S_is_merely_an_empty_sh

$kw93$RENAME

public static final SubLSymbol $kw93$RENAME

$sym94$FI_RENAME

public static final SubLSymbol $sym94$FI_RENAME

$list95

public static final SubLList $list95

$str96$Change_name_of_CONSTANT_to_NAME__

public static final SubLString $str96$Change_name_of_CONSTANT_to_NAME__

$str97$Expected_a_constantgotS

public static final SubLString $str97$Expected_a_constant__got__S

$kw98$ALREADY_HAS_NAME

public static final SubLSymbol $kw98$ALREADY_HAS_NAME

$str99$Constant__S_is_already_named__A

public static final SubLString $str99$Constant__S_is_already_named__A

$kw100$LOOKUP

public static final SubLSymbol $kw100$LOOKUP

$sym101$FI_LOOKUP

public static final SubLSymbol $sym101$FI_LOOKUP

$list102

public static final SubLList $list102

$str103$Returns_two_values_when_looking_u

public static final SubLString $str103$Returns_two_values_when_looking_u

$list104

public static final SubLList $list104

$str105$Expected_a_consgotS

public static final SubLString $str105$Expected_a_cons__got__S

$sym106$ASSERTION_FI_FORMULA

public static final SubLSymbol $sym106$ASSERTION_FI_FORMULA

$kw107$DEFAULT

public static final SubLSymbol $kw107$DEFAULT

$kw108$ASSERT

public static final SubLSymbol $kw108$ASSERT

$sym109$FI_ASSERT

public static final SubLSymbol $sym109$FI_ASSERT

$list110

public static final SubLList $list110

$str111$Assert_the_FORMULA_in_the_specifi

public static final SubLString $str111$Assert_the_FORMULA_in_the_specifi

$str112$Expected__default_ormonotonic

public static final SubLString $str112$Expected__default_or__monotonic__

$str113$Expected_a_directiongotS

public static final SubLString $str113$Expected_a_direction__got__S

$const114$True

public static final SubLObject $const114$True

$kw115$TAUTOLOGY

public static final SubLSymbol $kw115$TAUTOLOGY

$str116$Formula____S_in__S_was_a_taut

public static final SubLString $str116$Formula______S___in__S_was_a_taut

$const117$False

public static final SubLObject $const117$False

$kw118$CONTRADICTION

public static final SubLSymbol $kw118$CONTRADICTION

$str119$Formula____S_in__S_was_a_cont

public static final SubLString $str119$Formula______S___in__S_was_a_cont

$list120

public static final SubLList $list120

$kw121$COULD_NOT_ASSERT

public static final SubLSymbol $kw121$COULD_NOT_ASSERT

$str122$Unable_to_assert_formulaSin__

public static final SubLString $str122$Unable_to_assert_formula__S__in__

$sym123$OPAQUE_ARG_WRT_QUOTING_NOT_COUNTING_LOGICAL_OPS_

public static final SubLSymbol $sym123$OPAQUE_ARG_WRT_QUOTING_NOT_COUNTING_LOGICAL_OPS_

$sym124$FAST_SKOLEM_NAT_

public static final SubLSymbol $sym124$FAST_SKOLEM_NAT_

$const125$skolem

public static final SubLObject $const125$skolem

$str126$Found_a___skolem_assertion_with_m

public static final SubLString $str126$Found_a___skolem_assertion_with_m

$str127$Found_a___skolem_assertion_with_a

public static final SubLString $str127$Found_a___skolem_assertion_with_a

$str128$Defining_assertions_fors_s__d

public static final SubLString $str128$Defining_assertions_for__s___s__d

$list129

public static final SubLList $list129

$sym130$CNF_P

public static final SubLSymbol $sym130$CNF_P

$kw131$BACKWARD

public static final SubLSymbol $kw131$BACKWARD

$kw132$FORWARD

public static final SubLSymbol $kw132$FORWARD

$kw133$FORMULA_NOT_WELL_FORMED

public static final SubLSymbol $kw133$FORMULA_NOT_WELL_FORMED

$str134$Formula____S_was_not_well_for

public static final SubLString $str134$Formula______S___was_not_well_for

$str135$Formula____S_was_not_well_for

public static final SubLString $str135$Formula______S___was_not_well_for

$list136

public static final SubLList $list136

$kw137$REASSERT

public static final SubLSymbol $kw137$REASSERT

$list138

public static final SubLList $list138

$kw139$ASSERTION_NOT_PRESENT

public static final SubLSymbol $kw139$ASSERTION_NOT_PRESENT

$str140$Formula__S_in_mt__S_is_not_in_the

public static final SubLString $str140$Formula__S_in_mt__S_is_not_in_the

$kw141$UNASSERT

public static final SubLSymbol $kw141$UNASSERT

$sym142$FI_UNASSERT

public static final SubLSymbol $sym142$FI_UNASSERT

$str143$Remove_the_assertions_canonicaliz

public static final SubLString $str143$Remove_the_assertions_canonicaliz

$str144$Sentence____S_in__S_was_a_tau

public static final SubLString $str144$Sentence______S___in__S_was_a_tau

$str145$Sentence____S_in__S_was_a_con

public static final SubLString $str145$Sentence______S___in__S_was_a_con

$str146$Sentence__S_in_mt__S_is_not_in_th

public static final SubLString $str146$Sentence__S_in_mt__S_is_not_in_th

$kw147$ASSERTION_NOT_LOCAL

public static final SubLSymbol $kw147$ASSERTION_NOT_LOCAL

$str148$Sentence__S_in_mt__S_is_not_local

public static final SubLString $str148$Sentence__S_in_mt__S_is_not_local

$kw149$EDIT

public static final SubLSymbol $kw149$EDIT

$sym150$FI_EDIT

public static final SubLSymbol $sym150$FI_EDIT

$list151

public static final SubLList $list151

$str152$Unassert_the_assertions_canonical

public static final SubLString $str152$Unassert_the_assertions_canonical

$kw153$JUSTIFY

public static final SubLSymbol $kw153$JUSTIFY

$list154

public static final SubLList $list154

$sym155$ARGUMENT_TV

public static final SubLSymbol $sym155$ARGUMENT_TV

$kw156$ADD_ARGUMENT

public static final SubLSymbol $kw156$ADD_ARGUMENT

$str157$Expected_a_supportgotS

public static final SubLString $str157$Expected_a_support__got__S

$list158

public static final SubLList $list158

$str159$Expected__forward_orbackwardg

public static final SubLString $str159$Expected__forward_or__backward__g

$kw160$FALSE

public static final SubLSymbol $kw160$FALSE

$list161

public static final SubLList $list161

$kw162$SUPPORT_MALFORMED

public static final SubLSymbol $kw162$SUPPORT_MALFORMED

$str163$Support__S_was_malformed

public static final SubLString $str163$Support__S_was_malformed

$kw164$TRUE

public static final SubLSymbol $kw164$TRUE

$kw165$SUPPORT_INVALID

public static final SubLSymbol $kw165$SUPPORT_INVALID

$str166$Support__S_is_not_currently_valid

public static final SubLString $str166$Support__S_is_not_currently_valid

$kw167$REMOVE_ARGUMENT

public static final SubLSymbol $kw167$REMOVE_ARGUMENT

$sym168$RELEVANT_MT_IS_GENL_MT

public static final SubLSymbol $sym168$RELEVANT_MT_IS_GENL_MT

$kw169$BLAST

public static final SubLSymbol $kw169$BLAST

$sym170$FI_BLAST

public static final SubLSymbol $sym170$FI_BLAST

$str171$Remove_all_arguments_for_the_FORM

public static final SubLString $str171$Remove_all_arguments_for_the_FORM

$kw172$ASK

public static final SubLSymbol $kw172$ASK

$sym173$FI_ASK

public static final SubLSymbol $sym173$FI_ASK

$list174

public static final SubLList $list174

$str175$Ask_for_bindings_for_free_variabl

public static final SubLString $str175$Ask_for_bindings_for_free_variabl

$list176

public static final SubLList $list176

$str177$Expected_a_formulagotS

public static final SubLString $str177$Expected_a_formula__got__S

$list178

public static final SubLList $list178

$str179$Expected_an_integergotS

public static final SubLString $str179$Expected_an_integer__got__S

$const180$ist

public static final SubLObject $const180$ist

$kw181$CONTINUE_LAST_ASK

public static final SubLSymbol $kw181$CONTINUE_LAST_ASK

$sym182$FI_CONTINUE_LAST_ASK

public static final SubLSymbol $sym182$FI_CONTINUE_LAST_ASK

$list183

public static final SubLList $list183

$list184

public static final SubLList $list184

$str185$Continue_the_last_ask_that_was_pe

public static final SubLString $str185$Continue_the_last_ask_that_was_pe

$sym186$FI_CONTINUE_LAST_ASK_INT

public static final SubLSymbol $sym186$FI_CONTINUE_LAST_ASK_INT

$str187$fi_continue_last_ask_int_is_depre

public static final SubLString $str187$fi_continue_last_ask_int_is_depre

$str188$fi_ask_status_is_deprecated__use_

public static final SubLString $str188$fi_ask_status_is_deprecated__use_

$sym189$FI_ASK_STATUS

public static final SubLSymbol $sym189$FI_ASK_STATUS

$list190

public static final SubLList $list190

$str191$Return_a_status_as_to_how_the_las

public static final SubLString $str191$Return_a_status_as_to_how_the_las

$sym192$FI_ASK_STATUS_INT

public static final SubLSymbol $sym192$FI_ASK_STATUS_INT

$str193$fi_ask_status_int_is_deprecated__

public static final SubLString $str193$fi_ask_status_int_is_deprecated__

$kw194$TMS_RECONSIDER_FORMULA

public static final SubLSymbol $kw194$TMS_RECONSIDER_FORMULA

$sym195$FI_TMS_RECONSIDER_FORMULA

public static final SubLSymbol $sym195$FI_TMS_RECONSIDER_FORMULA

$str196$Reconsider_all_arguments_for_FORM

public static final SubLString $str196$Reconsider_all_arguments_for_FORM

$kw197$TMS_RECONSIDER_MT

public static final SubLSymbol $kw197$TMS_RECONSIDER_MT

$sym198$FI_TMS_RECONSIDER_MT

public static final SubLSymbol $sym198$FI_TMS_RECONSIDER_MT

$list199

public static final SubLList $list199

$str200$Reconsider_all_arguments_for_all_

public static final SubLString $str200$Reconsider_all_arguments_for_all_

$kw201$TMS_RECONSIDER_GAFS

public static final SubLSymbol $kw201$TMS_RECONSIDER_GAFS

$sym202$FI_TMS_RECONSIDER_GAFS

public static final SubLSymbol $sym202$FI_TMS_RECONSIDER_GAFS

$list203

public static final SubLList $list203

$str204$Reconsider_all_arguments_for_all_

public static final SubLString $str204$Reconsider_all_arguments_for_all_

$str205$Expected_an_integer_0_5gotS

public static final SubLString $str205$Expected_an_integer_0_5__got__S

$kw206$TMS_RECONSIDER_TERM

public static final SubLSymbol $kw206$TMS_RECONSIDER_TERM

$sym207$FI_TMS_RECONSIDER_TERM

public static final SubLSymbol $sym207$FI_TMS_RECONSIDER_TERM

$list208

public static final SubLList $list208

$str209$Reconsider_all_arguments_involvin

public static final SubLString $str209$Reconsider_all_arguments_involvin

$kw210$TIMESTAMP_CONSTANT

public static final SubLSymbol $kw210$TIMESTAMP_CONSTANT

$list211

public static final SubLList $list211

$list212

public static final SubLList $list212

$list213

public static final SubLList $list213

$list214

public static final SubLList $list214

$list215

public static final SubLList $list215

$list216

public static final SubLList $list216

$sym217$CONSTANT_P

public static final SubLSymbol $sym217$CONSTANT_P

$const218$myCreator

public static final SubLObject $const218$myCreator

$const219$myCreationTime

public static final SubLObject $const219$myCreationTime

$const220$myCreationPurpose

public static final SubLObject $const220$myCreationPurpose

$const221$myCreationSecond

public static final SubLObject $const221$myCreationSecond

$kw222$STRENGTH

public static final SubLSymbol $kw222$STRENGTH

$kw223$DIRECTION

public static final SubLSymbol $kw223$DIRECTION

$const224$BookkeepingMt

public static final SubLObject $const224$BookkeepingMt

$kw225$TIMESTAMP_ASSERTION

public static final SubLSymbol $kw225$TIMESTAMP_ASSERTION

$list226

public static final SubLList $list226

$kw227$REMOVE_TIMESTAMP

public static final SubLSymbol $kw227$REMOVE_TIMESTAMP

$kw228$RENAME_VARIABLES

public static final SubLSymbol $kw228$RENAME_VARIABLES

$list229

public static final SubLList $list229

$kw230$GET_PARAMETER

public static final SubLSymbol $kw230$GET_PARAMETER

$str231$Expected_a_symbolgotS

public static final SubLString $str231$Expected_a_symbol__got__S

$kw232$UNBOUND

public static final SubLSymbol $kw232$UNBOUND

$str233$Parameter__S_is_not_bound

public static final SubLString $str233$Parameter__S_is_not_bound

$kw234$SET_PARAMETER

public static final SubLSymbol $kw234$SET_PARAMETER

$kw235$EVAL

public static final SubLSymbol $kw235$EVAL

$kw236$LOCAL_EVAL

public static final SubLSymbol $kw236$LOCAL_EVAL

$str237$Expected_a_microtheorygotS

public static final SubLString $str237$Expected_a_microtheory__got__S

$str238$Expected_a_termgotS

public static final SubLString $str238$Expected_a_term__got__S

$sym239$CAR

public static final SubLSymbol $sym239$CAR

$sym240$CDR

public static final SubLSymbol $sym240$CDR

$sym241$KB_VAR_LIST_

public static final SubLSymbol $sym241$KB_VAR_LIST_

$kw242$TRUE_MON

public static final SubLSymbol $kw242$TRUE_MON

$kw243$TRUE_DEF

public static final SubLSymbol $kw243$TRUE_DEF

$kw244$FALSE_MON

public static final SubLSymbol $kw244$FALSE_MON

$kw245$FALSE_DEF

public static final SubLSymbol $kw245$FALSE_DEF

$sym246$CACHED_FI_CANONICALIZE_GAF

public static final SubLSymbol $sym246$CACHED_FI_CANONICALIZE_GAF

$sym247$_CACHED_FI_CANONICALIZE_GAF_CACHING_STATE_

public static final SubLSymbol $sym247$_CACHED_FI_CANONICALIZE_GAF_CACHING_STATE_

$int248$100

public static final SubLInteger $int248$100

$kw249$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw249$_MEMOIZED_ITEM_NOT_FOUND_

$list250

public static final SubLList $list250

$sym251$FIRST

public static final SubLSymbol $sym251$FIRST

$sym252$VARIABLE_P

public static final SubLSymbol $sym252$VARIABLE_P

$sym253$DEFAULT_EL_VAR_FOR_HL_VAR

public static final SubLSymbol $sym253$DEFAULT_EL_VAR_FOR_HL_VAR

$sym254$ASSERTION_FI_IST_FORMULA

public static final SubLSymbol $sym254$ASSERTION_FI_IST_FORMULA

Method Detail

reset_fi_error_state

public static final SubLObject reset_fi_error_state()

reset_fi_warning

public static final SubLObject reset_fi_warning()

signal_fi_warning

public static final SubLObject signal_fi_warning(SubLObject fi_warning)

reset_fi_error

public static final SubLObject reset_fi_error()

signal_fi_error

public static final SubLObject signal_fi_error(SubLObject fi_error)

fi_error_signaledP

public static final SubLObject fi_error_signaledP()

fi_get_error_int

public static final SubLObject fi_get_error_int()

fi_find_int

public static final SubLObject fi_find_int(SubLObject name)

fi_create_int

public static final SubLObject fi_create_int(SubLObject name,
                                             SubLObject external_id)

fi_kill_int

public static final SubLObject fi_kill_int(SubLObject fort)

fi_rename_int

public static final SubLObject fi_rename_int(SubLObject constant,
                                             SubLObject name)

fi_assert_int

public static final SubLObject fi_assert_int(SubLObject formula,
                                             SubLObject mt,
                                             SubLObject strength,
                                             SubLObject direction)

perform_assert_post_processing

public static final SubLObject perform_assert_post_processing(SubLObject assertions_found_or_created,
                                                              SubLObject deductions_found_or_created)

fi_cnf_default_direction

public static final SubLObject fi_cnf_default_direction(SubLObject cnf)

fi_not_wff_assert_error

public static final SubLObject fi_not_wff_assert_error(SubLObject formula,
                                                       SubLObject mt)

Returns an error for why it is not wff to assert FORMULA in MT.

fi_assert_update_asserted_argument

public static final SubLObject fi_assert_update_asserted_argument(SubLObject assertion,
                                                                  SubLObject hl_tv,
                                                                  SubLObject direction)

hl_assert_update_asserted_argument

public static final SubLObject hl_assert_update_asserted_argument(SubLObject assertion,
                                                                  SubLObject hl_tv,
                                                                  SubLObject direction)

fi_unassert_int

public static final SubLObject fi_unassert_int(SubLObject sentence,
                                               SubLObject mt)

canonicalize_fi_unassert_sentence

public static final SubLObject canonicalize_fi_unassert_sentence(SubLObject sentence,
                                                                 SubLObject mt)

canonicalize_fi_remove_sentence

public static final SubLObject canonicalize_fi_remove_sentence(SubLObject sentence,
                                                               SubLObject mt,
                                                               SubLObject check_for_asserted_argumentP)

Returns:: 0 canon-versions

canonicalize_unassert_hlmt

public static final SubLObject canonicalize_unassert_hlmt(SubLObject mt)

fi_timestamp_constant_int

public static final SubLObject fi_timestamp_constant_int(SubLObject cyclist,
                                                         SubLObject time,
                                                         SubLObject why,
                                                         SubLObject second)

constant_timestampedP

public static final SubLObject constant_timestampedP(SubLObject constant)

timestamp_constant

public static final SubLObject timestamp_constant(SubLObject constant,
                                                  SubLObject cyclist,
                                                  SubLObject time,
                                                  SubLObject why,
                                                  SubLObject second)

fi_timestamp_assertion_int

public static final SubLObject fi_timestamp_assertion_int(SubLObject cyclist,
                                                          SubLObject time,
                                                          SubLObject why,
                                                          SubLObject second)

ke_purpose

public static final SubLObject ke_purpose()

the_date

public static final SubLObject the_date()

the_second

public static final SubLObject the_second()

fi_convert_to_assert_hlmt

public static final SubLObject fi_convert_to_assert_hlmt(SubLObject el_term)

fi_convert_to_fort

public static final SubLObject fi_convert_to_fort(SubLObject el_term)

fi_canonicalize_el_term

public static final SubLObject fi_canonicalize_el_term(SubLObject el_term)

fi_canonicalize

public static final SubLObject fi_canonicalize(SubLObject canon_info,
                                               SubLObject canon_gaf,
                                               SubLObject strength)

assertion_fi_formula

public static final SubLObject assertion_fi_formula(SubLObject assertion,
                                                    SubLObject substitute_varsP)

Return the formula for ASSERTION which is suitable for the FI. If SUBSTITUTE-VARS? is non-nil, then the original variable names are substituted as well.

assertion_hl_formula

public static final SubLObject assertion_hl_formula(SubLObject assertion,
                                                    SubLObject substitute_varsP)

perform_fi_substitutions

public static final SubLObject perform_fi_substitutions(SubLObject object,
                                                        SubLObject symbol_variables)

assertion_expand

public static final SubLObject assertion_expand(SubLObject object)

declare_fi_file

public static final SubLObject declare_fi_file()

init_fi_file

public static final SubLObject init_fi_file()

setup_fi_file

public static final SubLObject setup_fi_file()

declareFunctions

public void declareFunctions()

Description copied from interface: SubLFile

Declares the mapping between functions and symbols for all named functions defined in the file. Like CRTL define.

initializeVariables

public void initializeVariables()

Description copied from interface: SubLFile

Initializes all global variables and private internal variables for constants defined in the file. Like CRTL init.

runTopLevelForms

public void runTopLevelForms()

Description copied from interface: SubLFile

Runs all top-level forms in order. Like CRTL setup.

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl Class fi

me

myName

$fi_warning$

$fi_error$

$fi_last_constant$

$fi_last_assertions_asserted$

$current_fi_op$

$assume_assert_sentence_is_wfP$

$generate_precise_fi_wff_errorsP$

$the_date$

$the_second$

$list0

$sym1$CLET

$list2

$sym3$_FI_WARNING_

$sym4$_FI_ERROR_

$sym5$FORMAT

$str6$_S

$sym7$_FI_LAST_CONSTANT_

$sym8$_FI_LAST_ASSERTIONS_ASSERTED_

$list9

$list10

$sym11$QUOTE

$str12$Bad_function_call_____FI__s__s__s

$kw13$QUEUED

$sym14$FI_CREATE

$sym15$FI_FIND_OR_CREATE

$list16

$list17

$sym18$FI_HYPOTHESIZE

$list19

$str20$HYP

$kw21$GET_WARNING

$sym22$FI_GET_WARNING

$str23$Return_a_description_of_the_warni

$list24

$kw25$GET_ERROR

$sym26$FI_GET_ERROR

$str27$Return_a_description_of_the_error

$kw28$FIND

$sym29$FI_FIND

$list30

$str31$Return_the_constant_indentified_b

$list32

$kw33$ARG_ERROR

$str34$Expected_a_string__got__S

$kw35$INVALID_NAME

$str36$_S_is_not_a_valid_name_for_a_cons

$kw37$COMPLETE

$sym38$FI_COMPLETE

$list39

$str40$Return_a_list_of_constants_whose_

$list41

$kw42$CREATE

$list43

$str44$Create_a_new_constant_with_NAME__

$list45

$kw46$UNNAMED

$kw47$NAME_CLASH

$str48$NAME_clash_for__S___renaming_to__

$str49$Expected_an_external_ID__got__S

$kw50$ID_CLASH

$str51$Already_a_constant_with_id__A

$kw52$FIND_OR_CREATE

$str53$Return_constant_with_NAME_if_it_i

$kw54$CREATE_SKOLEM

$sym55$QUEUE_P

$const56$isa

$kw57$MONOTONIC

$const58$arityMin

$const59$arity

$const60$arg1Isa

$const61$arg2Isa

$const62$arg3Isa

$const63$arg4Isa

$const64$arg5Isa

$const65$resultIsa

$const66$resultIsaArg

$const67$CollectionDenotingFunction

com.cyc.cycjava.cycl
Class fi

$str12$Bad_function_call___FIsss

$str34$Expected_a_stringgotS

$str48$NAME_clash_forS_renaming_to__

$str49$Expected_an_external_IDgotS

$str97$Expected_a_constantgotS

$str105$Expected_a_consgotS

$str112$Expected__default_ormonotonic

$str113$Expected_a_directiongotS

$str116$Formula____S_in__S_was_a_taut

$str119$Formula____S_in__S_was_a_cont

$str122$Unable_to_assert_formulaSin__

$str128$Defining_assertions_fors_s__d

$str134$Formula____S_was_not_well_for

$str135$Formula____S_was_not_well_for