com.cyc.cycjava.cycl
Class wff
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.wff
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class wff
- extends SubLTranslatedFile
| 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 |
accumulating_el_violationsP()
|
static SubLObject |
all_subsentences_semantically_wfP(SubLObject nasent,
SubLObject mt)
Checks whether all subsentences (passing through sentential relations)
of the non-atomic sentence NASENT are semantically well-formed. |
static SubLObject |
assertible_literalP(SubLObject literal,
SubLObject mt)
applies to top-level and sub-formula literals |
static SubLObject |
check_arityP(SubLObject formula_arg0,
SubLObject argnum)
|
static SubLObject |
check_var_typesP(SubLObject formula,
SubLObject varP)
|
static SubLObject |
check_wff_coherenceP(SubLObject formula,
SubLObject form)
|
static SubLObject |
check_wff_expansionP(SubLObject formula)
|
static SubLObject |
clear_mal_actual_arity_cachedP()
|
static SubLObject |
declare_wff_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named
functions defined in the file. |
static SubLObject |
editable_skolem_predicateP(SubLObject pred)
|
static SubLObject |
el_wff_syntaxP(SubLObject sentence,
SubLObject mt)
Is SENTENCE well-formed wrt syntax? |
static SubLObject |
el_wffP(SubLObject sentence,
SubLObject mt,
SubLObject v_properties)
is a well-formed el sentence? |
static SubLObject |
enforce_evaluatable_satisfiabilityP()
|
static SubLObject |
enforce_literal_idiosyncrasiesP()
|
static SubLObject |
enforce_only_definitional_gafs_in_vocab_mtP()
|
static SubLObject |
explain_wff_violation(SubLObject why_not,
SubLObject io_mode)
|
static SubLObject |
explanation_of_wff_suggestion(SubLObject sentence,
SubLObject mt,
SubLObject suggestions)
|
static SubLObject |
explanation_of_why_not_wff_assert(SubLObject sentence,
SubLObject mt,
SubLObject v_properties)
Gives an explanation of why SENTENCE is not wff to be asserted in MT. |
static SubLObject |
explanation_of_why_not_wff_int(SubLObject sentence,
SubLObject mt,
SubLObject io_mode,
SubLObject violations,
SubLObject wff_context,
SubLObject v_properties)
|
static SubLObject |
how_make_wffP(SubLObject sentence,
SubLObject mt)
|
static SubLObject |
inhibit_skolem_assertsP()
|
static SubLObject |
init_wff_file()
|
void |
initializeVariables()
Initializes all global variables and private internal variables
for constants defined in the file. |
static SubLObject |
mal_actual_arity_cachedP_internal(SubLObject operator,
SubLObject actual_arity)
|
static SubLObject |
mal_actual_arity_cachedP(SubLObject operator,
SubLObject actual_arity)
|
static SubLObject |
mal_arg_typesP(SubLObject formula,
SubLObject mt)
|
static SubLObject |
mal_arity_intP(SubLObject formula)
|
static SubLObject |
mal_arityP(SubLObject formula)
|
static SubLObject |
mal_fixed_arityP(SubLObject formula)
does FORMULA, with fixed-arity relation arg0, comply with applicable arity constraints? |
static SubLObject |
mal_forts(SubLObject expression)
|
static SubLObject |
mal_fortsP(SubLObject expression)
|
static SubLObject |
mal_precanonicalizationsP(SubLObject formula,
SubLObject mt)
|
static SubLObject |
mal_variable_arityP(SubLObject formula)
does FORMULA, with variable-arity relation arg0, comply with applicable arity constraints? |
static SubLObject |
memoized_semantically_wf_literalP_internal(SubLObject literal,
SubLObject mt,
SubLObject no_semanticsP,
SubLObject check_assertibleP)
|
static SubLObject |
memoized_semantically_wf_literalP(SubLObject literal,
SubLObject mt,
SubLObject no_semanticsP,
SubLObject check_assertibleP)
|
static SubLObject |
memoized_semantically_wf_sentenceP_internal(SubLObject sentence,
SubLObject mt)
|
static SubLObject |
memoized_semantically_wf_sentenceP(SubLObject sentence,
SubLObject mt)
|
static SubLObject |
no_wff_semanticsP()
|
static SubLObject |
non_editable_skolem_referenceP(SubLObject object)
|
static SubLObject |
note_wff_violation(SubLObject violation)
|
static SubLObject |
note_wff_violationP()
|
static SubLObject |
note_wff_violations(SubLObject violations)
|
static SubLObject |
pred_of_editable_skolem_gafP(SubLObject pred)
|
static SubLObject |
provide_wff_suggestionsP()
|
static SubLObject |
reset_wff_state()
|
static SubLObject |
reset_wff_suggestions()
|
static SubLObject |
reset_wff_violations()
|
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
sbhl_falseP(SubLObject asent,
SubLObject mt)
|
static SubLObject |
sbhl_literal_conflictP(SubLObject literal,
SubLObject mt)
|
static SubLObject |
semantically_wf_literalP(SubLObject literal,
SubLObject mt)
|
static SubLObject |
semantically_wf_non_atomic_sentenceP(SubLObject nasent,
SubLObject mt)
|
static SubLObject |
semantically_wf_sentenceP(SubLObject sentence,
SubLObject mt)
|
static SubLObject |
semantically_wff_elf_intP(SubLObject sentence,
SubLObject mt)
|
static SubLObject |
setup_wff_file()
|
static SubLObject |
subsentence_semantically_wfP(SubLObject nasent,
SubLObject subsentence,
SubLObject argnum,
SubLObject mt)
|
static SubLObject |
syntactically_wff_elf_intP(SubLObject sentence,
SubLObject check_fast_gafP)
|
static SubLObject |
wff_check_argsP()
|
static SubLObject |
wff_check_coherenceP()
|
static SubLObject |
wff_check_varsP()
|
static SubLObject |
wff_doneP(SubLObject wffP)
|
static SubLObject |
wff_elf_intP(SubLObject sentence,
SubLObject mt)
|
static SubLObject |
wff_elfP(SubLObject sentence,
SubLObject mt)
|
static SubLObject |
wff_fast_gafP(SubLObject sentence)
|
static SubLObject |
wff_only_needs_syntactic_checksP()
Whether the wff-checker can use the CycL grammar instead of the full semantic wff-checker. |
static SubLObject |
wff_queryP(SubLObject formula,
SubLObject mt,
SubLObject v_properties)
|
static SubLObject |
wff_suggestions()
|
static SubLObject |
wff_violations()
|
static SubLObject |
wff_wrt_arg_typesP(SubLObject formula,
SubLObject mt)
|
static SubLObject |
wff_wrt_literal_idiosyncrasiesP(SubLObject literal,
SubLObject mt)
|
static SubLObject |
wffP(SubLObject formula,
SubLObject type,
SubLObject mt)
|
static SubLObject |
why_not_wff_ask(SubLObject sentence,
SubLObject mt,
SubLObject v_properties)
|
static SubLObject |
why_not_wff_assert(SubLObject sentence,
SubLObject mt,
SubLObject v_properties)
|
static SubLObject |
why_not_wff(SubLObject sentence,
SubLObject mt,
SubLObject v_properties)
|
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
me
public static final SubLFile me
myName
public static final java.lang.String myName
- See Also:
- Constant Field Values
$sym0$PROPERTY_LIST_P
public static final SubLSymbol $sym0$PROPERTY_LIST_P
$sym1$WFF_PROPERTY_P
public static final SubLSymbol $sym1$WFF_PROPERTY_P
$str2$Invalid_attempt_to_reuse_memoizat
public static final SubLString $str2$Invalid_attempt_to_reuse_memoizat
$sym3$SPECIAL_VARIABLE_STATE_P
public static final SubLSymbol $sym3$SPECIAL_VARIABLE_STATE_P
$kw4$ELF
public static final SubLSymbol $kw4$ELF
$kw5$CNF
public static final SubLSymbol $kw5$CNF
$kw6$DNF
public static final SubLSymbol $kw6$DNF
$kw7$NAF
public static final SubLSymbol $kw7$NAF
$str8$invalid_formula_type___s
public static final SubLString $str8$invalid_formula_type___s
$sym9$RELEVANT_MT_IS_EVERYTHING
public static final SubLSymbol $sym9$RELEVANT_MT_IS_EVERYTHING
$const10$EverythingPSC
public static final SubLObject $const10$EverythingPSC
$kw11$MAL_PRECANONICALIZATIONS
public static final SubLSymbol $kw11$MAL_PRECANONICALIZATIONS
$kw12$INVALID_VARIABLES
public static final SubLSymbol $kw12$INVALID_VARIABLES
$kw13$MAL_FORTS
public static final SubLSymbol $kw13$MAL_FORTS
$const14$BaseKB
public static final SubLObject $const14$BaseKB
$kw15$INVALID_MT
public static final SubLSymbol $kw15$INVALID_MT
$kw16$ASSERT
public static final SubLSymbol $kw16$ASSERT
$const17$isa
public static final SubLObject $const17$isa
$const18$Microtheory
public static final SubLObject $const18$Microtheory
$kw19$RECURSION_LIMIT_EXCEEDED
public static final SubLSymbol $kw19$RECURSION_LIMIT_EXCEEDED
$kw20$INVALID_EXPANSION
public static final SubLSymbol $kw20$INVALID_EXPANSION
$sym21$EL_WFF_SYNTAX_
public static final SubLSymbol $sym21$EL_WFF_SYNTAX_
$list22
public static final SubLList $list22
$str23$Is_SENTENCE_well_formed_wrt_synta
public static final SubLString $str23$Is_SENTENCE_well_formed_wrt_synta
$list24
public static final SubLList $list24
$const25$True
public static final SubLObject $const25$True
$const26$False
public static final SubLObject $const26$False
$str27$Got_a_sentence_that_was_neither_a
public static final SubLString $str27$Got_a_sentence_that_was_neither_a
$list28
public static final SubLList $list28
$sym29$EL_VAR_
public static final SubLSymbol $sym29$EL_VAR_
$sym30$HL_VAR_
public static final SubLSymbol $sym30$HL_VAR_
$sym31$CYC_VAR_
public static final SubLSymbol $sym31$CYC_VAR_
$sym32$NON_WF_FORT_P
public static final SubLSymbol $sym32$NON_WF_FORT_P
$sym33$MEMOIZED_SYNTACTICALLY_WF_FORMULA_
public static final SubLSymbol $sym33$MEMOIZED_SYNTACTICALLY_WF_FORMULA_
$kw34$_MEMOIZED_ITEM_NOT_FOUND_
public static final SubLSymbol $kw34$_MEMOIZED_ITEM_NOT_FOUND_
$sym35$MEMOIZED_SEMANTICALLY_WF_LITERAL_
public static final SubLSymbol $sym35$MEMOIZED_SEMANTICALLY_WF_LITERAL_
$kw36$RESTRICTED_SKOLEM_ASSERTION
public static final SubLSymbol $kw36$RESTRICTED_SKOLEM_ASSERTION
$kw37$EVALUATABLE_LITERAL_FALSE
public static final SubLSymbol $kw37$EVALUATABLE_LITERAL_FALSE
$kw38$RESTRICTED_MT_ASSERTION
public static final SubLSymbol $kw38$RESTRICTED_MT_ASSERTION
$kw39$RESTRICTED_PREDICATE_ASSERTION
public static final SubLSymbol $kw39$RESTRICTED_PREDICATE_ASSERTION
$kw40$RESTRICTED_COLLECTION_ASSERTION
public static final SubLSymbol $kw40$RESTRICTED_COLLECTION_ASSERTION
$const41$VocabularyMicrotheory
public static final SubLObject $const41$VocabularyMicrotheory
$kw42$NON_DEFN_PRED_IN_VOCAB_MT
public static final SubLSymbol $kw42$NON_DEFN_PRED_IN_VOCAB_MT
$kw43$IGNORE
public static final SubLSymbol $kw43$IGNORE
$const44$DefaultVocabConstraintMt
public static final SubLObject $const44$DefaultVocabConstraintMt
$list45
public static final SubLList $list45
$kw46$CONFLICT_ASSERTING_FALSE_SBHL
public static final SubLSymbol $kw46$CONFLICT_ASSERTING_FALSE_SBHL
$kw47$CONFLICT_ASSERTING_TRUE_SBHL
public static final SubLSymbol $kw47$CONFLICT_ASSERTING_TRUE_SBHL
$sym48$FAST_REIFIED_SKOLEM_
public static final SubLSymbol $sym48$FAST_REIFIED_SKOLEM_
$const49$exceptFor
public static final SubLObject $const49$exceptFor
$const50$termOfUnit
public static final SubLObject $const50$termOfUnit
$const51$commutativeInArgs
public static final SubLObject $const51$commutativeInArgs
$const52$commutativeInArgsAndRest
public static final SubLObject $const52$commutativeInArgsAndRest
$kw53$EXCEPT_FOR_W_O_SINGLETON_VAR
public static final SubLSymbol $kw53$EXCEPT_FOR_W_O_SINGLETON_VAR
$kw54$INVALID_MT_FOR_TOU
public static final SubLSymbol $kw54$INVALID_MT_FOR_TOU
$str55$Got_an_unexpected_sentential_rela
public static final SubLString $str55$Got_an_unexpected_sentential_rela
$sym56$MEMOIZED_SEMANTICALLY_WF_SENTENCE_
public static final SubLSymbol $sym56$MEMOIZED_SEMANTICALLY_WF_SENTENCE_
$sym57$MAL_ACTUAL_ARITY_CACHED_
public static final SubLSymbol $sym57$MAL_ACTUAL_ARITY_CACHED_
$kw58$TERM
public static final SubLSymbol $kw58$TERM
$sym59$_MAL_ACTUAL_ARITY_CACHED__CACHING_STATE_
public static final SubLSymbol $sym59$_MAL_ACTUAL_ARITY_CACHED__CACHING_STATE_
$int60$256
public static final SubLInteger $int60$256
$sym61$CLEAR_MAL_ACTUAL_ARITY_CACHED_
public static final SubLSymbol $sym61$CLEAR_MAL_ACTUAL_ARITY_CACHED_
$kw62$MISSING_ARITY
public static final SubLSymbol $kw62$MISSING_ARITY
$kw63$MAL_ARITY
public static final SubLSymbol $kw63$MAL_ARITY
$const64$arity
public static final SubLObject $const64$arity
$kw65$VIOLATED_ARITY
public static final SubLSymbol $kw65$VIOLATED_ARITY
$const66$arityMin
public static final SubLObject $const66$arityMin
$const67$arityMax
public static final SubLObject $const67$arityMax
$sym68$LISTP
public static final SubLSymbol $sym68$LISTP
$sym69$EL_FORMULA_OK_
public static final SubLSymbol $sym69$EL_FORMULA_OK_
$list70
public static final SubLList $list70
$str71$Is_FORMULA_a_well_formed_el_formu
public static final SubLString $str71$Is_FORMULA_a_well_formed_el_formu
$list72
public static final SubLList $list72
$sym73$EL_QUERY_OK_
public static final SubLSymbol $sym73$EL_QUERY_OK_
$str74$Is_FORMULA_a_well_formed_el_query
public static final SubLString $str74$Is_FORMULA_a_well_formed_el_query
$str75$continue_anyway
public static final SubLString $str75$continue_anyway
$sym76$WARN
public static final SubLSymbol $sym76$WARN
$kw77$CHANGE_MT
public static final SubLSymbol $kw77$CHANGE_MT
$list78
public static final SubLList $list78
$str79$__Consider_asserting______s__in_m
public static final SubLString $str79$__Consider_asserting______s__in_m
$str80$__Consider_asserting______s__in_o
public static final SubLString $str80$__Consider_asserting______s__in_o
$str81$__
public static final SubLString $str81$__
$str82$__or_
public static final SubLString $str82$__or_
$kw83$REPLACE_TERM
public static final SubLSymbol $kw83$REPLACE_TERM
$list84
public static final SubLList $list84
$str85$__Consider_using_term______s__ins
public static final SubLString $str85$__Consider_using_term______s__ins
$list86
public static final SubLList $list86
$str87$__Consider_asserting______s____in
public static final SubLString $str87$__Consider_asserting______s____in
$str88$__Consider_asserting______s_
public static final SubLString $str88$__Consider_asserting______s_
$kw89$UNASSERT
public static final SubLSymbol $kw89$UNASSERT
$str90$__Consider_unasserting______s____
public static final SubLString $str90$__Consider_unasserting______s____
$str91$__Consider_unasserting______s_
public static final SubLString $str91$__Consider_unasserting______s_
$str92$__No_explanation_template_exists_
public static final SubLString $str92$__No_explanation_template_exists_
$list93
public static final SubLList $list93
$str94$__Consider_referencing______s__in
public static final SubLString $str94$__Consider_referencing______s__in
$list95
public static final SubLList $list95
$kw96$NL
public static final SubLSymbol $kw96$NL
$kw97$HL
public static final SubLSymbol $kw97$HL
$sym98$DIAGNOSE_EL_FORMULA
public static final SubLSymbol $sym98$DIAGNOSE_EL_FORMULA
$list99
public static final SubLList $list99
$str100$Identify_how_el_sentence_SENTENCE
public static final SubLString $str100$Identify_how_el_sentence_SENTENCE
$list101
public static final SubLList $list101
$str102$___a
public static final SubLString $str102$___a
$list103
public static final SubLList $list103
$kw104$IO_MODE
public static final SubLSymbol $kw104$IO_MODE
$kw105$VIOLATIONS
public static final SubLSymbol $kw105$VIOLATIONS
$kw106$DEFAULT
public static final SubLSymbol $kw106$DEFAULT
$kw107$ASK
public static final SubLSymbol $kw107$ASK
$const108$not
public static final SubLObject $const108$not
$const109$admittedSentence
public static final SubLObject $const109$admittedSentence
$const110$SubLQuoteFn
public static final SubLObject $const110$SubLQuoteFn
$const111$admittedNAT
public static final SubLObject $const111$admittedNAT
$sym112$WFF_VIOLATION_P
public static final SubLSymbol $sym112$WFF_VIOLATION_P
$str113$__No_explanation_template_exists_
public static final SubLString $str113$__No_explanation_template_exists_
el_wffP
public static final SubLObject el_wffP(SubLObject sentence,
SubLObject mt,
SubLObject v_properties)
- is a well-formed el sentence?
wffP
public static final SubLObject wffP(SubLObject formula,
SubLObject type,
SubLObject mt)
reset_wff_state
public static final SubLObject reset_wff_state()
mal_precanonicalizationsP
public static final SubLObject mal_precanonicalizationsP(SubLObject formula,
SubLObject mt)
syntactically_wff_elf_intP
public static final SubLObject syntactically_wff_elf_intP(SubLObject sentence,
SubLObject check_fast_gafP)
wff_elfP
public static final SubLObject wff_elfP(SubLObject sentence,
SubLObject mt)
el_wff_syntaxP
public static final SubLObject el_wff_syntaxP(SubLObject sentence,
SubLObject mt)
- Is SENTENCE well-formed wrt syntax?
wff_elf_intP
public static final SubLObject wff_elf_intP(SubLObject sentence,
SubLObject mt)
semantically_wff_elf_intP
public static final SubLObject semantically_wff_elf_intP(SubLObject sentence,
SubLObject mt)
wff_fast_gafP
public static final SubLObject wff_fast_gafP(SubLObject sentence)
- Returns:
- boolean; t iff SENTENCE is a gaf which is well-formed (a quick check before a more involved analysis of well-formedness)
Returning NIL does not mean that SENTENCE is ill-formed.
check_arityP
public static final SubLObject check_arityP(SubLObject formula_arg0,
SubLObject argnum)
- Returns:
- booleanp; t iff arg-type analysis should in fact impose arity checks on nats
wff_check_argsP
public static final SubLObject wff_check_argsP()
wff_check_coherenceP
public static final SubLObject wff_check_coherenceP()
wff_check_varsP
public static final SubLObject wff_check_varsP()
inhibit_skolem_assertsP
public static final SubLObject inhibit_skolem_assertsP()
enforce_evaluatable_satisfiabilityP
public static final SubLObject enforce_evaluatable_satisfiabilityP()
enforce_only_definitional_gafs_in_vocab_mtP
public static final SubLObject enforce_only_definitional_gafs_in_vocab_mtP()
enforce_literal_idiosyncrasiesP
public static final SubLObject enforce_literal_idiosyncrasiesP()
check_var_typesP
public static final SubLObject check_var_typesP(SubLObject formula,
SubLObject varP)
no_wff_semanticsP
public static final SubLObject no_wff_semanticsP()
- Returns:
- boolean; t iff ALL semantic wff checking is disabled.
wff_only_needs_syntactic_checksP
public static final SubLObject wff_only_needs_syntactic_checksP()
- Whether the wff-checker can use the CycL grammar instead of the full semantic wff-checker.
check_wff_expansionP
public static final SubLObject check_wff_expansionP(SubLObject formula)
check_wff_coherenceP
public static final SubLObject check_wff_coherenceP(SubLObject formula,
SubLObject form)
wff_doneP
public static final SubLObject wff_doneP(SubLObject wffP)
mal_fortsP
public static final SubLObject mal_fortsP(SubLObject expression)
mal_forts
public static final SubLObject mal_forts(SubLObject expression)
semantically_wf_literalP
public static final SubLObject semantically_wf_literalP(SubLObject literal,
SubLObject mt)
memoized_semantically_wf_literalP_internal
public static final SubLObject memoized_semantically_wf_literalP_internal(SubLObject literal,
SubLObject mt,
SubLObject no_semanticsP,
SubLObject check_assertibleP)
memoized_semantically_wf_literalP
public static final SubLObject memoized_semantically_wf_literalP(SubLObject literal,
SubLObject mt,
SubLObject no_semanticsP,
SubLObject check_assertibleP)
assertible_literalP
public static final SubLObject assertible_literalP(SubLObject literal,
SubLObject mt)
- applies to top-level and sub-formula literals
sbhl_literal_conflictP
public static final SubLObject sbhl_literal_conflictP(SubLObject literal,
SubLObject mt)
- Returns:
- boolean; t iff literal, if asserted, establishes a sbhl conflict
sbhl_falseP
public static final SubLObject sbhl_falseP(SubLObject asent,
SubLObject mt)
- Returns:
- boolean; t iff ASENT is known to be false via sbhl inference
non_editable_skolem_referenceP
public static final SubLObject non_editable_skolem_referenceP(SubLObject object)
- Returns:
- term or nil; term is object or a component of object that
is returned iff that component has a variable within the scope of
a skolem as a functor.
pred_of_editable_skolem_gafP
public static final SubLObject pred_of_editable_skolem_gafP(SubLObject pred)
editable_skolem_predicateP
public static final SubLObject editable_skolem_predicateP(SubLObject pred)
wff_wrt_literal_idiosyncrasiesP
public static final SubLObject wff_wrt_literal_idiosyncrasiesP(SubLObject literal,
SubLObject mt)
semantically_wf_non_atomic_sentenceP
public static final SubLObject semantically_wf_non_atomic_sentenceP(SubLObject nasent,
SubLObject mt)
all_subsentences_semantically_wfP
public static final SubLObject all_subsentences_semantically_wfP(SubLObject nasent,
SubLObject mt)
- Checks whether all subsentences (passing through sentential relations)
of the non-atomic sentence NASENT are semantically well-formed.
subsentence_semantically_wfP
public static final SubLObject subsentence_semantically_wfP(SubLObject nasent,
SubLObject subsentence,
SubLObject argnum,
SubLObject mt)
semantically_wf_sentenceP
public static final SubLObject semantically_wf_sentenceP(SubLObject sentence,
SubLObject mt)
memoized_semantically_wf_sentenceP_internal
public static final SubLObject memoized_semantically_wf_sentenceP_internal(SubLObject sentence,
SubLObject mt)
memoized_semantically_wf_sentenceP
public static final SubLObject memoized_semantically_wf_sentenceP(SubLObject sentence,
SubLObject mt)
mal_arityP
public static final SubLObject mal_arityP(SubLObject formula)
clear_mal_actual_arity_cachedP
public static final SubLObject clear_mal_actual_arity_cachedP()
mal_actual_arity_cachedP_internal
public static final SubLObject mal_actual_arity_cachedP_internal(SubLObject operator,
SubLObject actual_arity)
mal_actual_arity_cachedP
public static final SubLObject mal_actual_arity_cachedP(SubLObject operator,
SubLObject actual_arity)
mal_arity_intP
public static final SubLObject mal_arity_intP(SubLObject formula)
mal_fixed_arityP
public static final SubLObject mal_fixed_arityP(SubLObject formula)
- does FORMULA, with fixed-arity relation arg0, comply with applicable arity constraints?
mal_variable_arityP
public static final SubLObject mal_variable_arityP(SubLObject formula)
- does FORMULA, with variable-arity relation arg0, comply with applicable arity constraints?
mal_arg_typesP
public static final SubLObject mal_arg_typesP(SubLObject formula,
SubLObject mt)
wff_wrt_arg_typesP
public static final SubLObject wff_wrt_arg_typesP(SubLObject formula,
SubLObject mt)
reset_wff_suggestions
public static final SubLObject reset_wff_suggestions()
provide_wff_suggestionsP
public static final SubLObject provide_wff_suggestionsP()
accumulating_el_violationsP
public static final SubLObject accumulating_el_violationsP()
reset_wff_violations
public static final SubLObject reset_wff_violations()
wff_violations
public static final SubLObject wff_violations()
note_wff_violationP
public static final SubLObject note_wff_violationP()
note_wff_violations
public static final SubLObject note_wff_violations(SubLObject violations)
note_wff_violation
public static final SubLObject note_wff_violation(SubLObject violation)
- Parameters:
violation - a list, the first element of which is a keyword indicating the type of violation, and the rest provide additional information about the violation.
explanation_of_why_not_wff_assert
public static final SubLObject explanation_of_why_not_wff_assert(SubLObject sentence,
SubLObject mt,
SubLObject v_properties)
- Gives an explanation of why SENTENCE is not wff to be asserted in MT.
wff_queryP
public static final SubLObject wff_queryP(SubLObject formula,
SubLObject mt,
SubLObject v_properties)
- Returns:
- boolean; t iff FORMULA is a well-formed CycL query in MT wrt syntax and arity
explanation_of_why_not_wff_int
public static final SubLObject explanation_of_why_not_wff_int(SubLObject sentence,
SubLObject mt,
SubLObject io_mode,
SubLObject violations,
SubLObject wff_context,
SubLObject v_properties)
- Parameters:
WFF-CONTEXT; - :ask, :assert, or :default
how_make_wffP
public static final SubLObject how_make_wffP(SubLObject sentence,
SubLObject mt)
explanation_of_wff_suggestion
public static final SubLObject explanation_of_wff_suggestion(SubLObject sentence,
SubLObject mt,
SubLObject suggestions)
wff_suggestions
public static final SubLObject wff_suggestions()
explain_wff_violation
public static final SubLObject explain_wff_violation(SubLObject why_not,
SubLObject io_mode)
why_not_wff_assert
public static final SubLObject why_not_wff_assert(SubLObject sentence,
SubLObject mt,
SubLObject v_properties)
why_not_wff
public static final SubLObject why_not_wff(SubLObject sentence,
SubLObject mt,
SubLObject v_properties)
why_not_wff_ask
public static final SubLObject why_not_wff_ask(SubLObject sentence,
SubLObject mt,
SubLObject v_properties)
declare_wff_file
public static final SubLObject declare_wff_file()
init_wff_file
public static final SubLObject init_wff_file()
setup_wff_file
public static final SubLObject setup_wff_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.