com.cyc.cycjava.cycl
Class arguments

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class arguments
extends SubLTranslatedFile

Nested Class Summary

static class	arguments.$argument_type_proper_genls$UnaryFunction
static class	arguments.$asserted_argument_p$UnaryFunction
static class	arguments.$justification_equal$BinaryFunction
static class	arguments.$support_equal$BinaryFunction
static class	arguments.$support_L$BinaryFunction
static class	arguments.$support_mt$UnaryFunction
static class	arguments.$support_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$assertion_support_module$ The module which denotes that an assertion is the support.
static SubLSymbol	$kw34$ASSERTED_ARGUMENT
static SubLSymbol	$kw53$SYNTACTICALLY_ILL_FORMED
static SubLSymbol	$kw55$ASSERTION
static SubLSymbol	$kw75$TRUE_DEF
static SubLSymbol	$kw85$GENLPREDS
static SubLList	$list0
static SubLList	$list10
static SubLList	$list14
static SubLList	$list16
static SubLList	$list18
static SubLList	$list19
static SubLList	$list22
static SubLList	$list25
static SubLList	$list27
static SubLList	$list28
static SubLList	$list31
static SubLList	$list36
static SubLList	$list40
static SubLList	$list46
static SubLList	$list48
static SubLList	$list49
static SubLList	$list5
static SubLList	$list57
static SubLList	$list59
static SubLList	$list60
static SubLList	$list63
static SubLList	$list65
static SubLList	$list68
static SubLList	$list80
static SubLList	$list82
static SubLList	$list83
static SubLString	$str1$mapping_Cyc_arguments
static SubLString	$str11$mapping_Cyc_asserted_arguments
static SubLString	$str15$Return_T_iff_OBJECT_is_an_HL_argu
static SubLString	$str17$unexpected_argument_type
static SubLString	$str23$Return_T_iff_ARGUMENT1_and_ARGUME
static SubLString	$str26$Return_the_truth_of_ARGUMENT_
static SubLString	$str30$Return_the_strength_of_ARGUMENT_
static SubLString	$str32$unexpected_belief_type
static SubLString	$str33$Return_T_iff_OBJECT_is_an_HL_asse
static SubLString	$str47$Return_the_asserted_argument_with
static SubLString	$str51$Return_T_iff_OBJECT_can_be_a_supp
static SubLString	$str58$Return_the_module_of_SUPPORT_
static SubLString	$str6$mapping_Cyc_belief_arguments
static SubLString	$str62$Return_the_sentence_of_SUPPORT_
static SubLString	$str67$Return_the_microtheory_of_SUPPORT
static SubLString	$str70$Return_the_truth_of_SUPPORT_
static SubLString	$str72$Return_the_strength_of_SUPPORT_
static SubLString	$str74$Does_OBJECT_represent_an_HL_suppo
static SubLString	$str81$Construct_a_new_HL_support_
static SubLSymbol	$sym12$ASSERTED_ARGUMENT_P
static SubLSymbol	$sym13$ARGUMENT_P
static SubLSymbol	$sym2$DO_ASSERTIONS
static SubLSymbol	$sym20$ARGUMENT_TYPE_PROPER_GENLS
static SubLSymbol	$sym21$ARGUMENT_EQUAL
static SubLSymbol	$sym24$ARGUMENT_TRUTH
static SubLSymbol	$sym29$ARGUMENT_STRENGTH
static SubLSymbol	$sym3$CDOLIST
static SubLSymbol	$sym35$EL_STRENGTH_SPEC_P
static SubLSymbol	$sym37$FIRST
static SubLSymbol	$sym38$TV_P
static SubLSymbol	$sym39$SECOND
static SubLSymbol	$sym4$ASSERTION_ARGUMENTS
static SubLSymbol	$sym41$ASSERTION_P
static SubLSymbol	$sym42$TRUTH_P
static SubLSymbol	$sym43$EL_STRENGTH_P
static SubLSymbol	$sym44$KB_LOOKUP_ASSERTED_ARGUMENT
static SubLSymbol	$sym45$QUOTE
static SubLSymbol	$sym50$SUPPORT_P
static SubLSymbol	$sym52$CATCH_ERROR_MESSAGE_HANDLER
static SubLSymbol	$sym54$SUPPORT__
static SubLSymbol	$sym56$SUPPORT_MODULE
static SubLSymbol	$sym61$SUPPORT_SENTENCE
static SubLSymbol	$sym64$SUPPORT_FORMULA
static SubLSymbol	$sym66$SUPPORT_MT
static SubLSymbol	$sym69$SUPPORT_TRUTH
static SubLSymbol	$sym7$DO_ARGUMENTS
static SubLSymbol	$sym71$SUPPORT_STRENGTH
static SubLSymbol	$sym73$HL_SUPPORT_P
static SubLSymbol	$sym76$HL_SUPPORT_MODULE_P
static SubLSymbol	$sym77$POSSIBLY_CYCL_SENTENCE_P
static SubLSymbol	$sym78$HLMT_P
static SubLSymbol	$sym79$MAKE_HL_SUPPORT
static SubLSymbol	$sym8$PWHEN
static SubLSymbol	$sym84$INVALID_INDEXED_TERM_
static SubLSymbol	$sym86$HL_JUSTIFICATION_P
static SubLSymbol	$sym87$SUPPORT_EQUAL
static SubLSymbol	$sym9$BELIEF_P
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	argument_spec_type(SubLObject argument_spec) Returns the type of the argument specified by ARGUMENT-SPEC
static SubLObject	argument_strength(SubLObject argument) Return the strength of ARGUMENT.
static SubLObject	argument_truth(SubLObject argument) Return the truth of ARGUMENT.
static SubLObject	argument_tv(SubLObject argument) Return the HL tv of ARGUMENT.
static SubLObject	argument_type_genls(SubLObject argument_type) Returns the genls of ARGUMENT-TYPE in the hard-coded hierarchy
static SubLObject	argument_type_hierarchy() A list of pairs of the form (ARGUMENT-TYPE list-of-proper-genls)
static SubLObject	argument_type_proper_genls(SubLObject argument_type) Returns the proper genls of ARGUMENT-TYPE in the hard-coded hierarchy
static SubLObject	asserted_argument_p(SubLObject object) Return T iff OBJECT is an HL asserted argument structure.
static SubLObject	asserted_argument_spec_strength_spec(SubLObject asserted_argument_spec)
static SubLObject	asserted_argument_token_from_tv(SubLObject tv)
static SubLObject	asserted_argument_token_p(SubLObject object)
static SubLObject	asserted_argument_tokens()
static SubLObject	asserted_argument_truth(SubLObject asserted_argument)
static SubLObject	asserted_argument_tv(SubLObject asserted_argument)
static SubLObject	assertion_from_hl_support(SubLObject hl_support)
static SubLObject	belief_p(SubLObject object) Return T iff OBJECT is an HL belief structure.
static SubLObject	belief_truth(SubLObject belief)
static SubLObject	belief_tv(SubLObject belief)
static SubLObject	canonicalize_hl_justification(SubLObject hl_justification)
static SubLObject	canonicalize_hl_support(SubLObject hl_support, SubLObject possibly_create_new_kb_hl_supportP)
static SubLObject	canonicalize_support(SubLObject support, SubLObject possibly_create_new_kb_hl_supportP) Canonicalize SUPPORT.
static SubLObject	canonicalize_supports(SubLObject supports, SubLObject possibly_create_new_kb_hl_supportsP) Return a sorted list of canonicalized supports.
static SubLObject	create_asserted_argument_spec(SubLObject strength_spec)
static SubLObject	create_asserted_argument(SubLObject assertion, SubLObject tv) Create an asserted argument for ASSERTION with TV.
static SubLObject	declare_arguments_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	hl_support_module(SubLObject hl_support)
static SubLObject	hl_support_mt(SubLObject hl_support)
static SubLObject	hl_support_p(SubLObject object) Does OBJECT represent an HL support?
static SubLObject	hl_support_sentence(SubLObject hl_support)
static SubLObject	hl_support_tv(SubLObject hl_support)
static SubLObject	init_arguments_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	justification_equal(SubLObject justification1, SubLObject justification2)
static SubLObject	kb_remove_asserted_argument_internal(SubLObject asserted_argument)
static SubLObject	make_hl_support(SubLObject hl_module, SubLObject sentence, SubLObject mt, SubLObject tv) Construct a new HL support.
static SubLObject	non_empty_hl_justification_p(SubLObject object)
static SubLObject	remove_argument(SubLObject argument, SubLObject assertion) Remove ARGUMENT from the KB, and unhook it from ASSERTION.
static SubLObject	remove_belief(SubLObject belief, SubLObject assertion)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_arguments_file()
static SubLObject	support_equal(SubLObject support1, SubLObject support2)
static SubLObject	support_formula(SubLObject support)
static SubLObject	support_justification(SubLObject support) Return a justification for SUPPORT.
static SubLObject	support_L(SubLObject support1, SubLObject support2) Imposes an arbitrary but consistent total order between supports.
static SubLObject	support_module(SubLObject support) Return the module of SUPPORT.
static SubLObject	support_mt(SubLObject support) Return the microtheory of SUPPORT.
static SubLObject	support_p(SubLObject object) Return T iff OBJECT can be a support in an argument.
static SubLObject	support_sentence(SubLObject support) Return the sentence of SUPPORT.
static SubLObject	support_strength(SubLObject support) Return the strength of SUPPORT.
static SubLObject	support_tv(SubLObject support)
static SubLObject	tv_from_asserted_argument_token(SubLObject asserted_argument)
static SubLObject	valid_argument(SubLObject argument, SubLObject robust) Return T if ARGUMENT is a valid argument.
static SubLObject	valid_supportP(SubLObject support, SubLObject robust) Return T if SUPPORT is a valid kb deduction support.

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_support_module$

public static SubLSymbol $assertion_support_module$

The module which denotes that an assertion is the support.

$list0

public static final SubLList $list0

$str1$mapping_Cyc_arguments

public static final SubLString $str1$mapping_Cyc_arguments

$sym2$DO_ASSERTIONS

public static final SubLSymbol $sym2$DO_ASSERTIONS

$sym3$CDOLIST

public static final SubLSymbol $sym3$CDOLIST

$sym4$ASSERTION_ARGUMENTS

public static final SubLSymbol $sym4$ASSERTION_ARGUMENTS

$list5

public static final SubLList $list5

$str6$mapping_Cyc_belief_arguments

public static final SubLString $str6$mapping_Cyc_belief_arguments

$sym7$DO_ARGUMENTS

public static final SubLSymbol $sym7$DO_ARGUMENTS

$sym8$PWHEN

public static final SubLSymbol $sym8$PWHEN

$sym9$BELIEF_P

public static final SubLSymbol $sym9$BELIEF_P

$list10

public static final SubLList $list10

$str11$mapping_Cyc_asserted_arguments

public static final SubLString $str11$mapping_Cyc_asserted_arguments

$sym12$ASSERTED_ARGUMENT_P

public static final SubLSymbol $sym12$ASSERTED_ARGUMENT_P

$sym13$ARGUMENT_P

public static final SubLSymbol $sym13$ARGUMENT_P

$list14

public static final SubLList $list14

$str15$Return_T_iff_OBJECT_is_an_HL_argu

public static final SubLString $str15$Return_T_iff_OBJECT_is_an_HL_argu

$list16

public static final SubLList $list16

$str17$unexpected_argument_type

public static final SubLString $str17$unexpected_argument_type

$list18

public static final SubLList $list18

$list19

public static final SubLList $list19

$sym20$ARGUMENT_TYPE_PROPER_GENLS

public static final SubLSymbol $sym20$ARGUMENT_TYPE_PROPER_GENLS

$sym21$ARGUMENT_EQUAL

public static final SubLSymbol $sym21$ARGUMENT_EQUAL

$list22

public static final SubLList $list22

$str23$Return_T_iff_ARGUMENT1_and_ARGUME

public static final SubLString $str23$Return_T_iff_ARGUMENT1_and_ARGUME

$sym24$ARGUMENT_TRUTH

public static final SubLSymbol $sym24$ARGUMENT_TRUTH

$list25

public static final SubLList $list25

$str26$Return_the_truth_of_ARGUMENT_

public static final SubLString $str26$Return_the_truth_of_ARGUMENT_

$list27

public static final SubLList $list27

$list28

public static final SubLList $list28

$sym29$ARGUMENT_STRENGTH

public static final SubLSymbol $sym29$ARGUMENT_STRENGTH

$str30$Return_the_strength_of_ARGUMENT_

public static final SubLString $str30$Return_the_strength_of_ARGUMENT_

$list31

public static final SubLList $list31

$str32$unexpected_belief_type

public static final SubLString $str32$unexpected_belief_type

$str33$Return_T_iff_OBJECT_is_an_HL_asse

public static final SubLString $str33$Return_T_iff_OBJECT_is_an_HL_asse

$kw34$ASSERTED_ARGUMENT

public static final SubLSymbol $kw34$ASSERTED_ARGUMENT

$sym35$EL_STRENGTH_SPEC_P

public static final SubLSymbol $sym35$EL_STRENGTH_SPEC_P

$list36

public static final SubLList $list36

$sym37$FIRST

public static final SubLSymbol $sym37$FIRST

$sym38$TV_P

public static final SubLSymbol $sym38$TV_P

$sym39$SECOND

public static final SubLSymbol $sym39$SECOND

$list40

public static final SubLList $list40

$sym41$ASSERTION_P

public static final SubLSymbol $sym41$ASSERTION_P

$sym42$TRUTH_P

public static final SubLSymbol $sym42$TRUTH_P

$sym43$EL_STRENGTH_P

public static final SubLSymbol $sym43$EL_STRENGTH_P

$sym44$KB_LOOKUP_ASSERTED_ARGUMENT

public static final SubLSymbol $sym44$KB_LOOKUP_ASSERTED_ARGUMENT

$sym45$QUOTE

public static final SubLSymbol $sym45$QUOTE

$list46

public static final SubLList $list46

$str47$Return_the_asserted_argument_with

public static final SubLString $str47$Return_the_asserted_argument_with

$list48

public static final SubLList $list48

$list49

public static final SubLList $list49

$sym50$SUPPORT_P

public static final SubLSymbol $sym50$SUPPORT_P

$str51$Return_T_iff_OBJECT_can_be_a_supp

public static final SubLString $str51$Return_T_iff_OBJECT_can_be_a_supp

$sym52$CATCH_ERROR_MESSAGE_HANDLER

public static final SubLSymbol $sym52$CATCH_ERROR_MESSAGE_HANDLER

$kw53$SYNTACTICALLY_ILL_FORMED

public static final SubLSymbol $kw53$SYNTACTICALLY_ILL_FORMED

$sym54$SUPPORT__

public static final SubLSymbol $sym54$SUPPORT__

$kw55$ASSERTION

public static final SubLSymbol $kw55$ASSERTION

$sym56$SUPPORT_MODULE

public static final SubLSymbol $sym56$SUPPORT_MODULE

$list57

public static final SubLList $list57

$str58$Return_the_module_of_SUPPORT_

public static final SubLString $str58$Return_the_module_of_SUPPORT_

$list59

public static final SubLList $list59

$list60

public static final SubLList $list60

$sym61$SUPPORT_SENTENCE

public static final SubLSymbol $sym61$SUPPORT_SENTENCE

$str62$Return_the_sentence_of_SUPPORT_

public static final SubLString $str62$Return_the_sentence_of_SUPPORT_

$list63

public static final SubLList $list63

$sym64$SUPPORT_FORMULA

public static final SubLSymbol $sym64$SUPPORT_FORMULA

$list65

public static final SubLList $list65

$sym66$SUPPORT_MT

public static final SubLSymbol $sym66$SUPPORT_MT

$str67$Return_the_microtheory_of_SUPPORT

public static final SubLString $str67$Return_the_microtheory_of_SUPPORT

$list68

public static final SubLList $list68

$sym69$SUPPORT_TRUTH

public static final SubLSymbol $sym69$SUPPORT_TRUTH

$str70$Return_the_truth_of_SUPPORT_

public static final SubLString $str70$Return_the_truth_of_SUPPORT_

$sym71$SUPPORT_STRENGTH

public static final SubLSymbol $sym71$SUPPORT_STRENGTH

$str72$Return_the_strength_of_SUPPORT_

public static final SubLString $str72$Return_the_strength_of_SUPPORT_

$sym73$HL_SUPPORT_P

public static final SubLSymbol $sym73$HL_SUPPORT_P

$str74$Does_OBJECT_represent_an_HL_suppo

public static final SubLString $str74$Does_OBJECT_represent_an_HL_suppo

$kw75$TRUE_DEF

public static final SubLSymbol $kw75$TRUE_DEF

$sym76$HL_SUPPORT_MODULE_P

public static final SubLSymbol $sym76$HL_SUPPORT_MODULE_P

$sym77$POSSIBLY_CYCL_SENTENCE_P

public static final SubLSymbol $sym77$POSSIBLY_CYCL_SENTENCE_P

$sym78$HLMT_P

public static final SubLSymbol $sym78$HLMT_P

$sym79$MAKE_HL_SUPPORT

public static final SubLSymbol $sym79$MAKE_HL_SUPPORT

$list80

public static final SubLList $list80

$str81$Construct_a_new_HL_support_

public static final SubLString $str81$Construct_a_new_HL_support_

$list82

public static final SubLList $list82

$list83

public static final SubLList $list83

$sym84$INVALID_INDEXED_TERM_

public static final SubLSymbol $sym84$INVALID_INDEXED_TERM_

$kw85$GENLPREDS

public static final SubLSymbol $kw85$GENLPREDS

$sym86$HL_JUSTIFICATION_P

public static final SubLSymbol $sym86$HL_JUSTIFICATION_P

$sym87$SUPPORT_EQUAL

public static final SubLSymbol $sym87$SUPPORT_EQUAL

Method Detail

valid_argument

public static final SubLObject valid_argument(SubLObject argument,
                                              SubLObject robust)

Return T if ARGUMENT is a valid argument. ROBUST requests more thorough checking.

argument_spec_type

public static final SubLObject argument_spec_type(SubLObject argument_spec)

Returns the type of the argument specified by ARGUMENT-SPEC

argument_type_hierarchy

public static final SubLObject argument_type_hierarchy()

A list of pairs of the form (ARGUMENT-TYPE list-of-proper-genls)

argument_type_proper_genls

public static final SubLObject argument_type_proper_genls(SubLObject argument_type)

Returns the proper genls of ARGUMENT-TYPE in the hard-coded hierarchy

argument_type_genls

public static final SubLObject argument_type_genls(SubLObject argument_type)

Returns the genls of ARGUMENT-TYPE in the hard-coded hierarchy

argument_truth

public static final SubLObject argument_truth(SubLObject argument)

Return the truth of ARGUMENT.

argument_tv

public static final SubLObject argument_tv(SubLObject argument)

Return the HL tv of ARGUMENT.

argument_strength

public static final SubLObject argument_strength(SubLObject argument)

Return the strength of ARGUMENT.

remove_argument

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

Remove ARGUMENT from the KB, and unhook it from ASSERTION.

belief_p

public static final SubLObject belief_p(SubLObject object)

Return T iff OBJECT is an HL belief structure.

remove_belief

public static final SubLObject remove_belief(SubLObject belief,
                                             SubLObject assertion)

belief_truth

public static final SubLObject belief_truth(SubLObject belief)

belief_tv

public static final SubLObject belief_tv(SubLObject belief)

asserted_argument_p

public static final SubLObject asserted_argument_p(SubLObject object)

Return T iff OBJECT is an HL asserted argument structure.

create_asserted_argument

public static final SubLObject create_asserted_argument(SubLObject assertion,
                                                        SubLObject tv)

Create an asserted argument for ASSERTION with TV.

create_asserted_argument_spec

public static final SubLObject create_asserted_argument_spec(SubLObject strength_spec)

asserted_argument_spec_strength_spec

public static final SubLObject asserted_argument_spec_strength_spec(SubLObject asserted_argument_spec)

kb_remove_asserted_argument_internal

public static final SubLObject kb_remove_asserted_argument_internal(SubLObject asserted_argument)

asserted_argument_tokens

public static final SubLObject asserted_argument_tokens()

asserted_argument_token_p

public static final SubLObject asserted_argument_token_p(SubLObject object)

asserted_argument_token_from_tv

public static final SubLObject asserted_argument_token_from_tv(SubLObject tv)

tv_from_asserted_argument_token

public static final SubLObject tv_from_asserted_argument_token(SubLObject asserted_argument)

asserted_argument_tv

public static final SubLObject asserted_argument_tv(SubLObject asserted_argument)

asserted_argument_truth

public static final SubLObject asserted_argument_truth(SubLObject asserted_argument)

support_p

public static final SubLObject support_p(SubLObject object)

Return T iff OBJECT can be a support in an argument.

valid_supportP

public static final SubLObject valid_supportP(SubLObject support,
                                              SubLObject robust)

Return T if SUPPORT is a valid kb deduction support. ROBUST requests more thorough checking.

support_equal

public static final SubLObject support_equal(SubLObject support1,
                                             SubLObject support2)

support_L

public static final SubLObject support_L(SubLObject support1,
                                         SubLObject support2)

Imposes an arbitrary but consistent total order between supports.

support_module

public static final SubLObject support_module(SubLObject support)

Return the module of SUPPORT.

support_sentence

public static final SubLObject support_sentence(SubLObject support)

Return the sentence of SUPPORT.

support_formula

public static final SubLObject support_formula(SubLObject support)

support_mt

public static final SubLObject support_mt(SubLObject support)

Return the microtheory of SUPPORT.

support_justification

public static final SubLObject support_justification(SubLObject support)

Return a justification for SUPPORT.

support_strength

public static final SubLObject support_strength(SubLObject support)

Return the strength of SUPPORT.

support_tv

public static final SubLObject support_tv(SubLObject support)

canonicalize_supports

public static final SubLObject canonicalize_supports(SubLObject supports,
                                                     SubLObject possibly_create_new_kb_hl_supportsP)

Return a sorted list of canonicalized supports. This is not destructive.

canonicalize_support

public static final SubLObject canonicalize_support(SubLObject support,
                                                    SubLObject possibly_create_new_kb_hl_supportP)

Canonicalize SUPPORT. If SUPPORT is an assertion or KB HL support, this simply returns SUPPORT. Otherwise, the function attempts to find a KB HL support for SUPPORT or, if POSSIBLY-CREATE-NEW-KB-HL-SUPPORT? is non-NIL, it may create a new one.

canonicalize_hl_support

public static final SubLObject canonicalize_hl_support(SubLObject hl_support,
                                                       SubLObject possibly_create_new_kb_hl_supportP)

hl_support_p

public static final SubLObject hl_support_p(SubLObject object)

Does OBJECT represent an HL support?

make_hl_support

public static final SubLObject make_hl_support(SubLObject hl_module,
                                               SubLObject sentence,
                                               SubLObject mt,
                                               SubLObject tv)

Construct a new HL support.

assertion_from_hl_support

public static final SubLObject assertion_from_hl_support(SubLObject hl_support)

hl_support_module

public static final SubLObject hl_support_module(SubLObject hl_support)

hl_support_sentence

public static final SubLObject hl_support_sentence(SubLObject hl_support)

hl_support_mt

public static final SubLObject hl_support_mt(SubLObject hl_support)

hl_support_tv

public static final SubLObject hl_support_tv(SubLObject hl_support)

non_empty_hl_justification_p

public static final SubLObject non_empty_hl_justification_p(SubLObject object)

justification_equal

public static final SubLObject justification_equal(SubLObject justification1,
                                                   SubLObject justification2)

canonicalize_hl_justification

public static final SubLObject canonicalize_hl_justification(SubLObject hl_justification)

declare_arguments_file

public static final SubLObject declare_arguments_file()

init_arguments_file

public static final SubLObject init_arguments_file()

setup_arguments_file

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