assertions

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 assertions_high

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class assertions_high
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`assertions_high.$assertion_formula$UnaryFunction`
`static class`	`assertions_high.$assertion_mt$UnaryFunction`
`static class`	`assertions_high.$gaf_formula$UnaryFunction`
`static class`	`assertions_high.$invalid_assertionP$BinaryFunction`
`static class`	`assertions_high.$invalid_assertionP$UnaryFunction`
`static class`	`assertions_high.$valid_assertion$BinaryFunction`
`static class`	`assertions_high.$valid_assertion$UnaryFunction`

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

Field Summary
`static SubLSymbol`	$assertion_dump_id_table$
`static SubLObject`	`$const49$ist`
`static SubLInteger`	`$int136$500`
`static SubLSymbol`	`$kw10$SENSE`
`static SubLSymbol`	`$kw11$PREDICATE`
`static SubLSymbol`	`$kw114$SKIP`
`static SubLSymbol`	`$kw118$IGNORE_ERRORS_TARGET`
`static SubLSymbol`	`$kw2$ALLOW_OTHER_KEYS`
`static SubLSymbol`	`$kw3$DONE`
`static SubLSymbol`	`$kw60$GAF`
`static SubLSymbol`	`$kw61$RULE`
`static SubLSymbol`	`$kw66$FALSE`
`static SubLSymbol`	`$kw84$FORWARD`
`static SubLSymbol`	`$kw87$BACKWARD`
`static SubLSymbol`	`$kw90$CODE`
`static SubLList`	`$list0`
`static SubLList`	`$list1`
`static SubLList`	`$list106`
`static SubLList`	`$list108`
`static SubLList`	`$list116`
`static SubLList`	`$list132`
`static SubLList`	`$list138`
`static SubLList`	`$list139`
`static SubLList`	`$list22`
`static SubLList`	`$list24`
`static SubLList`	`$list25`
`static SubLList`	`$list28`
`static SubLList`	`$list31`
`static SubLList`	`$list34`
`static SubLList`	`$list37`
`static SubLList`	`$list40`
`static SubLList`	`$list45`
`static SubLList`	`$list48`
`static SubLList`	`$list54`
`static SubLList`	`$list56`
`static SubLList`	`$list57`
`static SubLList`	`$list6`
`static SubLList`	`$list64`
`static SubLList`	`$list8`
`static SubLList`	`$list83`
`static SubLList`	`$list9`
`static SubLList`	`$list95`
`static SubLList`	`$list97`
`static SubLString`	`$str112$Removing_broken_assertions__pass_`
`static SubLString`	`$str125$Return_non_nil_IFF_assertion_has_`
`static SubLString`	`$str128$Return_non_nil_IFF_assertion_has_`
`static SubLString`	`$str131$Return_the_asserted_argument_for_`
`static SubLString`	`$str134$Return_non_nil_IFF_assertion_has_`
`static SubLString`	`$str23$Return_the_cnf_of_ASSERTION______`
`static SubLString`	`$str27$Return_the_mt_of_ASSERTION_`
`static SubLString`	`$str30$Return_the_direction_of_ASSERTION`
`static SubLString`	`$str33$Return_the_current_truth_of_ASSER`
`static SubLString`	`$str36$Return_the_current_argumentation_`
`static SubLString`	`$str39$Return_the_variable_names_for_ASS`
`static SubLString`	`$str42$Returns_the_cyclist_who_asserted_`
`static SubLString`	`$str44$Returns_the_day_when_ASSERTION_wa`
`static SubLString`	`$str47$Return_a_formula_for_ASSERTION_`
`static SubLString`	`$str51$Return_a_formula_in___ist_format_`
`static SubLString`	`$str55$Return_T_iff_ASSERTION_s_formula_`
`static SubLString`	`$str59$_see_assertion_mentions_term_`
`static SubLString`	`$str68$Return_the_predicate_of_gaf_ASSER`
`static SubLString`	`$str70$Return_arg_0__the_predicate__of_t`
`static SubLString`	`$str72$Return_arg_1_of_the_gaf_ASSERTION`
`static SubLString`	`$str74$Return_arg_2_of_the_gaf_ASSERTION`
`static SubLString`	`$str76$Return_arg_3_of_the_gaf_ASSERTION`
`static SubLString`	`$str78$Return_arg_4_of_the_gaf_ASSERTION`
`static SubLString`	`$str80$Return_arg_5_of_the_gaf_ASSERTION`
`static SubLString`	`$str86$Predicate_returns_T_iff_ASSERTION`
`static SubLString`	`$str89$Predicate_returns_T_iff_ASSERTION`
`static SubLString`	`$str92$Predicate_returns_T_iff_ASSERTION`
`static SubLString`	`$str96$Return_T_iff_ASSERTION_s_current_`
`static SubLString`	`$str99$_see_assertion_has_truth_`
`static SubLSymbol`	`$sym100$INTERN_EL_VAR`
`static SubLSymbol`	`$sym101$EL_VARIABLE_P`
`static SubLSymbol`	`$sym102$VARIABLE_P`
`static SubLSymbol`	`$sym103$TL_TIMESTAMP_ASSERTED_ASSERTION`
`static SubLSymbol`	`$sym104$_TL_ASSERTION_LOOKASIDE_TABLE_`
`static SubLSymbol`	`$sym105$VALID_ASSERTION`
`static SubLSymbol`	`$sym107$INVALID_ASSERTION`
`static SubLSymbol`	`$sym109$CNF_P`
`static SubLSymbol`	`$sym110$HLMT_P`
`static SubLSymbol`	`$sym111$EL_FORMULA_P`
`static SubLSymbol`	`$sym113$STRINGP`
`static SubLSymbol`	`$sym115$CATCH_ERROR_MESSAGE_HANDLER`
`static SubLSymbol`	`$sym117$INVALID_INDEXED_TERM_`
`static SubLSymbol`	`$sym119$IGNORE_ERRORS_HANDLER`
`static SubLSymbol`	`$sym12$PREDICATE_VAR`
`static SubLSymbol`	`$sym120$ARGUMENT_P`
`static SubLSymbol`	`$sym121$ARGUMENT_EQUAL`
`static SubLSymbol`	`$sym122$NOT_EQ`
`static SubLSymbol`	`$sym123$ASSERTED_ARGUMENT_P`
`static SubLSymbol`	`$sym124$ASSERTED_ASSERTION_`
`static SubLSymbol`	`$sym126$DEDUCTION_P`
`static SubLSymbol`	`$sym127$DEDUCED_ASSERTION_`
`static SubLSymbol`	`$sym129$FORWARD_DEDUCTION_`
`static SubLSymbol`	`$sym13$CLET`
`static SubLSymbol`	`$sym130$GET_ASSERTED_ARGUMENT`
`static SubLSymbol`	`$sym133$ASSERTION_HAS_DEPENDENTS_P`
`static SubLSymbol`	`$sym135$TRUE`
`static SubLSymbol`	`$sym137$NON_NEGATIVE_INTEGER_P`
`static SubLSymbol`	`$sym14$DO_ASSERTION_LITERALS`
`static SubLSymbol`	`$sym15$PWHEN`
`static SubLSymbol`	`$sym16$ATOMIC_SENTENCE_PREDICATE`
`static SubLSymbol`	`$sym17$CNF_VAR`
`static SubLSymbol`	`$sym18$ASSERTION_VAR`
`static SubLSymbol`	`$sym19$ASSERTION_CNF`
`static SubLSymbol`	`$sym20$DO_ALL_LITS_AS_ASENTS`
`static SubLSymbol`	`$sym21$ASSERTION_P`
`static SubLSymbol`	`$sym26$ASSERTION_MT`
`static SubLSymbol`	`$sym29$ASSERTION_DIRECTION`
`static SubLSymbol`	`$sym32$ASSERTION_TRUTH`
`static SubLSymbol`	`$sym35$ASSERTION_STRENGTH`
`static SubLSymbol`	`$sym38$ASSERTION_VARIABLE_NAMES`
`static SubLSymbol`	`$sym4$DO_LIST`
`static SubLSymbol`	`$sym41$ASSERTED_BY`
`static SubLSymbol`	`$sym43$ASSERTED_WHEN`
`static SubLSymbol`	`$sym46$ASSERTION_FORMULA`
`static SubLSymbol`	`$sym5$ASSERTION_ARGUMENTS`
`static SubLSymbol`	`$sym50$ASSERTION_IST_FORMULA`
`static SubLSymbol`	`$sym52$HL_TERM_P`
`static SubLSymbol`	`$sym53$ASSERTION_MENTIONS_TERM_`
`static SubLSymbol`	`$sym58$ASSERTION_MENTIONS_TERM`
`static SubLSymbol`	`$sym62$ASSERTION_TYPE_P`
`static SubLSymbol`	`$sym63$ASSERTION_HAS_TYPE`
`static SubLSymbol`	`$sym65$GAF_ASSERTION_`
`static SubLSymbol`	`$sym67$GAF_PREDICATE`
`static SubLSymbol`	`$sym69$GAF_ARG0`
`static SubLSymbol`	`$sym7$ASSERTION_DEPENDENTS`
`static SubLSymbol`	`$sym71$GAF_ARG1`
`static SubLSymbol`	`$sym73$GAF_ARG2`
`static SubLSymbol`	`$sym75$GAF_ARG3`
`static SubLSymbol`	`$sym77$GAF_ARG4`
`static SubLSymbol`	`$sym79$GAF_ARG5`
`static SubLSymbol`	`$sym81$DIRECTION_P`
`static SubLSymbol`	`$sym82$ASSERTION_HAS_DIRECTION`
`static SubLSymbol`	`$sym85$FORWARD_ASSERTION_`
`static SubLSymbol`	`$sym88$BACKWARD_ASSERTION_`
`static SubLSymbol`	`$sym91$CODE_ASSERTION_`
`static SubLSymbol`	`$sym93$TRUTH_P`
`static SubLSymbol`	`$sym94$ASSERTION_HAS_TRUTH_`
`static SubLSymbol`	`$sym98$ASSERTION_HAS_TRUTH`
`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`	`asserted_assertionP(SubLObject assertion)` Return non-nil IFF assertion has an asserted argument.
`static SubLObject`	`asserted_by(SubLObject assertion)` Returns the cyclist who asserted ASSERTION.
`static SubLObject`	`asserted_second(SubLObject assertion)` Returns the second of the day when ASSERTION was asserted.
`static SubLObject`	`asserted_when(SubLObject assertion)` Returns the day when ASSERTION was asserted.
`static SubLObject`	`asserted_why(SubLObject assertion)` Returns the reason why ASSERTION was asserted.
`static SubLObject`	`assertion_arguments(SubLObject assertion)` Return a list of the arguments for ASSERTION.
`static SubLObject`	`assertion_cnf(SubLObject assertion)` Return the cnf of ASSERTION.
`static SubLObject`	`assertion_cons(SubLObject assertion)`
`static SubLObject`	`assertion_dependent_count(SubLObject assertion)`
`static SubLObject`	`assertion_dependents(SubLObject assertion)` Return a list of the dependents of ASSERTION.
`static SubLObject`	`assertion_direction(SubLObject assertion)` Return the direction of ASSERTION (either :backward, :forward or :code).
`static SubLObject`	`assertion_el_variables(SubLObject assertion)` Return a list of the EL variables, for ASSERTION.
`static SubLObject`	`assertion_formula(SubLObject assertion)` Return a formula for ASSERTION.
`static SubLObject`	`assertion_gaf_el_formula(SubLObject assertion)` Returns the EL formula of ASSERTION if it's a gaf, otherwise returns nil.
`static SubLObject`	`assertion_gaf_hl_formula(SubLObject assertion)`
`static SubLObject`	`assertion_has_direction(SubLObject assertion, SubLObject direction)`
`static SubLObject`	`assertion_has_directionP(SubLObject assertion, SubLObject direction)` Return T iff ASSERTION has DIRECTION as its direction.
`static SubLObject`	`assertion_has_truth(SubLObject assertion, SubLObject truth)`
`static SubLObject`	`assertion_has_truthP(SubLObject assertion, SubLObject truth)` Return T iff ASSERTION's current truth is TRUTH.
`static SubLObject`	`assertion_has_typeP(SubLObject assertion, SubLObject type)` Return T iff ASSERTION's current type is TYPE.
`static SubLObject`	`assertion_mt(SubLObject assertion)` Return the mt of ASSERTION.
`static SubLObject`	`assertion_strength(SubLObject assertion)` Return the current argumentation strength of ASSERTION -- either :monotonic, :default, or :unknown.
`static SubLObject`	`assertion_truth(SubLObject assertion)` Return the current truth of ASSERTION -- either :true :false or :unknown.
`static SubLObject`	`assertion_type(SubLObject assertion)` Return the current type of ASSERTION -- either :GAF or :RULE.
`static SubLObject`	`assertion_variable_names(SubLObject assertion)` Return the variable names for ASSERTION.
`static SubLObject`	`create_assertion_int(SubLObject cnf, SubLObject mt, SubLObject var_names, SubLObject direction)` Create a new assertion with CNF in MT.
`static SubLObject`	`create_assertion(SubLObject cnf, SubLObject mt, SubLObject var_names, SubLObject direction)` Create a new assertion with CNF in MT.
`static SubLObject`	`cyc_assertion_tv(SubLObject assertion)` Cyc has its own notion of tv (truth + strength) as a legacy of when the Cyc and HL sides were entangled.
`static SubLObject`	`declare_assertions_high_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`find_assertion_by_dump_id(SubLObject dump_id)` Return the assertion with DUMP-ID during a KB load.
`static SubLObject`	`find_or_create_assertion(SubLObject cnf, SubLObject mt, SubLObject var_names, SubLObject direction)` Return assertion in MT with CNF, if it exists -- else create it.
`static SubLObject`	`forward_assertionP(SubLObject assertion)` Predicate returns T iff ASSERTION's direction is :FORWARD.
`static SubLObject`	`forward_ruleP(SubLObject assertion)`
`static SubLObject`	`gaf_arg(SubLObject assertion, SubLObject n)` Return arg N of the gaf ASSERTION.
`static SubLObject`	`gaf_arg1(SubLObject assertion)` Return arg 1 of the gaf ASSERTION.
`static SubLObject`	`gaf_arg2(SubLObject assertion)` Return arg 2 of the gaf ASSERTION.
`static SubLObject`	`gaf_arg3(SubLObject assertion)` Return arg 3 of the gaf ASSERTION.
`static SubLObject`	`gaf_args(SubLObject assertion)` Return args of the gaf ASSERTION.
`static SubLObject`	`gaf_assertionP(SubLObject assertion)` Return T iff ASSERTION is a ground atomic formula (gaf).
`static SubLObject`	`gaf_el_formula(SubLObject assertion)` Return the formula for ASSERTION, which must be a gaf.
`static SubLObject`	`gaf_formula(SubLObject assertion)` Return the formula for ASSERTION, which must be a gaf.
`static SubLObject`	`gaf_hl_formula(SubLObject assertion)` Return the formula for ASSERTION, which must be a gaf.
`static SubLObject`	`gaf_predicate(SubLObject assertion)` Return the predicate of gaf ASSERTION.
`static SubLObject`	`get_asserted_argument(SubLObject assertion)` Return the asserted argument for ASSERTION, or nil if none present.
`static SubLObject`	`init_assertions_high_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`invalid_assertionP(SubLObject assertion, SubLObject robustP)`
`static SubLObject`	`only_argument_of_assertion_p(SubLObject assertion, SubLObject argument)`
`static SubLObject`	`possibly_assertion_cnf(SubLObject assertion)` Return the CNF of ASSERTION, or NIL if none can be found.
`static SubLObject`	`remove_assertion(SubLObject assertion)` Remove ASSERTION.
`static SubLObject`	`rule_assertionP(SubLObject assertion)` Return T iff ASSERTION is a rule, i.e.
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_assertions_high_file()`
`static SubLObject`	`timestamp_asserted_assertion_int(SubLObject assertion, SubLObject who, SubLObject when, SubLObject why, SubLObject second)`
`static SubLObject`	`timestamp_asserted_assertion(SubLObject assertion, SubLObject who, SubLObject when, SubLObject why, SubLObject second)`
`static SubLObject`	`valid_assertion(SubLObject assertion, SubLObject robustP)`

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

$assertion_dump_id_table$

public static SubLSymbol $assertion_dump_id_table$

$list0

public static final SubLList $list0

$list1

public static final SubLList $list1

$kw2$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw2$ALLOW_OTHER_KEYS

$kw3$DONE

public static final SubLSymbol $kw3$DONE

$sym4$DO_LIST

public static final SubLSymbol $sym4$DO_LIST

$sym5$ASSERTION_ARGUMENTS

public static final SubLSymbol $sym5$ASSERTION_ARGUMENTS

$list6

public static final SubLList $list6

$sym7$ASSERTION_DEPENDENTS

public static final SubLSymbol $sym7$ASSERTION_DEPENDENTS

$list8

public static final SubLList $list8

$list9

public static final SubLList $list9

$kw10$SENSE

public static final SubLSymbol $kw10$SENSE

$kw11$PREDICATE

public static final SubLSymbol $kw11$PREDICATE

$sym12$PREDICATE_VAR

public static final SubLSymbol $sym12$PREDICATE_VAR

$sym13$CLET

public static final SubLSymbol $sym13$CLET

$sym14$DO_ASSERTION_LITERALS

public static final SubLSymbol $sym14$DO_ASSERTION_LITERALS

$sym15$PWHEN

public static final SubLSymbol $sym15$PWHEN

$sym16$ATOMIC_SENTENCE_PREDICATE

public static final SubLSymbol $sym16$ATOMIC_SENTENCE_PREDICATE

$sym17$CNF_VAR

public static final SubLSymbol $sym17$CNF_VAR

$sym18$ASSERTION_VAR

public static final SubLSymbol $sym18$ASSERTION_VAR

$sym19$ASSERTION_CNF

public static final SubLSymbol $sym19$ASSERTION_CNF

$sym20$DO_ALL_LITS_AS_ASENTS

public static final SubLSymbol $sym20$DO_ALL_LITS_AS_ASENTS

$sym21$ASSERTION_P

public static final SubLSymbol $sym21$ASSERTION_P

$list22

public static final SubLList $list22

$str23$Return_the_cnf_of_ASSERTION______

public static final SubLString $str23$Return_the_cnf_of_ASSERTION______

$list24

public static final SubLList $list24

$list25

public static final SubLList $list25

$sym26$ASSERTION_MT

public static final SubLSymbol $sym26$ASSERTION_MT

$str27$Return_the_mt_of_ASSERTION_

public static final SubLString $str27$Return_the_mt_of_ASSERTION_

$list28

public static final SubLList $list28

$sym29$ASSERTION_DIRECTION

public static final SubLSymbol $sym29$ASSERTION_DIRECTION

$str30$Return_the_direction_of_ASSERTION

public static final SubLString $str30$Return_the_direction_of_ASSERTION

$list31

public static final SubLList $list31

$sym32$ASSERTION_TRUTH

public static final SubLSymbol $sym32$ASSERTION_TRUTH

$str33$Return_the_current_truth_of_ASSER

public static final SubLString $str33$Return_the_current_truth_of_ASSER

$list34

public static final SubLList $list34

$sym35$ASSERTION_STRENGTH

public static final SubLSymbol $sym35$ASSERTION_STRENGTH

$str36$Return_the_current_argumentation_

public static final SubLString $str36$Return_the_current_argumentation_

$list37

public static final SubLList $list37

$sym38$ASSERTION_VARIABLE_NAMES

public static final SubLSymbol $sym38$ASSERTION_VARIABLE_NAMES

$str39$Return_the_variable_names_for_ASS

public static final SubLString $str39$Return_the_variable_names_for_ASS

$list40

public static final SubLList $list40

$sym41$ASSERTED_BY

public static final SubLSymbol $sym41$ASSERTED_BY

$str42$Returns_the_cyclist_who_asserted_

public static final SubLString $str42$Returns_the_cyclist_who_asserted_

$sym43$ASSERTED_WHEN

public static final SubLSymbol $sym43$ASSERTED_WHEN

$str44$Returns_the_day_when_ASSERTION_wa

public static final SubLString $str44$Returns_the_day_when_ASSERTION_wa

$list45

public static final SubLList $list45

$sym46$ASSERTION_FORMULA

public static final SubLSymbol $sym46$ASSERTION_FORMULA

$str47$Return_a_formula_for_ASSERTION_

public static final SubLString $str47$Return_a_formula_for_ASSERTION_

$list48

public static final SubLList $list48

$const49$ist

public static final SubLObject $const49$ist

$sym50$ASSERTION_IST_FORMULA

public static final SubLSymbol $sym50$ASSERTION_IST_FORMULA

$str51$Return_a_formula_in___ist_format_

public static final SubLString $str51$Return_a_formula_in___ist_format_

$sym52$HL_TERM_P

public static final SubLSymbol $sym52$HL_TERM_P

$sym53$ASSERTION_MENTIONS_TERM_

public static final SubLSymbol $sym53$ASSERTION_MENTIONS_TERM_

$list54

public static final SubLList $list54

$str55$Return_T_iff_ASSERTION_s_formula_

public static final SubLString $str55$Return_T_iff_ASSERTION_s_formula_

$list56

public static final SubLList $list56

$list57

public static final SubLList $list57

$sym58$ASSERTION_MENTIONS_TERM

public static final SubLSymbol $sym58$ASSERTION_MENTIONS_TERM

$str59$_see_assertion_mentions_term_

public static final SubLString $str59$_see_assertion_mentions_term_

$kw60$GAF

public static final SubLSymbol $kw60$GAF

$kw61$RULE

public static final SubLSymbol $kw61$RULE

$sym62$ASSERTION_TYPE_P

public static final SubLSymbol $sym62$ASSERTION_TYPE_P

$sym63$ASSERTION_HAS_TYPE

public static final SubLSymbol $sym63$ASSERTION_HAS_TYPE

$list64

public static final SubLList $list64

$sym65$GAF_ASSERTION_

public static final SubLSymbol $sym65$GAF_ASSERTION_

$kw66$FALSE

public static final SubLSymbol $kw66$FALSE

$sym67$GAF_PREDICATE

public static final SubLSymbol $sym67$GAF_PREDICATE

$str68$Return_the_predicate_of_gaf_ASSER

public static final SubLString $str68$Return_the_predicate_of_gaf_ASSER

$sym69$GAF_ARG0

public static final SubLSymbol $sym69$GAF_ARG0

$str70$Return_arg_0__the_predicate__of_t

public static final SubLString $str70$Return_arg_0__the_predicate__of_t

$sym71$GAF_ARG1

public static final SubLSymbol $sym71$GAF_ARG1

$str72$Return_arg_1_of_the_gaf_ASSERTION

public static final SubLString $str72$Return_arg_1_of_the_gaf_ASSERTION

$sym73$GAF_ARG2

public static final SubLSymbol $sym73$GAF_ARG2

$str74$Return_arg_2_of_the_gaf_ASSERTION

public static final SubLString $str74$Return_arg_2_of_the_gaf_ASSERTION

$sym75$GAF_ARG3

public static final SubLSymbol $sym75$GAF_ARG3

$str76$Return_arg_3_of_the_gaf_ASSERTION

public static final SubLString $str76$Return_arg_3_of_the_gaf_ASSERTION

$sym77$GAF_ARG4

public static final SubLSymbol $sym77$GAF_ARG4

$str78$Return_arg_4_of_the_gaf_ASSERTION

public static final SubLString $str78$Return_arg_4_of_the_gaf_ASSERTION

$sym79$GAF_ARG5

public static final SubLSymbol $sym79$GAF_ARG5

$str80$Return_arg_5_of_the_gaf_ASSERTION

public static final SubLString $str80$Return_arg_5_of_the_gaf_ASSERTION

$sym81$DIRECTION_P

public static final SubLSymbol $sym81$DIRECTION_P

$sym82$ASSERTION_HAS_DIRECTION

public static final SubLSymbol $sym82$ASSERTION_HAS_DIRECTION

$list83

public static final SubLList $list83

$kw84$FORWARD

public static final SubLSymbol $kw84$FORWARD

$sym85$FORWARD_ASSERTION_

public static final SubLSymbol $sym85$FORWARD_ASSERTION_

$str86$Predicate_returns_T_iff_ASSERTION

public static final SubLString $str86$Predicate_returns_T_iff_ASSERTION

$kw87$BACKWARD

public static final SubLSymbol $kw87$BACKWARD

$sym88$BACKWARD_ASSERTION_

public static final SubLSymbol $sym88$BACKWARD_ASSERTION_

$str89$Predicate_returns_T_iff_ASSERTION

public static final SubLString $str89$Predicate_returns_T_iff_ASSERTION

$kw90$CODE

public static final SubLSymbol $kw90$CODE

$sym91$CODE_ASSERTION_

public static final SubLSymbol $sym91$CODE_ASSERTION_

$str92$Predicate_returns_T_iff_ASSERTION

public static final SubLString $str92$Predicate_returns_T_iff_ASSERTION

$sym93$TRUTH_P

public static final SubLSymbol $sym93$TRUTH_P

$sym94$ASSERTION_HAS_TRUTH_

public static final SubLSymbol $sym94$ASSERTION_HAS_TRUTH_

$list95

public static final SubLList $list95

$str96$Return_T_iff_ASSERTION_s_current_

public static final SubLString $str96$Return_T_iff_ASSERTION_s_current_

$list97

public static final SubLList $list97

$sym98$ASSERTION_HAS_TRUTH

public static final SubLSymbol $sym98$ASSERTION_HAS_TRUTH

$str99$_see_assertion_has_truth_

public static final SubLString $str99$_see_assertion_has_truth_

$sym100$INTERN_EL_VAR

public static final SubLSymbol $sym100$INTERN_EL_VAR

$sym101$EL_VARIABLE_P

public static final SubLSymbol $sym101$EL_VARIABLE_P

$sym102$VARIABLE_P

public static final SubLSymbol $sym102$VARIABLE_P

$sym103$TL_TIMESTAMP_ASSERTED_ASSERTION

public static final SubLSymbol $sym103$TL_TIMESTAMP_ASSERTED_ASSERTION

$sym104$_TL_ASSERTION_LOOKASIDE_TABLE_

public static final SubLSymbol $sym104$_TL_ASSERTION_LOOKASIDE_TABLE_

$sym105$VALID_ASSERTION

public static final SubLSymbol $sym105$VALID_ASSERTION

$list106

public static final SubLList $list106

$sym107$INVALID_ASSERTION

public static final SubLSymbol $sym107$INVALID_ASSERTION

$list108

public static final SubLList $list108

$sym109$CNF_P

public static final SubLSymbol $sym109$CNF_P

$sym110$HLMT_P

public static final SubLSymbol $sym110$HLMT_P

$sym111$EL_FORMULA_P

public static final SubLSymbol $sym111$EL_FORMULA_P

$str112$Removing_broken_assertions__pass_

public static final SubLString $str112$Removing_broken_assertions__pass_

$sym113$STRINGP

public static final SubLSymbol $sym113$STRINGP

$kw114$SKIP

public static final SubLSymbol $kw114$SKIP

$sym115$CATCH_ERROR_MESSAGE_HANDLER

public static final SubLSymbol $sym115$CATCH_ERROR_MESSAGE_HANDLER

$list116

public static final SubLList $list116

$sym117$INVALID_INDEXED_TERM_

public static final SubLSymbol $sym117$INVALID_INDEXED_TERM_

$kw118$IGNORE_ERRORS_TARGET

public static final SubLSymbol $kw118$IGNORE_ERRORS_TARGET

$sym119$IGNORE_ERRORS_HANDLER

public static final SubLSymbol $sym119$IGNORE_ERRORS_HANDLER

$sym120$ARGUMENT_P

public static final SubLSymbol $sym120$ARGUMENT_P

$sym121$ARGUMENT_EQUAL

public static final SubLSymbol $sym121$ARGUMENT_EQUAL

$sym122$NOT_EQ

public static final SubLSymbol $sym122$NOT_EQ

$sym123$ASSERTED_ARGUMENT_P

public static final SubLSymbol $sym123$ASSERTED_ARGUMENT_P

$sym124$ASSERTED_ASSERTION_

public static final SubLSymbol $sym124$ASSERTED_ASSERTION_

$str125$Return_non_nil_IFF_assertion_has_

public static final SubLString $str125$Return_non_nil_IFF_assertion_has_

$sym126$DEDUCTION_P

public static final SubLSymbol $sym126$DEDUCTION_P

$sym127$DEDUCED_ASSERTION_

public static final SubLSymbol $sym127$DEDUCED_ASSERTION_

$str128$Return_non_nil_IFF_assertion_has_

public static final SubLString $str128$Return_non_nil_IFF_assertion_has_

$sym129$FORWARD_DEDUCTION_

public static final SubLSymbol $sym129$FORWARD_DEDUCTION_

$sym130$GET_ASSERTED_ARGUMENT

public static final SubLSymbol $sym130$GET_ASSERTED_ARGUMENT

$str131$Return_the_asserted_argument_for_

public static final SubLString $str131$Return_the_asserted_argument_for_

$list132

public static final SubLList $list132

$sym133$ASSERTION_HAS_DEPENDENTS_P

public static final SubLSymbol $sym133$ASSERTION_HAS_DEPENDENTS_P

$str134$Return_non_nil_IFF_assertion_has_

public static final SubLString $str134$Return_non_nil_IFF_assertion_has_

$sym135$TRUE

public static final SubLSymbol $sym135$TRUE

$int136$500

public static final SubLInteger $int136$500

$sym137$NON_NEGATIVE_INTEGER_P

public static final SubLSymbol $sym137$NON_NEGATIVE_INTEGER_P

$list138

public static final SubLList $list138

$list139

public static final SubLList $list139

Method Detail

assertion_cnf

public static final SubLObject assertion_cnf(SubLObject assertion)

Return the cnf of ASSERTION.

possibly_assertion_cnf

public static final SubLObject possibly_assertion_cnf(SubLObject assertion)

Return the CNF of ASSERTION, or NIL if none can be found.

assertion_mt

public static final SubLObject assertion_mt(SubLObject assertion)

Return the mt of ASSERTION.

assertion_gaf_hl_formula

public static final SubLObject assertion_gaf_hl_formula(SubLObject assertion)

assertion_cons

public static final SubLObject assertion_cons(SubLObject assertion)

Returns:: listp; a cons representing ASSERTION's formula in some form, maybe a CNF, maybe a GAF formula, or NIL if it's invalid.

gaf_assertionP

public static final SubLObject gaf_assertionP(SubLObject assertion)

Return T iff ASSERTION is a ground atomic formula (gaf).

assertion_direction

public static final SubLObject assertion_direction(SubLObject assertion)

Return the direction of ASSERTION (either :backward, :forward or :code).

assertion_truth

public static final SubLObject assertion_truth(SubLObject assertion)

Return the current truth of ASSERTION -- either :true :false or :unknown.

assertion_strength

public static final SubLObject assertion_strength(SubLObject assertion)

Return the current argumentation strength of ASSERTION -- either :monotonic, :default, or :unknown.

assertion_variable_names

public static final SubLObject assertion_variable_names(SubLObject assertion)

Return the variable names for ASSERTION.

asserted_by

public static final SubLObject asserted_by(SubLObject assertion)

Returns the cyclist who asserted ASSERTION.

asserted_when

public static final SubLObject asserted_when(SubLObject assertion)

Returns the day when ASSERTION was asserted.

asserted_why

public static final SubLObject asserted_why(SubLObject assertion)

Returns the reason why ASSERTION was asserted.

asserted_second

public static final SubLObject asserted_second(SubLObject assertion)

Returns the second of the day when ASSERTION was asserted.

assertion_arguments

public static final SubLObject assertion_arguments(SubLObject assertion)

Return a list of the arguments for ASSERTION.

assertion_dependents

public static final SubLObject assertion_dependents(SubLObject assertion)

Return a list of the dependents of ASSERTION.

cyc_assertion_tv

public static final SubLObject cyc_assertion_tv(SubLObject assertion)

Cyc has its own notion of tv (truth + strength) as a legacy of when the Cyc and HL sides were entangled.

assertion_formula

public static final SubLObject assertion_formula(SubLObject assertion)

Return a formula for ASSERTION.

rule_assertionP

public static final SubLObject rule_assertionP(SubLObject assertion)

Return T iff ASSERTION is a rule, i.e. not a ground atomic formula (gaf).

forward_ruleP

public static final SubLObject forward_ruleP(SubLObject assertion)

assertion_type

public static final SubLObject assertion_type(SubLObject assertion)

Return the current type of ASSERTION -- either :GAF or :RULE.

assertion_has_typeP

public static final SubLObject assertion_has_typeP(SubLObject assertion,
                                                   SubLObject type)

Return T iff ASSERTION's current type is TYPE.

gaf_formula

public static final SubLObject gaf_formula(SubLObject assertion)

Return the formula for ASSERTION, which must be a gaf. Does not put a #$not around negated gafs.

gaf_hl_formula

public static final SubLObject gaf_hl_formula(SubLObject assertion)

Return the formula for ASSERTION, which must be a gaf. Does not put a #$not around negated gafs.

gaf_el_formula

public static final SubLObject gaf_el_formula(SubLObject assertion)

Return the formula for ASSERTION, which must be a gaf. Puts a #$not around negated gafs. Does not do any uncanonicalization or conversion of HL terms in args to EL.

assertion_gaf_el_formula

public static final SubLObject assertion_gaf_el_formula(SubLObject assertion)

Returns the EL formula of ASSERTION if it's a gaf, otherwise returns nil. This will return (#$not ) for negated gafs.

gaf_args

public static final SubLObject gaf_args(SubLObject assertion)

Return args of the gaf ASSERTION.

gaf_arg

public static final SubLObject gaf_arg(SubLObject assertion,
                                       SubLObject n)

Return arg N of the gaf ASSERTION.

gaf_predicate

public static final SubLObject gaf_predicate(SubLObject assertion)

Return the predicate of gaf ASSERTION.

gaf_arg1

public static final SubLObject gaf_arg1(SubLObject assertion)

Return arg 1 of the gaf ASSERTION.

gaf_arg2

public static final SubLObject gaf_arg2(SubLObject assertion)

Return arg 2 of the gaf ASSERTION.

gaf_arg3

public static final SubLObject gaf_arg3(SubLObject assertion)

Return arg 3 of the gaf ASSERTION.

assertion_has_directionP

public static final SubLObject assertion_has_directionP(SubLObject assertion,
                                                        SubLObject direction)

Return T iff ASSERTION has DIRECTION as its direction.

assertion_has_direction

public static final SubLObject assertion_has_direction(SubLObject assertion,
                                                       SubLObject direction)

forward_assertionP

public static final SubLObject forward_assertionP(SubLObject assertion)

Predicate returns T iff ASSERTION's direction is :FORWARD.

assertion_has_truthP

public static final SubLObject assertion_has_truthP(SubLObject assertion,
                                                    SubLObject truth)

Return T iff ASSERTION's current truth is TRUTH.

assertion_has_truth

public static final SubLObject assertion_has_truth(SubLObject assertion,
                                                   SubLObject truth)

See Also:: assertion-has-truth?

assertion_el_variables

public static final SubLObject assertion_el_variables(SubLObject assertion)

Return a list of the EL variables, for ASSERTION.

timestamp_asserted_assertion

public static final SubLObject timestamp_asserted_assertion(SubLObject assertion,
                                                            SubLObject who,
                                                            SubLObject when,
                                                            SubLObject why,
                                                            SubLObject second)

timestamp_asserted_assertion_int

public static final SubLObject timestamp_asserted_assertion_int(SubLObject assertion,
                                                                SubLObject who,
                                                                SubLObject when,
                                                                SubLObject why,
                                                                SubLObject second)

invalid_assertionP

public static final SubLObject invalid_assertionP(SubLObject assertion,
                                                  SubLObject robustP)

valid_assertion

public static final SubLObject valid_assertion(SubLObject assertion,
                                               SubLObject robustP)

create_assertion

public static final SubLObject create_assertion(SubLObject cnf,
                                                SubLObject mt,
                                                SubLObject var_names,
                                                SubLObject direction)

Create a new assertion with CNF in MT.

find_or_create_assertion

public static final SubLObject find_or_create_assertion(SubLObject cnf,
                                                        SubLObject mt,
                                                        SubLObject var_names,
                                                        SubLObject direction)

Return assertion in MT with CNF, if it exists -- else create it.

create_assertion_int

public static final SubLObject create_assertion_int(SubLObject cnf,
                                                    SubLObject mt,
                                                    SubLObject var_names,
                                                    SubLObject direction)

Create a new assertion with CNF in MT.

remove_assertion

public static final SubLObject remove_assertion(SubLObject assertion)

Remove ASSERTION.

only_argument_of_assertion_p

public static final SubLObject only_argument_of_assertion_p(SubLObject assertion,
                                                            SubLObject argument)

Returns:: boolean; T if ARGUMENT is the sole argument for ASSERTION; NIL if there are other, different arguments.

asserted_assertionP

public static final SubLObject asserted_assertionP(SubLObject assertion)

Return non-nil IFF assertion has an asserted argument.

get_asserted_argument

public static final SubLObject get_asserted_argument(SubLObject assertion)

Return the asserted argument for ASSERTION, or nil if none present.

assertion_dependent_count

public static final SubLObject assertion_dependent_count(SubLObject assertion)

Returns:: integerp; the number of arguments depending on ASSERTION.

find_assertion_by_dump_id

public static final SubLObject find_assertion_by_dump_id(SubLObject dump_id)

Return the assertion with DUMP-ID during a KB load.

declare_assertions_high_file

public static final SubLObject declare_assertions_high_file()

init_assertions_high_file

public static final SubLObject init_assertions_high_file()

setup_assertions_high_file

public static final SubLObject setup_assertions_high_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 assertions_high

me

myName

$assertion_dump_id_table$

$list0

$list1

$kw2$ALLOW_OTHER_KEYS

$kw3$DONE

$sym4$DO_LIST

$sym5$ASSERTION_ARGUMENTS

$list6

$sym7$ASSERTION_DEPENDENTS

$list8

$list9

$kw10$SENSE

$kw11$PREDICATE

$sym12$PREDICATE_VAR

$sym13$CLET

$sym14$DO_ASSERTION_LITERALS

$sym15$PWHEN

$sym16$ATOMIC_SENTENCE_PREDICATE

$sym17$CNF_VAR

$sym18$ASSERTION_VAR

$sym19$ASSERTION_CNF

$sym20$DO_ALL_LITS_AS_ASENTS

$sym21$ASSERTION_P

$list22

$str23$Return_the_cnf_of_ASSERTION______

$list24

$list25

$sym26$ASSERTION_MT

$str27$Return_the_mt_of_ASSERTION_

$list28

$sym29$ASSERTION_DIRECTION

$str30$Return_the_direction_of_ASSERTION

$list31

$sym32$ASSERTION_TRUTH

$str33$Return_the_current_truth_of_ASSER

$list34

$sym35$ASSERTION_STRENGTH

$str36$Return_the_current_argumentation_

$list37

$sym38$ASSERTION_VARIABLE_NAMES

$str39$Return_the_variable_names_for_ASS

$list40

$sym41$ASSERTED_BY

$str42$Returns_the_cyclist_who_asserted_

$sym43$ASSERTED_WHEN

$str44$Returns_the_day_when_ASSERTION_wa

$list45

$sym46$ASSERTION_FORMULA

$str47$Return_a_formula_for_ASSERTION_

$list48

$const49$ist

$sym50$ASSERTION_IST_FORMULA

$str51$Return_a_formula_in___ist_format_

$sym52$HL_TERM_P

$sym53$ASSERTION_MENTIONS_TERM_

$list54

$str55$Return_T_iff_ASSERTION_s_formula_

$list56

$list57

$sym58$ASSERTION_MENTIONS_TERM

$str59$_see_assertion_mentions_term_

$kw60$GAF

$kw61$RULE

$sym62$ASSERTION_TYPE_P

$sym63$ASSERTION_HAS_TYPE

$list64

$sym65$GAF_ASSERTION_

$kw66$FALSE

$sym67$GAF_PREDICATE

$str68$Return_the_predicate_of_gaf_ASSER

$sym69$GAF_ARG0

$str70$Return_arg_0__the_predicate__of_t

$sym71$GAF_ARG1

$str72$Return_arg_1_of_the_gaf_ASSERTION

$sym73$GAF_ARG2

$str74$Return_arg_2_of_the_gaf_ASSERTION

$sym75$GAF_ARG3

com.cyc.cycjava.cycl
Class assertions_high