com.cyc.cycjava.cycl
Class czer_utilities

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class czer_utilities
extends SubLTranslatedFile

Nested Class Summary

static class	czer_utilities.$canon_varP$UnaryFunction
static class	czer_utilities.$generalized_ist_clause_p$UnaryFunction
static class	czer_utilities.$quoted_term_with_hl_varP$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const1$canonicalizerDirectiveForArg
static SubLObject	$const109$False
static SubLObject	$const11$LeaveVariablesAtEL
static SubLObject	$const14$AllowGenericArgVariables
static SubLObject	$const20$RelaxArgTypeConstraintsForVariabl
static SubLObject	$const21$DontReOrderCommutativeTerms
static SubLObject	$const22$CycLIndexedTerm
static SubLObject	$const23$CycLExpression
static SubLObject	$const25$CycLFormula
static SubLObject	$const3$canonicalizerDirectiveForArgAndRe
static SubLObject	$const32$CycLSentence
static SubLObject	$const36$CycLSentence_Askable
static SubLObject	$const37$CycLSentence_Assertible
static SubLObject	$const38$CycLDenotationalTerm
static SubLObject	$const39$ist
static SubLObject	$const4$canonicalizerDirectiveForAllArgs
static SubLObject	$const45$termOfUnit
static SubLObject	$const47$equals
static SubLObject	$const48$evaluate
static SubLObject	$const5$LeaveSomeTermsAtEL
static SubLObject	$const56$trueSentence
static SubLObject	$const58$functionCommutesWith
static SubLObject	$const7$LeaveSomeTermsAtELAndAllowKeyword
static SubLObject	$const73$TheSet
static SubLObject	$const78$EscapeQuote
static SubLObject	$const9$AllowKeywordVariables
static SubLObject	$const92$EverythingPSC
static SubLInteger	$int27$1024
static SubLSymbol	$kw0$TRUE
static SubLSymbol	$kw16$EL_VAR
static SubLSymbol	$kw18$KB_VAR
static SubLSymbol	$kw2$GAF
static SubLSymbol	$kw28$_MEMOIZED_ITEM_NOT_FOUND_
static SubLSymbol	$kw54$DEFAULT
static SubLSymbol	$kw63$CNF
static SubLSymbol	$kw64$DNF
static SubLSymbol	$kw85$OPAQUE_ARG_FOUND
static SubLSymbol	$kw95$ASSERT
static SubLSymbol	$kw98$UNASSERT
static SubLList	$list10
static SubLList	$list12
static SubLList	$list13
static SubLList	$list15
static SubLList	$list6
static SubLList	$list8
static SubLList	$list83
static SubLString	$str100$__Error__assert_failed__
static SubLString	$str101$__Error__Can_t_find_assertions___
static SubLString	$str102$__The_assertion_is__S___
static SubLString	$str103$__Its_EL_form_is__S_in__S___
static SubLString	$str104$__Error__Can_t_find_assertions___
static SubLString	$str105$__Its_New_EL_form_is__S_in__S___
static SubLString	$str106$__Error__EL_mismatch___Original__
static SubLString	$str107$__Error__assert_failed___S__
static SubLString	$str108$__Error__unassert_failed___S__
static SubLString	$str17$X__d
static SubLString	$str19$_a_was_not_a_canonical_variable
static SubLString	$str46$function
static SubLString	$str50$
static SubLString	$str51$__s
static SubLString	$str53$Could_not_create_a_unique_HL_var_
static SubLString	$str67$Unexpected_clausal_form__s
static SubLString	$str70$Invalid_attempt_to_reuse_memoizat
static SubLString	$str76$_s__s_does_not_adequately_specify
static SubLString	$str96$__Error__assert_failed__S___
static SubLString	$str97$__Error__Can_t_find_assertion___
static SubLString	$str99$__Form___A_in__A__
static SubLSymbol	$sym24$FORMULA_ARG_INT_
static SubLSymbol	$sym26$_FORMULA_ARG_INT__CACHING_STATE_
static SubLSymbol	$sym29$QUOTED_FORMULA_ARG_INT_
static SubLSymbol	$sym30$_QUOTED_FORMULA_ARG_INT__CACHING_STATE_
static SubLSymbol	$sym31$SENTENCE_ARG_INT_
static SubLSymbol	$sym33$_SENTENCE_ARG_INT__CACHING_STATE_
static SubLSymbol	$sym34$QUOTED_SENTENCE_ARG_INT_
static SubLSymbol	$sym35$_QUOTED_SENTENCE_ARG_INT__CACHING_STATE_
static SubLSymbol	$sym40$CATCH_ERROR_MESSAGE_HANDLER
static SubLSymbol	$sym41$NPUT_BACK_CLAUSE_EL_VARIABLES
static SubLSymbol	$sym42$PUT_BACK_CLAUSE_EL_VARIABLES
static SubLSymbol	$sym43$FIRST
static SubLSymbol	$sym44$SECOND
static SubLSymbol	$sym49$STRING_
static SubLSymbol	$sym52$_X
static SubLSymbol	$sym55$CYC_VAR_
static SubLSymbol	$sym57$EL_FORMULA_P
static SubLSymbol	$sym59$FORT_OR_NAUT_WITH_CORRESPONDING_NART_
static SubLSymbol	$sym60$VARIABLE_P
static SubLSymbol	$sym61$NEGATE_ATOMIC
static SubLSymbol	$sym62$EQUALS_EL_MEMOIZED_
static SubLSymbol	$sym65$CLAUSAL_FORM_P
static SubLSymbol	$sym66$BOOLEANP
static SubLSymbol	$sym68$NON_NULL_CLOSED_TERM_
static SubLSymbol	$sym69$NON_DOTTED_LIST_P
static SubLSymbol	$sym71$RECANONICALIZED_CANDIDATE_NAT_EQUALS_NAT_FORMULA_
static SubLSymbol	$sym72$FORT_P
static SubLSymbol	$sym74$EVALUATABLE_EXPRESSION_
static SubLSymbol	$sym75$TRANSFORM_EVALUATION_EXPRESSION
static SubLSymbol	$sym77$HL_VAR_
static SubLSymbol	$sym79$QUOTED_TERM_WITH_HL_VAR_
static SubLSymbol	$sym80$ESCAPE_TERM
static SubLSymbol	$sym81$DECONTEXTUALIZED_CLAUSE_
static SubLSymbol	$sym82$GENERALIZED_IST_CLAUSE_P
static SubLSymbol	$sym84$OPAQUE_ARG_WRT_QUOTING_SEEKER
static SubLSymbol	$sym86$CYCL_FORMULA_P
static SubLSymbol	$sym87$ASSERTION_P
static SubLSymbol	$sym88$KB_HL_SUPPORT_P
static SubLSymbol	$sym89$HL_SUPPORT_P
static SubLSymbol	$sym90$DEDUCTION_P
static SubLSymbol	$sym91$INDEXED_TERM_P
static SubLSymbol	$sym93$SKOLEM_NART_
static SubLSymbol	$sym94$CDR
static SubLFile	me
static java.lang.String	myName

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

EMPTY_SUBL_OBJECT_ARRAY

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

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

Method Summary

static SubLObject	arg_permits_generic_arg_variablesP(SubLObject reln, SubLObject argnum, SubLObject mt)
static SubLObject	arg_permits_keyword_variablesP(SubLObject reln, SubLObject argnum, SubLObject mt)
static SubLObject	assertable_formula_argP(SubLObject relation, SubLObject argnum, SubLObject mt)
static SubLObject	canon_varP(SubLObject candidate_variable)
static SubLObject	canonicalizer_directive_for_argP(SubLObject relation, SubLObject argnum, SubLObject directive, SubLObject mt)
static SubLObject	declare_czer_utilities_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	distributing_meta_predP(SubLObject pred) returns t iff PRED is a #$DistributingMetaKnowledgePredicate.
static SubLObject	dont_reorder_commutative_terms_for_args(SubLObject relation, SubLObject mt)
static SubLObject	encapsulate_formulaP(SubLObject formula)
static SubLObject	evaluatable_function_symbolP(SubLObject symbol, SubLObject mt)
static SubLObject	evaluatable_function_termP(SubLObject v_term, SubLObject mt)
static SubLObject	expression_argP(SubLObject relation, SubLObject argnum, SubLObject mt)
static SubLObject	extract_blists(SubLObject thing) This is not destructive.
static SubLObject	extract_hl_clauses(SubLObject thing) This is not destructive.
static SubLObject	generalized_ist_clause_p(SubLObject clause)
static SubLObject	generalized_ist_clauses_p(SubLObject v_clauses)
static SubLObject	generalized_ist_literal_p(SubLObject object)
static SubLObject	get_nth_canonical_variable(SubLObject n, SubLObject type)
static SubLObject	init_czer_utilities_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	intensional_formulaP(SubLObject formula)
static SubLObject	leave_variables_at_el_for_argP(SubLObject relation, SubLObject argnum, SubLObject mt)
static SubLObject	list_of_clause_binding_list_pairs_p(SubLObject object)
static SubLObject	naut_with_corresponding_nartP(SubLObject v_term)
static SubLObject	possibly_escape_quote_hl_vars(SubLObject object, SubLObject destructiveP)
static SubLObject	quoted_sentence_arg_intP_internal(SubLObject relation, SubLObject argnum, SubLObject mt)
static SubLObject	quoted_sentence_arg_intP(SubLObject relation, SubLObject argnum, SubLObject mt)
static SubLObject	quoted_term_with_hl_varP(SubLObject object)
static SubLObject	reifiable_function_termP(SubLObject v_term, SubLObject mt)
static SubLObject	reifiable_functorP(SubLObject functor, SubLObject mt) is FUNCTOR a reifiable functor? The two ways FUNCTOR can be reifiable are: 1.
static SubLObject	reifiable_nautP(SubLObject v_term, SubLObject varP, SubLObject mt)
static SubLObject	relax_arg_type_constraints_for_variables_for_argP(SubLObject relation, SubLObject argnum, SubLObject mt)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	sentence_arg_intP_internal(SubLObject relation, SubLObject argnum, SubLObject mt)
static SubLObject	sentence_arg_intP(SubLObject relation, SubLObject argnum, SubLObject mt)
static SubLObject	sentence_argP(SubLObject relation, SubLObject argnum, SubLObject mt)
static SubLObject	setup_czer_utilities_file()
static SubLObject	some_canonicalizer_directive_assertions_somewhereP(SubLObject relation) Return T iff RELATION is known to have any canonicalizer-directive assertions stated about it at all.
static SubLObject	true_negated_formulaP(SubLObject formula)
static SubLObject	true_negated_varP(SubLObject formula, SubLObject varP)
static SubLObject	true_sentenceP(SubLObject formula)
static SubLObject	unwrap_if_ist_canonical_int(SubLObject sentence, SubLObject mt, SubLObject errorP)
static SubLObject	unwrap_if_ist_int(SubLObject sentence, SubLObject mt, SubLObject errorP)
static SubLObject	unwrap_if_ist_permissive_canonical(SubLObject sentence, SubLObject mt) Like @xref unwrap-if-ist-permissive except canonicalizes the returned mt if it's different from MT.
static SubLObject	unwrap_if_ist_permissive(SubLObject sentence, SubLObject mt) Like @xref unwrap-if-ist except doesn't error if no mt is specified.
static SubLObject	unwrap_if_ist_recursive(SubLObject sentence, SubLObject mt)
static SubLObject	unwrap_if_ist(SubLObject sentence, SubLObject mt)
static SubLObject	within_disjunctionP()
static SubLObject	within_negated_disjunctionP()
static SubLObject	within_negationP()

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

$kw0$TRUE

public static final SubLSymbol $kw0$TRUE

$const1$canonicalizerDirectiveForArg

public static final SubLObject $const1$canonicalizerDirectiveForArg

$kw2$GAF

public static final SubLSymbol $kw2$GAF

$const3$canonicalizerDirectiveForArgAndRe

public static final SubLObject $const3$canonicalizerDirectiveForArgAndRe

$const4$canonicalizerDirectiveForAllArgs

public static final SubLObject $const4$canonicalizerDirectiveForAllArgs

$const5$LeaveSomeTermsAtEL

public static final SubLObject $const5$LeaveSomeTermsAtEL

$list6

public static final SubLList $list6

$const7$LeaveSomeTermsAtELAndAllowKeyword

public static final SubLObject $const7$LeaveSomeTermsAtELAndAllowKeyword

$list8

public static final SubLList $list8

$const9$AllowKeywordVariables

public static final SubLObject $const9$AllowKeywordVariables

$list10

public static final SubLList $list10

$const11$LeaveVariablesAtEL

public static final SubLObject $const11$LeaveVariablesAtEL

$list12

public static final SubLList $list12

$list13

public static final SubLList $list13

$const14$AllowGenericArgVariables

public static final SubLObject $const14$AllowGenericArgVariables

$list15

public static final SubLList $list15

$kw16$EL_VAR

public static final SubLSymbol $kw16$EL_VAR

$str17$X__d

public static final SubLString $str17$X__d

$kw18$KB_VAR

public static final SubLSymbol $kw18$KB_VAR

$str19$_a_was_not_a_canonical_variable

public static final SubLString $str19$_a_was_not_a_canonical_variable

$const20$RelaxArgTypeConstraintsForVariabl

public static final SubLObject $const20$RelaxArgTypeConstraintsForVariabl

$const21$DontReOrderCommutativeTerms

public static final SubLObject $const21$DontReOrderCommutativeTerms

$const22$CycLIndexedTerm

public static final SubLObject $const22$CycLIndexedTerm

$const23$CycLExpression

public static final SubLObject $const23$CycLExpression

$sym24$FORMULA_ARG_INT_

public static final SubLSymbol $sym24$FORMULA_ARG_INT_

$const25$CycLFormula

public static final SubLObject $const25$CycLFormula

$sym26$_FORMULA_ARG_INT__CACHING_STATE_

public static final SubLSymbol $sym26$_FORMULA_ARG_INT__CACHING_STATE_

$int27$1024

public static final SubLInteger $int27$1024

$kw28$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw28$_MEMOIZED_ITEM_NOT_FOUND_

$sym29$QUOTED_FORMULA_ARG_INT_

public static final SubLSymbol $sym29$QUOTED_FORMULA_ARG_INT_

$sym30$_QUOTED_FORMULA_ARG_INT__CACHING_STATE_

public static final SubLSymbol $sym30$_QUOTED_FORMULA_ARG_INT__CACHING_STATE_

$sym31$SENTENCE_ARG_INT_

public static final SubLSymbol $sym31$SENTENCE_ARG_INT_

$const32$CycLSentence

public static final SubLObject $const32$CycLSentence

$sym33$_SENTENCE_ARG_INT__CACHING_STATE_

public static final SubLSymbol $sym33$_SENTENCE_ARG_INT__CACHING_STATE_

$sym34$QUOTED_SENTENCE_ARG_INT_

public static final SubLSymbol $sym34$QUOTED_SENTENCE_ARG_INT_

$sym35$_QUOTED_SENTENCE_ARG_INT__CACHING_STATE_

public static final SubLSymbol $sym35$_QUOTED_SENTENCE_ARG_INT__CACHING_STATE_

$const36$CycLSentence_Askable

public static final SubLObject $const36$CycLSentence_Askable

$const37$CycLSentence_Assertible

public static final SubLObject $const37$CycLSentence_Assertible

$const38$CycLDenotationalTerm

public static final SubLObject $const38$CycLDenotationalTerm

$const39$ist

public static final SubLObject $const39$ist

$sym40$CATCH_ERROR_MESSAGE_HANDLER

public static final SubLSymbol $sym40$CATCH_ERROR_MESSAGE_HANDLER

$sym41$NPUT_BACK_CLAUSE_EL_VARIABLES

public static final SubLSymbol $sym41$NPUT_BACK_CLAUSE_EL_VARIABLES

$sym42$PUT_BACK_CLAUSE_EL_VARIABLES

public static final SubLSymbol $sym42$PUT_BACK_CLAUSE_EL_VARIABLES

$sym43$FIRST

public static final SubLSymbol $sym43$FIRST

$sym44$SECOND

public static final SubLSymbol $sym44$SECOND

$const45$termOfUnit

public static final SubLObject $const45$termOfUnit

$str46$function

public static final SubLString $str46$function

$const47$equals

public static final SubLObject $const47$equals

$const48$evaluate

public static final SubLObject $const48$evaluate

$sym49$STRING_

public static final SubLSymbol $sym49$STRING_

$str50$

public static final SubLString $str50$

$str51$__s

public static final SubLString $str51$__s

$sym52$_X

public static final SubLSymbol $sym52$_X

$str53$Could_not_create_a_unique_HL_var_

public static final SubLString $str53$Could_not_create_a_unique_HL_var_

$kw54$DEFAULT

public static final SubLSymbol $kw54$DEFAULT

$sym55$CYC_VAR_

public static final SubLSymbol $sym55$CYC_VAR_

$const56$trueSentence

public static final SubLObject $const56$trueSentence

$sym57$EL_FORMULA_P

public static final SubLSymbol $sym57$EL_FORMULA_P

$const58$functionCommutesWith

public static final SubLObject $const58$functionCommutesWith

$sym59$FORT_OR_NAUT_WITH_CORRESPONDING_NART_

public static final SubLSymbol $sym59$FORT_OR_NAUT_WITH_CORRESPONDING_NART_

$sym60$VARIABLE_P

public static final SubLSymbol $sym60$VARIABLE_P

$sym61$NEGATE_ATOMIC

public static final SubLSymbol $sym61$NEGATE_ATOMIC

$sym62$EQUALS_EL_MEMOIZED_

public static final SubLSymbol $sym62$EQUALS_EL_MEMOIZED_

$kw63$CNF

public static final SubLSymbol $kw63$CNF

$kw64$DNF

public static final SubLSymbol $kw64$DNF

$sym65$CLAUSAL_FORM_P

public static final SubLSymbol $sym65$CLAUSAL_FORM_P

$sym66$BOOLEANP

public static final SubLSymbol $sym66$BOOLEANP

$str67$Unexpected_clausal_form__s

public static final SubLString $str67$Unexpected_clausal_form__s

$sym68$NON_NULL_CLOSED_TERM_

public static final SubLSymbol $sym68$NON_NULL_CLOSED_TERM_

$sym69$NON_DOTTED_LIST_P

public static final SubLSymbol $sym69$NON_DOTTED_LIST_P

$str70$Invalid_attempt_to_reuse_memoizat

public static final SubLString $str70$Invalid_attempt_to_reuse_memoizat

$sym71$RECANONICALIZED_CANDIDATE_NAT_EQUALS_NAT_FORMULA_

public static final SubLSymbol $sym71$RECANONICALIZED_CANDIDATE_NAT_EQUALS_NAT_FORMULA_

$sym72$FORT_P

public static final SubLSymbol $sym72$FORT_P

$const73$TheSet

public static final SubLObject $const73$TheSet

$sym74$EVALUATABLE_EXPRESSION_

public static final SubLSymbol $sym74$EVALUATABLE_EXPRESSION_

$sym75$TRANSFORM_EVALUATION_EXPRESSION

public static final SubLSymbol $sym75$TRANSFORM_EVALUATION_EXPRESSION

$str76$_s__s_does_not_adequately_specify

public static final SubLString $str76$_s__s_does_not_adequately_specify

$sym77$HL_VAR_

public static final SubLSymbol $sym77$HL_VAR_

$const78$EscapeQuote

public static final SubLObject $const78$EscapeQuote

$sym79$QUOTED_TERM_WITH_HL_VAR_

public static final SubLSymbol $sym79$QUOTED_TERM_WITH_HL_VAR_

$sym80$ESCAPE_TERM

public static final SubLSymbol $sym80$ESCAPE_TERM

$sym81$DECONTEXTUALIZED_CLAUSE_

public static final SubLSymbol $sym81$DECONTEXTUALIZED_CLAUSE_

$sym82$GENERALIZED_IST_CLAUSE_P

public static final SubLSymbol $sym82$GENERALIZED_IST_CLAUSE_P

$list83

public static final SubLList $list83

$sym84$OPAQUE_ARG_WRT_QUOTING_SEEKER

public static final SubLSymbol $sym84$OPAQUE_ARG_WRT_QUOTING_SEEKER

$kw85$OPAQUE_ARG_FOUND

public static final SubLSymbol $kw85$OPAQUE_ARG_FOUND

$sym86$CYCL_FORMULA_P

public static final SubLSymbol $sym86$CYCL_FORMULA_P

$sym87$ASSERTION_P

public static final SubLSymbol $sym87$ASSERTION_P

$sym88$KB_HL_SUPPORT_P

public static final SubLSymbol $sym88$KB_HL_SUPPORT_P

$sym89$HL_SUPPORT_P

public static final SubLSymbol $sym89$HL_SUPPORT_P

$sym90$DEDUCTION_P

public static final SubLSymbol $sym90$DEDUCTION_P

$sym91$INDEXED_TERM_P

public static final SubLSymbol $sym91$INDEXED_TERM_P

$const92$EverythingPSC

public static final SubLObject $const92$EverythingPSC

$sym93$SKOLEM_NART_

public static final SubLSymbol $sym93$SKOLEM_NART_

$sym94$CDR

public static final SubLSymbol $sym94$CDR

$kw95$ASSERT

public static final SubLSymbol $kw95$ASSERT

$str96$__Error__assert_failed__S___

public static final SubLString $str96$__Error__assert_failed__S___

$str97$__Error__Can_t_find_assertion___

public static final SubLString $str97$__Error__Can_t_find_assertion___

$kw98$UNASSERT

public static final SubLSymbol $kw98$UNASSERT

$str99$__Form___A_in__A__

public static final SubLString $str99$__Form___A_in__A__

$str100$__Error__assert_failed__

public static final SubLString $str100$__Error__assert_failed__

$str101$__Error__Can_t_find_assertions___

public static final SubLString $str101$__Error__Can_t_find_assertions___

$str102$__The_assertion_is__S___

public static final SubLString $str102$__The_assertion_is__S___

$str103$__Its_EL_form_is__S_in__S___

public static final SubLString $str103$__Its_EL_form_is__S_in__S___

$str104$__Error__Can_t_find_assertions___

public static final SubLString $str104$__Error__Can_t_find_assertions___

$str105$__Its_New_EL_form_is__S_in__S___

public static final SubLString $str105$__Its_New_EL_form_is__S_in__S___

$str106$__Error__EL_mismatch___Original__

public static final SubLString $str106$__Error__EL_mismatch___Original__

$str107$__Error__assert_failed___S__

public static final SubLString $str107$__Error__assert_failed___S__

$str108$__Error__unassert_failed___S__

public static final SubLString $str108$__Error__unassert_failed___S__

$const109$False

public static final SubLObject $const109$False

Method Detail

some_canonicalizer_directive_assertions_somewhereP

public static final SubLObject some_canonicalizer_directive_assertions_somewhereP(SubLObject relation)

Return T iff RELATION is known to have any canonicalizer-directive assertions stated about it at all.

naut_with_corresponding_nartP

public static final SubLObject naut_with_corresponding_nartP(SubLObject v_term)

Returns:

booleanp; t iff TERM is a naut which has an already-reified NART counterpart.

canonicalizer_directive_for_argP

public static final SubLObject canonicalizer_directive_for_argP(SubLObject relation,
                                                                SubLObject argnum,
                                                                SubLObject directive,
                                                                SubLObject mt)

Returns:

booleanp; whether the canonicalizer should respect DIRECTIVE when canonicalizing the ARGNUMth argument position of RELATION in MT.

get_nth_canonical_variable

public static final SubLObject get_nth_canonical_variable(SubLObject n,
                                                          SubLObject type)

arg_permits_generic_arg_variablesP

public static final SubLObject arg_permits_generic_arg_variablesP(SubLObject reln,
                                                                  SubLObject argnum,
                                                                  SubLObject mt)

Returns:

boolean; t iff the arg constraints on arg position ARGNUM of relation RELN permit generic args as variables.

arg_permits_keyword_variablesP

public static final SubLObject arg_permits_keyword_variablesP(SubLObject reln,
                                                              SubLObject argnum,
                                                              SubLObject mt)

Returns:

boolean; t iff the arg constraints on arg position ARGNUM of relation RELN permit keywords as variables.

relax_arg_type_constraints_for_variables_for_argP

public static final SubLObject relax_arg_type_constraints_for_variables_for_argP(SubLObject relation,
                                                                                 SubLObject argnum,
                                                                                 SubLObject mt)

dont_reorder_commutative_terms_for_args

public static final SubLObject dont_reorder_commutative_terms_for_args(SubLObject relation,
                                                                       SubLObject mt)

expression_argP

public static final SubLObject expression_argP(SubLObject relation,
                                               SubLObject argnum,
                                               SubLObject mt)

Returns:

boolean; t iff arg number ARGNUM of RELATION is an CycLExpression . (note: such args need only pass syntactic wf tests)

sentence_argP

public static final SubLObject sentence_argP(SubLObject relation,
                                             SubLObject argnum,
                                             SubLObject mt)

Returns:

boolean; t iff RELATION's ARGNUMth arg is constrained to be a collection whose instances are Cyc sentences.

sentence_arg_intP_internal

public static final SubLObject sentence_arg_intP_internal(SubLObject relation,
                                                          SubLObject argnum,
                                                          SubLObject mt)

sentence_arg_intP

public static final SubLObject sentence_arg_intP(SubLObject relation,
                                                 SubLObject argnum,
                                                 SubLObject mt)

quoted_sentence_arg_intP_internal

public static final SubLObject quoted_sentence_arg_intP_internal(SubLObject relation,
                                                                 SubLObject argnum,
                                                                 SubLObject mt)

quoted_sentence_arg_intP

public static final SubLObject quoted_sentence_arg_intP(SubLObject relation,
                                                        SubLObject argnum,
                                                        SubLObject mt)

assertable_formula_argP

public static final SubLObject assertable_formula_argP(SubLObject relation,
                                                       SubLObject argnum,
                                                       SubLObject mt)

Returns:

boolean; t iff arg number ARGNUM of RELATION is an assertable formula (note: such args need pass semantic wf tests)

leave_variables_at_el_for_argP

public static final SubLObject leave_variables_at_el_for_argP(SubLObject relation,
                                                              SubLObject argnum,
                                                              SubLObject mt)

distributing_meta_predP

public static final SubLObject distributing_meta_predP(SubLObject pred)

returns t iff PRED is a #$DistributingMetaKnowledgePredicate.

list_of_clause_binding_list_pairs_p

public static final SubLObject list_of_clause_binding_list_pairs_p(SubLObject object)

Returns:

boolean; t iff OBJECT is a list of clause/binding list pairs, e.g. (( ) ( )), or they could also be triples and the third elements are ignored. This is the return value of @xref canonicalize-cycl.

extract_hl_clauses

public static final SubLObject extract_hl_clauses(SubLObject thing)

This is not destructive.

Parameters:

thing - list; a list of clause/binding-list pairs, e.g. (( ) ( ))

Returns:

list; a list of clauses with the blists ignored and the clauses unmodified.

extract_blists

public static final SubLObject extract_blists(SubLObject thing)

This is not destructive.

Parameters:

thing - list; a list of clause/binding-list pairs, e.g. (( ) ( ))

Returns:

list; a list of clauses with the clauses ignored and the blists unmodified.

canon_varP

public static final SubLObject canon_varP(SubLObject candidate_variable)

Returns:

boolean; t iff CANDIDATE-VARIABLE is a variable, according to whatever definition of variable the canonicalizer is using at the time.

See Also:

cyc-var?, *canon-var-function*

true_sentenceP

public static final SubLObject true_sentenceP(SubLObject formula)

true_negated_varP

public static final SubLObject true_negated_varP(SubLObject formula,
                                                 SubLObject varP)

true_negated_formulaP

public static final SubLObject true_negated_formulaP(SubLObject formula)

encapsulate_formulaP

public static final SubLObject encapsulate_formulaP(SubLObject formula)

intensional_formulaP

public static final SubLObject intensional_formulaP(SubLObject formula)

within_negationP

public static final SubLObject within_negationP()

within_disjunctionP

public static final SubLObject within_disjunctionP()

within_negated_disjunctionP

public static final SubLObject within_negated_disjunctionP()

reifiable_functorP

public static final SubLObject reifiable_functorP(SubLObject functor,
                                                  SubLObject mt)

is FUNCTOR a reifiable functor? The two ways FUNCTOR can be reifiable are: 1. FUNCTOR is a fort which is directly asserted to be reifiable 2. FUNCTOR is a reifiable-function-denoting naut, i.e. a naut with a fort as its functor (call that fort INNER-FUNCTOR), such that INNER-FUNCTOR denotes a reifiable function.

reifiable_function_termP

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

reifiable_nautP

public static final SubLObject reifiable_nautP(SubLObject v_term,
                                               SubLObject varP,
                                               SubLObject mt)

evaluatable_function_symbolP

public static final SubLObject evaluatable_function_symbolP(SubLObject symbol,
                                                            SubLObject mt)

evaluatable_function_termP

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

unwrap_if_ist

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

Returns:

0 sentence; SENTENCE, with any outermost #$ists stripped.

unwrap_if_ist_permissive

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

Like @xref unwrap-if-ist except doesn't error if no mt is specified.

unwrap_if_ist_permissive_canonical

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

Like @xref unwrap-if-ist-permissive except canonicalizes the returned mt if it's different from MT.

unwrap_if_ist_canonical_int

public static final SubLObject unwrap_if_ist_canonical_int(SubLObject sentence,
                                                           SubLObject mt,
                                                           SubLObject errorP)

unwrap_if_ist_int

public static final SubLObject unwrap_if_ist_int(SubLObject sentence,
                                                 SubLObject mt,
                                                 SubLObject errorP)

unwrap_if_ist_recursive

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

Returns:

0 sentence; SENTENCE, with any outermost #$ists stripped.

quoted_term_with_hl_varP

public static final SubLObject quoted_term_with_hl_varP(SubLObject object)

possibly_escape_quote_hl_vars

public static final SubLObject possibly_escape_quote_hl_vars(SubLObject object,
                                                             SubLObject destructiveP)

generalized_ist_clauses_p

public static final SubLObject generalized_ist_clauses_p(SubLObject v_clauses)

generalized_ist_clause_p

public static final SubLObject generalized_ist_clause_p(SubLObject clause)

generalized_ist_literal_p

public static final SubLObject generalized_ist_literal_p(SubLObject object)

declare_czer_utilities_file

public static final SubLObject declare_czer_utilities_file()

init_czer_utilities_file

public static final SubLObject init_czer_utilities_file()

setup_czer_utilities_file

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