folification

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 folification

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class folification
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary

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

Field Summary
`static SubLObject`	`$const100$resultIsaArg`
`static SubLObject`	`$const101$RelationAllExistsFn`
`static SubLObject`	`$const103$RelationExistsAllFn`
`static SubLObject`	`$const108$expansion`
`static SubLObject`	`$const126$FOL_UnhandledFn`
`static SubLObject`	`$const128$genlPreds`
`static SubLObject`	`$const130$negationPreds`
`static SubLObject`	`$const132$arg1Isa`
`static SubLObject`	`$const133$arg2Isa`
`static SubLObject`	`$const134$arg3Isa`
`static SubLObject`	`$const135$arg4Isa`
`static SubLObject`	`$const136$arg5Isa`
`static SubLObject`	`$const137$arg6Isa`
`static SubLObject`	`$const138$isa`
`static SubLObject`	`$const139$arg1Genl`
`static SubLObject`	`$const140$arg2Genl`
`static SubLObject`	`$const141$arg3Genl`
`static SubLObject`	`$const142$arg4Genl`
`static SubLObject`	`$const143$arg5Genl`
`static SubLObject`	`$const144$arg6Genl`
`static SubLObject`	`$const145$genls`
`static SubLObject`	`$const146$resultIsa`
`static SubLObject`	`$const147$resultGenl`
`static SubLObject`	`$const148$disjointWith`
`static SubLObject`	`$const149$genlInverse`
`static SubLObject`	`$const150$True`
`static SubLObject`	`$const161$equiv`
`static SubLObject`	`$const164$FOL_PredicateFn`
`static SubLObject`	`$const167$implies`
`static SubLObject`	`$const192$transitiveViaArg`
`static SubLObject`	`$const193$transitiveViaArgInverse`
`static SubLObject`	`$const198$natFunction`
`static SubLObject`	`$const199$natArgument`
`static SubLObject`	`$const202$different`
`static SubLObject`	`$const204$equals`
`static SubLObject`	`$const212$memberOfSet`
`static SubLObject`	`$const213$SetifyArgumentFn`
`static SubLObject`	`$const214$ist`
`static SubLObject`	`$const221$Kappa`
`static SubLObject`	`$const230$Lambda`
`static SubLObject`	`$const232$FOL_AtomicTermFn`
`static SubLObject`	`$const234$FOL_FunctionFn`
`static SubLObject`	`$const235$FOL_StringFn`
`static SubLObject`	`$const237$FOL_StringConstantFn`
`static SubLObject`	`$const239$Canonical_String`
`static SubLObject`	`$const242$FOL_NumberFn`
`static SubLObject`	`$const243$FOL_NumberConstantFn`
`static SubLObject`	`$const296$and`
`static SubLObject`	`$const298$or`
`static SubLObject`	`$const300$not`
`static SubLObject`	`$const302$thereExists`
`static SubLObject`	`$const305$forAll`
`static SubLObject`	`$const307$equalSymbols`
`static SubLObject`	`$const57$UniversalVocabularyMt`
`static SubLObject`	`$const60$EverythingPSC`
`static SubLObject`	`$const79$genlMt`
`static SubLObject`	`$const82$mtVisible`
`static SubLSymbol`	$deepak_folification_properties$
`static SubLSymbol`	$folification_version$
`static SubLInteger`	`$int330$256`
`static SubLInteger`	`$int335$32`
`static SubLInteger`	`$int336$126`
`static SubLInteger`	`$int359$60`
`static SubLSymbol`	`$kw1$REGULAR_FOL`
`static SubLSymbol`	`$kw10$ALLOWED`
`static SubLSymbol`	`$kw105$EXPLICITLY_FORBIDDEN_TERM`
`static SubLSymbol`	`$kw110$NOT_IN_THEORY`
`static SubLSymbol`	`$kw12$DWIM_FLOATS_TO_DISTINCT_CONSTANTS`
`static SubLSymbol`	`$kw152$FUNCTION_ARG_CONSTRAINT`
`static SubLSymbol`	`$kw153$ILL_FORMED`
`static SubLSymbol`	`$kw154$NONSTANDARD_SENTENTIAL_RELATION`
`static SubLSymbol`	`$kw155$UNEXPECTED`
`static SubLSymbol`	`$kw160$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw17$GENERATION_PROPERTIES`
`static SubLSymbol`	`$kw18$CANDIDATE_FOL_SENTENCE_COUNT`
`static SubLSymbol`	`$kw183$PREDICATE`
`static SubLSymbol`	`$kw185$TRUE`
`static SubLSymbol`	`$kw19$FOL_SENTENCE_COUNT`
`static SubLSymbol`	`$kw20$TERM_COUNT`
`static SubLSymbol`	`$kw200$SET_THEORY`
`static SubLSymbol`	`$kw201$SEQUENCE_VAR`
`static SubLSymbol`	`$kw206$ISA`
`static SubLSymbol`	`$kw208$META_ASSERTION`
`static SubLSymbol`	`$kw209$META_VARIABLE`
`static SubLSymbol`	`$kw21$HANDLED_TERM_COUNT`
`static SubLSymbol`	`$kw210$SUBL_ESCAPE`
`static SubLSymbol`	`$kw211$META_SENTENCE`
`static SubLSymbol`	`$kw215$IST`
`static SubLSymbol`	`$kw217$NON_PREDICATE`
`static SubLSymbol`	`$kw218$VARIABLE_ARITY_PREDICATE`
`static SubLSymbol`	`$kw219$UNBOUNDED_ARITY_PREDICATE`
`static SubLSymbol`	`$kw22$PARTIALLY_HANDLED_TERM_COUNT`
`static SubLSymbol`	`$kw220$PREDICATE_QUANTIFICATION`
`static SubLSymbol`	`$kw222$KAPPA`
`static SubLSymbol`	`$kw223$NON_COLLECTION`
`static SubLSymbol`	`$kw224$COLLECTION_QUANTIFICATION`
`static SubLSymbol`	`$kw225$NON_FUNCTION`
`static SubLSymbol`	`$kw226$SCOPING_RELATION`
`static SubLSymbol`	`$kw227$VARIABLE_ARITY_FUNCTION`
`static SubLSymbol`	`$kw228$UNBOUNDED_ARITY_FUNCTION`
`static SubLSymbol`	`$kw229$FUNCTION_QUANTIFICATION`
`static SubLSymbol`	`$kw23$UNHANDLED_TERM_COUNT`
`static SubLSymbol`	`$kw231$LAMBDA`
`static SubLSymbol`	`$kw236$DWIM_TO_DISTINCT_CONSTANTS`
`static SubLSymbol`	`$kw238$DWIM_TO_SINGLE_CONSTANT`
`static SubLSymbol`	`$kw24$FOL_SENTENCES_DATA`
`static SubLSymbol`	`$kw244$DWIM_ALL_TO_DISTINCT_CONSTANTS`
`static SubLSymbol`	`$kw25$REJECTION_STATISTICS`
`static SubLSymbol`	`$kw3$MT_VISIBLE_EXCEPT_CORE_MTS`
`static SubLSymbol`	`$kw31$ALLOW_OTHER_KEYS`
`static SubLSymbol`	`$kw32$TRANSLATION_TYPE`
`static SubLSymbol`	`$kw33$MT_HANDLING`
`static SubLSymbol`	`$kw338$INCLUDE_HORN`
`static SubLSymbol`	`$kw339$TERM_TYPES`
`static SubLSymbol`	`$kw34$MT_CEILING`
`static SubLSymbol`	`$kw340$ALL`
`static SubLSymbol`	`$kw341$SKIP`
`static SubLSymbol`	`$kw343$FUNCTION`
`static SubLSymbol`	`$kw344$TERM`
`static SubLSymbol`	`$kw35$ISA_HANDLING`
`static SubLSymbol`	`$kw36$RULE_MACRO_PREDICATE_HANDLING`
`static SubLSymbol`	`$kw360$MAX_TIME`
`static SubLSymbol`	`$kw362$FAILURE`
`static SubLSymbol`	`$kw37$STRING_HANDLING`
`static SubLSymbol`	`$kw38$NUMBER_HANDLING`
`static SubLSymbol`	`$kw39$ALLOW_EQUIV_RELATION_`
`static SubLSymbol`	`$kw40$SAMPLE_RATE`
`static SubLSymbol`	`$kw41$OUTPUT_FILENAME`
`static SubLSymbol`	`$kw42$OUTPUT_FORMAT`
`static SubLSymbol`	`$kw43$HEADER`
`static SubLSymbol`	`$kw44$ANALYSIS_FILENAME`
`static SubLSymbol`	`$kw45$ANALYSIS_FILE_INTERNAL_`
`static SubLSymbol`	`$kw46$INCLUDE_COMMENTS_`
`static SubLSymbol`	`$kw47$RETURN_DATA_`
`static SubLSymbol`	`$kw48$NEGATE_QUERIES_`
`static SubLSymbol`	`$kw49$VERBOSE_`
`static SubLSymbol`	`$kw5$COLLAPSE`
`static SubLSymbol`	`$kw50$OUTPUT`
`static SubLSymbol`	`$kw53$IGNORE_ERRORS_TARGET`
`static SubLSymbol`	`$kw6$UNARY_PREDICATE`
`static SubLSymbol`	`$kw63$INPUT`
`static SubLSymbol`	`$kw64$ANALYSIS`
`static SubLSymbol`	`$kw66$EOF`
`static SubLSymbol`	`$kw67$DATUM`
`static SubLSymbol`	`$kw69$CYCL`
`static SubLSymbol`	`$kw70$TPTP`
`static SubLSymbol`	`$kw78$MT_ARGUMENT`
`static SubLSymbol`	`$kw8$GAF`
`static SubLSymbol`	`$kw81$MT_VISIBLE`
`static SubLSymbol`	`$kw83$FLAT`
`static SubLSymbol`	`$kw84$CONDITIONAL_SENTENCE_`
`static SubLSymbol`	`$kw86$TESTING`
`static SubLSymbol`	`$kw98$EXPANSION`
`static SubLSymbol`	`$kw99$GAF_AND_EXPANSION`
`static SubLList`	`$list102`
`static SubLList`	`$list104`
`static SubLList`	`$list109`
`static SubLList`	`$list11`
`static SubLList`	`$list112`
`static SubLList`	`$list121`
`static SubLList`	`$list127`
`static SubLList`	`$list129`
`static SubLList`	`$list13`
`static SubLList`	`$list131`
`static SubLList`	`$list14`
`static SubLList`	`$list15`
`static SubLList`	`$list151`
`static SubLList`	`$list156`
`static SubLList`	`$list16`
`static SubLList`	`$list162`
`static SubLList`	`$list165`
`static SubLList`	`$list166`
`static SubLList`	`$list168`
`static SubLList`	`$list169`
`static SubLList`	`$list170`
`static SubLList`	`$list171`
`static SubLList`	`$list184`
`static SubLList`	`$list187`
`static SubLList`	`$list188`
`static SubLList`	`$list189`
`static SubLList`	`$list190`
`static SubLList`	`$list191`
`static SubLList`	`$list194`
`static SubLList`	`$list195`
`static SubLList`	`$list2`
`static SubLList`	`$list205`
`static SubLList`	`$list207`
`static SubLList`	`$list216`
`static SubLList`	`$list247`
`static SubLList`	`$list248`
`static SubLList`	`$list29`
`static SubLList`	`$list291`
`static SubLList`	`$list292`
`static SubLList`	`$list30`
`static SubLList`	`$list303`
`static SubLList`	`$list312`
`static SubLList`	`$list313`
`static SubLList`	`$list315`
`static SubLList`	`$list318`
`static SubLList`	`$list320`
`static SubLList`	`$list322`
`static SubLList`	`$list324`
`static SubLList`	`$list327`
`static SubLList`	`$list355`
`static SubLList`	`$list357`
`static SubLObject`	`$list358`
`static SubLList`	`$list361`
`static SubLList`	`$list4`
`static SubLList`	`$list7`
`static SubLList`	`$list73`
`static SubLList`	`$list75`
`static SubLList`	`$list76`
`static SubLList`	`$list77`
`static SubLList`	`$list9`
`static SubLString`	`$str0$0_7_2`
`static SubLString`	`$str113$___a__`
`static SubLString`	`$str114$FOLification_statistics`
`static SubLString`	`$str115$_a__`
`static SubLString`	`$str116$_______________________`
`static SubLString`	`$str117$Rejection_statistics__raw__`
`static SubLString`	`$str118$Rejection_statistics__pretty__`
`static SubLString`	`$str119$Conversion_statistics_`
`static SubLString`	`$str122$_s_assertion_p_could_not_be_conve`
`static SubLString`	`$str123$it`
`static SubLString`	`$str124$they`
`static SubLString`	`$str125$yielded_the_rejection_condition_`
`static SubLString`	`$str158$ARG`
`static SubLString`	`$str240$unexpected_string_handling_direct`
`static SubLString`	`$str245$unexpected_number_handling_direct`
`static SubLString`	`$str250$______S`
`static SubLString`	`$str251$_____QUERY_`
`static SubLString`	`$str252$__Cyc_Assertion___a___`
`static SubLString`	`$str253$__Cyc_NART___a___`
`static SubLString`	`$str254$__Cyc_Constant___a___`
`static SubLString`	`$str255$__CycL_Sentence___a___`
`static SubLString`	`$str256$Unexpected_object__s`
`static SubLString`	`$str257$_________________________________`
`static SubLString`	`$str258$File`
`static SubLString`	`$str259$CYC_10___TPTP_v2_2_0__Released_2_`
`static SubLString`	`$str260$Domain`
`static SubLString`	`$str261$Knowledge_Representation_Common_S`
`static SubLString`	`$str262$Problem`
`static SubLString`	`$str263$Reasoning_with_the_Cyc_Common_Sen`
`static SubLString`	`$str264$Version`
`static SubLString`	`$str265$__`
`static SubLString`	`$str266$English`
`static SubLString`	`$str267$The_Cyc_KB_contains_assertions_fo`
`static SubLString`	`$str268$Refs`
`static SubLString`	$str269$
`static SubLString`	`$str270$Source`
`static SubLString`	`$str271$Names`
`static SubLString`	`$str272$Status`
`static SubLString`	`$str273$unknown`
`static SubLString`	`$str274$Rating`
`static SubLString`	`$str275$1_0`
`static SubLString`	`$str276$Syntax`
`static SubLString`	`$str277$_blank_`
`static SubLString`	`$str278$Comments`
`static SubLString`	`$str279$To_obtain_a_First_Orderification_`
`static SubLString`	`$str280$Bugfixes`
`static SubLString`	`$str281$_________________________________`
`static SubLString`	`$str282$__`
`static SubLString`	`$str283$___`
`static SubLString`	`$str284$_`
`static SubLString`	`$str285$__`
`static SubLString`	`$str288$fof__a_axiom_`
`static SubLString`	`$str289$____`
`static SubLString`	`$str290$fof__a_conjecture_`
`static SubLString`	`$str293$_`
`static SubLString`	`$str294$____`
`static SubLString`	`$str295$_`
`static SubLString`	`$str297$___`
`static SubLString`	`$str299$___`
`static SubLString`	`$str301$__`
`static SubLString`	`$str304$_____a____`
`static SubLString`	`$str306$_____a____`
`static SubLString`	`$str308$___`
`static SubLString`	`$str309$_`
`static SubLString`	`$str310$__`
`static SubLString`	`$str311$unexpected_FOL_term__s`
`static SubLString`	`$str314$p_`
`static SubLString`	`$str316$f_`
`static SubLString`	`$str317$c_zero_arity_function_application`
`static SubLString`	`$str319$c_`
`static SubLString`	`$str321$s_`
`static SubLString`	`$str323$_`
`static SubLString`	`$str326$n_`
`static SubLString`	`$str331$ls_`
`static SubLString`	`$str333$tptp_`
`static SubLString`	`$str342$_S_`
`static SubLString`	`$str346$time_to_handle_non_forts`
`static SubLString`	`$str347$_P`
`static SubLString`	`$str348$_F`
`static SubLString`	`$str349$_T`
`static SubLString`	`$str350$time_to_handle__S`
`static SubLString`	`$str352$__`
`static SubLString`	`$str356$opencyc_all_20050422_non_conditio`
`static SubLString`	`$str363$_S___s___s____`
`static SubLString`	`$str51$Unable_to_open__S`
`static SubLString`	`$str52$Converting_assertions_to_FOL`
`static SubLString`	`$str55$failed_to_translate__s__`
`static SubLString`	`$str56$Converting_sentences_to_FOL`
`static SubLString`	`$str58$failed_to_translate__s`
`static SubLString`	`$str61$Converting_forts_to_FOL`
`static SubLString`	`$str65$Expected_a_fol_sentences_analysis`
`static SubLString`	`$str68$expected_to_input_a_cons__got__s`
`static SubLString`	`$str71$Unrecognized_output_format___s`
`static SubLString`	`$str72$Gathering_FOL_symbols`
`static SubLString`	`$str85$can_t_handle_conditional_sentence`
`static SubLSymbol`	`$sym106$FOL_EXPANDIBLE_EXPRESSION_`
`static SubLSymbol`	`$sym107$FOL_EXPAND_ONE_STEP`
`static SubLSymbol`	`$sym111$FOL_UNHANDLED_EXPRESSION_P`
`static SubLSymbol`	`$sym120$_`
`static SubLSymbol`	`$sym157$FOL_SEQUENCE_VARIABLE_ARGS_FOR_ARITY`
`static SubLSymbol`	`$sym159$_FOL_SEQUENCE_VARIABLE_ARGS_FOR_ARITY_CACHING_STATE_`
`static SubLSymbol`	`$sym163$_X`
`static SubLSymbol`	`$sym172$ARGNUM_1`
`static SubLSymbol`	`$sym173$ARG_ISA_PRED`
`static SubLSymbol`	`$sym174$ARITY`
`static SubLSymbol`	`$sym175$PWHEN`
`static SubLSymbol`	`$sym176$FIXED_ARITY_PREDICATE_P`
`static SubLSymbol`	`$sym177$CLET`
`static SubLSymbol`	`$sym178$ARITY`
`static SubLSymbol`	`$sym179$CDOTIMES`
`static SubLSymbol`	`$sym180$1_`
`static SubLSymbol`	`$sym181$ARG_ISA_PRED`
`static SubLSymbol`	`$sym182$DO_GAF_ARG_INDEX`
`static SubLSymbol`	`$sym186$_INS`
`static SubLSymbol`	`$sym196$_OLD`
`static SubLSymbol`	`$sym197$_NEW`
`static SubLSymbol`	`$sym203$FOL_TRANSFORM_ARG`
`static SubLSymbol`	`$sym233$INTEGERP`
`static SubLSymbol`	`$sym241$NUMBERP`
`static SubLSymbol`	`$sym246$EL_VAR_`
`static SubLSymbol`	`$sym249$FOL_ATOMIC_SENTENCE_`
`static SubLSymbol`	`$sym26$FORT_P`
`static SubLSymbol`	`$sym27$NON_DOTTED_LIST_P`
`static SubLSymbol`	`$sym28$ASSERTION_P`
`static SubLSymbol`	`$sym286$COMPUTE_TPTP_QUERY_INDEX_NUMBER`
`static SubLSymbol`	`$sym287$_COMPUTE_TPTP_QUERY_INDEX_NUMBER_CACHING_STATE_`
`static SubLSymbol`	`$sym325$DOUBLE_FLOAT`
`static SubLSymbol`	`$sym328$TPTP_STRING_CHAR_P`
`static SubLSymbol`	`$sym329$_TPTP_LONG_SYMBOL_NAME_CACHE_`
`static SubLSymbol`	`$sym332$TPTP_NON_NUMERIC_ATOM_CHAR_P`
`static SubLSymbol`	`$sym334$TPTP_NUMERIC_ATOM_CHAR_P`
`static SubLSymbol`	`$sym337$FOCYCL_TO_CYCL`
`static SubLSymbol`	`$sym345$CATEGORIZE_FOL_TERMS_INT`
`static SubLSymbol`	`$sym351$FOL_NART_STRING`
`static SubLSymbol`	`$sym353$VALID_CONSTANT_NAME_CHAR_P`
`static SubLSymbol`	`$sym354$_FOL_NART_STRING_CACHING_STATE_`
`static SubLSymbol`	`$sym54$IGNORE_ERRORS_HANDLER`
`static SubLSymbol`	`$sym59$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym62$STRINGP`
`static SubLSymbol`	`$sym74$FOL_REPRESENTED_TERM_P`
`static SubLSymbol`	`$sym80$_MT`
`static SubLSymbol`	`$sym87$FOL_TRANSLATION_TYPE_PROPERTY_P`
`static SubLSymbol`	`$sym88$FOL_MT_HANDLING_PROPERTY_P`
`static SubLSymbol`	`$sym89$HLMT_P`
`static SubLSymbol`	`$sym90$FOL_ISA_HANDLING_PROPERTY_P`
`static SubLSymbol`	`$sym91$FOL_RMP_HANDLING_PROPERTY_P`
`static SubLSymbol`	`$sym92$FOL_STRING_HANDLING_PROPERTY_P`
`static SubLSymbol`	`$sym93$FOL_NUMBER_HANDLING_PROPERTY_P`
`static SubLSymbol`	`$sym94$BOOLEANP`
`static SubLSymbol`	`$sym95$POSITIVE_INTEGER_P`
`static SubLSymbol`	`$sym96$FILE_VALID_FOR_WRITING_P`
`static SubLSymbol`	`$sym97$FOL_OUTPUT_FORMAT_P`
`static SubLSymbol`	$tptp_axiom_prefix$ If non-nil, will prefix all axiom ids with this string.
`static SubLSymbol`	$tptp_query_name$ If non-nil, will use this name for the conjecture instead of a number.
`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`	`declare_folification_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`init_folification_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_folification_file()`

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

$folification_version$

public static SubLSymbol $folification_version$

$tptp_query_name$

public static SubLSymbol $tptp_query_name$

If non-nil, will use this name for the conjecture instead of a number.

$tptp_axiom_prefix$

public static SubLSymbol $tptp_axiom_prefix$

If non-nil, will prefix all axiom ids with this string.

$deepak_folification_properties$

public static SubLSymbol $deepak_folification_properties$

$str0$0_7_2

public static final SubLString $str0$0_7_2

$kw1$REGULAR_FOL

public static final SubLSymbol $kw1$REGULAR_FOL

$list2

public static final SubLList $list2

$kw3$MT_VISIBLE_EXCEPT_CORE_MTS

public static final SubLSymbol $kw3$MT_VISIBLE_EXCEPT_CORE_MTS

$list4

public static final SubLList $list4

$kw5$COLLAPSE

public static final SubLSymbol $kw5$COLLAPSE

$kw6$UNARY_PREDICATE

public static final SubLSymbol $kw6$UNARY_PREDICATE

$list7

public static final SubLList $list7

$kw8$GAF

public static final SubLSymbol $kw8$GAF

$list9

public static final SubLList $list9

$kw10$ALLOWED

public static final SubLSymbol $kw10$ALLOWED

$list11

public static final SubLList $list11

$kw12$DWIM_FLOATS_TO_DISTINCT_CONSTANTS

public static final SubLSymbol $kw12$DWIM_FLOATS_TO_DISTINCT_CONSTANTS

$list13

public static final SubLList $list13

$list14

public static final SubLList $list14

$list15

public static final SubLList $list15

$list16

public static final SubLList $list16

$kw17$GENERATION_PROPERTIES

public static final SubLSymbol $kw17$GENERATION_PROPERTIES

$kw18$CANDIDATE_FOL_SENTENCE_COUNT

public static final SubLSymbol $kw18$CANDIDATE_FOL_SENTENCE_COUNT

$kw19$FOL_SENTENCE_COUNT

public static final SubLSymbol $kw19$FOL_SENTENCE_COUNT

$kw20$TERM_COUNT

public static final SubLSymbol $kw20$TERM_COUNT

$kw21$HANDLED_TERM_COUNT

public static final SubLSymbol $kw21$HANDLED_TERM_COUNT

$kw22$PARTIALLY_HANDLED_TERM_COUNT

public static final SubLSymbol $kw22$PARTIALLY_HANDLED_TERM_COUNT

$kw23$UNHANDLED_TERM_COUNT

public static final SubLSymbol $kw23$UNHANDLED_TERM_COUNT

$kw24$FOL_SENTENCES_DATA

public static final SubLSymbol $kw24$FOL_SENTENCES_DATA

$kw25$REJECTION_STATISTICS

public static final SubLSymbol $kw25$REJECTION_STATISTICS

$sym26$FORT_P

public static final SubLSymbol $sym26$FORT_P

$sym27$NON_DOTTED_LIST_P

public static final SubLSymbol $sym27$NON_DOTTED_LIST_P

$sym28$ASSERTION_P

public static final SubLSymbol $sym28$ASSERTION_P

$list29

public static final SubLList $list29

$list30

public static final SubLList $list30

$kw31$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw31$ALLOW_OTHER_KEYS

$kw32$TRANSLATION_TYPE

public static final SubLSymbol $kw32$TRANSLATION_TYPE

$kw33$MT_HANDLING

public static final SubLSymbol $kw33$MT_HANDLING

$kw34$MT_CEILING

public static final SubLSymbol $kw34$MT_CEILING

$kw35$ISA_HANDLING

public static final SubLSymbol $kw35$ISA_HANDLING

$kw36$RULE_MACRO_PREDICATE_HANDLING

public static final SubLSymbol $kw36$RULE_MACRO_PREDICATE_HANDLING

$kw37$STRING_HANDLING

public static final SubLSymbol $kw37$STRING_HANDLING

$kw38$NUMBER_HANDLING

public static final SubLSymbol $kw38$NUMBER_HANDLING

$kw39$ALLOW_EQUIV_RELATION_

public static final SubLSymbol $kw39$ALLOW_EQUIV_RELATION_

$kw40$SAMPLE_RATE

public static final SubLSymbol $kw40$SAMPLE_RATE

$kw41$OUTPUT_FILENAME

public static final SubLSymbol $kw41$OUTPUT_FILENAME

$kw42$OUTPUT_FORMAT

public static final SubLSymbol $kw42$OUTPUT_FORMAT

$kw43$HEADER

public static final SubLSymbol $kw43$HEADER

$kw44$ANALYSIS_FILENAME

public static final SubLSymbol $kw44$ANALYSIS_FILENAME

$kw45$ANALYSIS_FILE_INTERNAL_

public static final SubLSymbol $kw45$ANALYSIS_FILE_INTERNAL_

$kw46$INCLUDE_COMMENTS_

public static final SubLSymbol $kw46$INCLUDE_COMMENTS_

$kw47$RETURN_DATA_

public static final SubLSymbol $kw47$RETURN_DATA_

$kw48$NEGATE_QUERIES_

public static final SubLSymbol $kw48$NEGATE_QUERIES_

$kw49$VERBOSE_

public static final SubLSymbol $kw49$VERBOSE_

$kw50$OUTPUT

public static final SubLSymbol $kw50$OUTPUT

$str51$Unable_to_open__S

public static final SubLString $str51$Unable_to_open__S

$str52$Converting_assertions_to_FOL

public static final SubLString $str52$Converting_assertions_to_FOL

$kw53$IGNORE_ERRORS_TARGET

public static final SubLSymbol $kw53$IGNORE_ERRORS_TARGET

$sym54$IGNORE_ERRORS_HANDLER

public static final SubLSymbol $sym54$IGNORE_ERRORS_HANDLER

$str55$failed_to_translates

public static final SubLString $str55$failed_to_translate__s__

$str56$Converting_sentences_to_FOL

public static final SubLString $str56$Converting_sentences_to_FOL

$const57$UniversalVocabularyMt

public static final SubLObject $const57$UniversalVocabularyMt

$str58$failed_to_translate__s

public static final SubLString $str58$failed_to_translate__s

$sym59$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym59$RELEVANT_MT_IS_EVERYTHING

$const60$EverythingPSC

public static final SubLObject $const60$EverythingPSC

$str61$Converting_forts_to_FOL

public static final SubLString $str61$Converting_forts_to_FOL

$sym62$STRINGP

public static final SubLSymbol $sym62$STRINGP

$kw63$INPUT

public static final SubLSymbol $kw63$INPUT

$kw64$ANALYSIS

public static final SubLSymbol $kw64$ANALYSIS

$str65$Expected_a_fol_sentences_analysis

public static final SubLString $str65$Expected_a_fol_sentences_analysis

$kw66$EOF

public static final SubLSymbol $kw66$EOF

$kw67$DATUM

public static final SubLSymbol $kw67$DATUM

$str68$expected_to_input_a_consgots

public static final SubLString $str68$expected_to_input_a_cons__got__s

$kw69$CYCL

public static final SubLSymbol $kw69$CYCL

$kw70$TPTP

public static final SubLSymbol $kw70$TPTP

$str71$Unrecognized_output_format___s

public static final SubLString $str71$Unrecognized_output_format___s

$str72$Gathering_FOL_symbols

public static final SubLString $str72$Gathering_FOL_symbols

$list73

public static final SubLList $list73

$sym74$FOL_REPRESENTED_TERM_P

public static final SubLSymbol $sym74$FOL_REPRESENTED_TERM_P

$list75

public static final SubLList $list75

$list76

public static final SubLList $list76

$list77

public static final SubLList $list77

$kw78$MT_ARGUMENT

public static final SubLSymbol $kw78$MT_ARGUMENT

$const79$genlMt

public static final SubLObject $const79$genlMt

$sym80$_MT

public static final SubLSymbol $sym80$_MT

$kw81$MT_VISIBLE

public static final SubLSymbol $kw81$MT_VISIBLE

$const82$mtVisible

public static final SubLObject $const82$mtVisible

$kw83$FLAT

public static final SubLSymbol $kw83$FLAT

$kw84$CONDITIONAL_SENTENCE_

public static final SubLSymbol $kw84$CONDITIONAL_SENTENCE_

$str85$can_t_handle_conditional_sentence

public static final SubLString $str85$can_t_handle_conditional_sentence

$kw86$TESTING

public static final SubLSymbol $kw86$TESTING

$sym87$FOL_TRANSLATION_TYPE_PROPERTY_P

public static final SubLSymbol $sym87$FOL_TRANSLATION_TYPE_PROPERTY_P

$sym88$FOL_MT_HANDLING_PROPERTY_P

public static final SubLSymbol $sym88$FOL_MT_HANDLING_PROPERTY_P

$sym89$HLMT_P

public static final SubLSymbol $sym89$HLMT_P

$sym90$FOL_ISA_HANDLING_PROPERTY_P

public static final SubLSymbol $sym90$FOL_ISA_HANDLING_PROPERTY_P

$sym91$FOL_RMP_HANDLING_PROPERTY_P

public static final SubLSymbol $sym91$FOL_RMP_HANDLING_PROPERTY_P

$sym92$FOL_STRING_HANDLING_PROPERTY_P

public static final SubLSymbol $sym92$FOL_STRING_HANDLING_PROPERTY_P

$sym93$FOL_NUMBER_HANDLING_PROPERTY_P

public static final SubLSymbol $sym93$FOL_NUMBER_HANDLING_PROPERTY_P

$sym94$BOOLEANP

public static final SubLSymbol $sym94$BOOLEANP

$sym95$POSITIVE_INTEGER_P

public static final SubLSymbol $sym95$POSITIVE_INTEGER_P

$sym96$FILE_VALID_FOR_WRITING_P

public static final SubLSymbol $sym96$FILE_VALID_FOR_WRITING_P

$sym97$FOL_OUTPUT_FORMAT_P

public static final SubLSymbol $sym97$FOL_OUTPUT_FORMAT_P

$kw98$EXPANSION

public static final SubLSymbol $kw98$EXPANSION

$kw99$GAF_AND_EXPANSION

public static final SubLSymbol $kw99$GAF_AND_EXPANSION

$const100$resultIsaArg

public static final SubLObject $const100$resultIsaArg

$const101$RelationAllExistsFn

public static final SubLObject $const101$RelationAllExistsFn

$list102

public static final SubLList $list102

$const103$RelationExistsAllFn

public static final SubLObject $const103$RelationExistsAllFn

$list104

public static final SubLList $list104

$kw105$EXPLICITLY_FORBIDDEN_TERM

public static final SubLSymbol $kw105$EXPLICITLY_FORBIDDEN_TERM

$sym106$FOL_EXPANDIBLE_EXPRESSION_

public static final SubLSymbol $sym106$FOL_EXPANDIBLE_EXPRESSION_

$sym107$FOL_EXPAND_ONE_STEP

public static final SubLSymbol $sym107$FOL_EXPAND_ONE_STEP

$const108$expansion

public static final SubLObject $const108$expansion

$list109

public static final SubLList $list109

$kw110$NOT_IN_THEORY

public static final SubLSymbol $kw110$NOT_IN_THEORY

$sym111$FOL_UNHANDLED_EXPRESSION_P

public static final SubLSymbol $sym111$FOL_UNHANDLED_EXPRESSION_P

$list112

public static final SubLList $list112

$str113$_a

public static final SubLString $str113$___a__

$str114$FOLification_statistics

public static final SubLString $str114$FOLification_statistics

$str115$_a__

public static final SubLString $str115$_a__

$str116$_______________________

public static final SubLString $str116$_______________________

$str117$Rejection_statisticsraw

public static final SubLString $str117$Rejection_statistics__raw__

$str118$Rejection_statisticspretty

public static final SubLString $str118$Rejection_statistics__pretty__

$str119$Conversion_statistics_

public static final SubLString $str119$Conversion_statistics_

$sym120$_

public static final SubLSymbol $sym120$_

$list121

public static final SubLList $list121

$str122$_s_assertion_p_could_not_be_conve

public static final SubLString $str122$_s_assertion_p_could_not_be_conve

$str123$it

public static final SubLString $str123$it

$str124$they

public static final SubLString $str124$they

$str125$yielded_the_rejection_condition_

public static final SubLString $str125$yielded_the_rejection_condition_

$const126$FOL_UnhandledFn

public static final SubLObject $const126$FOL_UnhandledFn

$list127

public static final SubLList $list127

$const128$genlPreds

public static final SubLObject $const128$genlPreds

$list129

public static final SubLList $list129

$const130$negationPreds

public static final SubLObject $const130$negationPreds

$list131

public static final SubLList $list131

$const132$arg1Isa

public static final SubLObject $const132$arg1Isa

$const133$arg2Isa

public static final SubLObject $const133$arg2Isa

$const134$arg3Isa

public static final SubLObject $const134$arg3Isa

$const135$arg4Isa

public static final SubLObject $const135$arg4Isa

$const136$arg5Isa

public static final SubLObject $const136$arg5Isa

$const137$arg6Isa

public static final SubLObject $const137$arg6Isa

$const138$isa

public static final SubLObject $const138$isa

$const139$arg1Genl

public static final SubLObject $const139$arg1Genl

$const140$arg2Genl

public static final SubLObject $const140$arg2Genl

$const141$arg3Genl

public static final SubLObject $const141$arg3Genl

$const142$arg4Genl

public static final SubLObject $const142$arg4Genl

$const143$arg5Genl

public static final SubLObject $const143$arg5Genl

$const144$arg6Genl

public static final SubLObject $const144$arg6Genl

$const145$genls

public static final SubLObject $const145$genls

$const146$resultIsa

public static final SubLObject $const146$resultIsa

$const147$resultGenl

public static final SubLObject $const147$resultGenl

$const148$disjointWith

public static final SubLObject $const148$disjointWith

$const149$genlInverse

public static final SubLObject $const149$genlInverse

$const150$True

public static final SubLObject $const150$True

$list151

public static final SubLList $list151

$kw152$FUNCTION_ARG_CONSTRAINT

public static final SubLSymbol $kw152$FUNCTION_ARG_CONSTRAINT

$kw153$ILL_FORMED

public static final SubLSymbol $kw153$ILL_FORMED

$kw154$NONSTANDARD_SENTENTIAL_RELATION

public static final SubLSymbol $kw154$NONSTANDARD_SENTENTIAL_RELATION

$kw155$UNEXPECTED

public static final SubLSymbol $kw155$UNEXPECTED

$list156

public static final SubLList $list156

$sym157$FOL_SEQUENCE_VARIABLE_ARGS_FOR_ARITY

public static final SubLSymbol $sym157$FOL_SEQUENCE_VARIABLE_ARGS_FOR_ARITY

$str158$ARG

public static final SubLString $str158$ARG

$sym159$_FOL_SEQUENCE_VARIABLE_ARGS_FOR_ARITY_CACHING_STATE_

public static final SubLSymbol $sym159$_FOL_SEQUENCE_VARIABLE_ARGS_FOR_ARITY_CACHING_STATE_

$kw160$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw160$_MEMOIZED_ITEM_NOT_FOUND_

$const161$equiv

public static final SubLObject $const161$equiv

$list162

public static final SubLList $list162

$sym163$_X

public static final SubLSymbol $sym163$_X

$const164$FOL_PredicateFn

public static final SubLObject $const164$FOL_PredicateFn

$list165

public static final SubLList $list165

$list166

public static final SubLList $list166

$const167$implies

public static final SubLObject $const167$implies

$list168

public static final SubLList $list168

$list169

public static final SubLList $list169

$list170

public static final SubLList $list170

$list171

public static final SubLList $list171

$sym172$ARGNUM_1

public static final SubLSymbol $sym172$ARGNUM_1

$sym173$ARG_ISA_PRED

public static final SubLSymbol $sym173$ARG_ISA_PRED

$sym174$ARITY

public static final SubLSymbol $sym174$ARITY

$sym175$PWHEN

public static final SubLSymbol $sym175$PWHEN

$sym176$FIXED_ARITY_PREDICATE_P

public static final SubLSymbol $sym176$FIXED_ARITY_PREDICATE_P

$sym177$CLET

public static final SubLSymbol $sym177$CLET

$sym178$ARITY

public static final SubLSymbol $sym178$ARITY

$sym179$CDOTIMES

public static final SubLSymbol $sym179$CDOTIMES

$sym180$1_

public static final SubLSymbol $sym180$1_

$sym181$ARG_ISA_PRED

public static final SubLSymbol $sym181$ARG_ISA_PRED

$sym182$DO_GAF_ARG_INDEX

public static final SubLSymbol $sym182$DO_GAF_ARG_INDEX

$kw183$PREDICATE

public static final SubLSymbol $kw183$PREDICATE

$list184

public static final SubLList $list184

$kw185$TRUE

public static final SubLSymbol $kw185$TRUE

$sym186$_INS

public static final SubLSymbol $sym186$_INS

$list187

public static final SubLList $list187

$list188

public static final SubLList $list188

$list189

public static final SubLList $list189

$list190

public static final SubLList $list190

$list191

public static final SubLList $list191

$const192$transitiveViaArg

public static final SubLObject $const192$transitiveViaArg

$const193$transitiveViaArgInverse

public static final SubLObject $const193$transitiveViaArgInverse

$list194

public static final SubLList $list194

$list195

public static final SubLList $list195

$sym196$_OLD

public static final SubLSymbol $sym196$_OLD

$sym197$_NEW

public static final SubLSymbol $sym197$_NEW

$const198$natFunction

public static final SubLObject $const198$natFunction

$const199$natArgument

public static final SubLObject $const199$natArgument

$kw200$SET_THEORY

public static final SubLSymbol $kw200$SET_THEORY

$kw201$SEQUENCE_VAR

public static final SubLSymbol $kw201$SEQUENCE_VAR

$const202$different

public static final SubLObject $const202$different

$sym203$FOL_TRANSFORM_ARG

public static final SubLSymbol $sym203$FOL_TRANSFORM_ARG

$const204$equals

public static final SubLObject $const204$equals

$list205

public static final SubLList $list205

$kw206$ISA

public static final SubLSymbol $kw206$ISA

$list207

public static final SubLList $list207

$kw208$META_ASSERTION

public static final SubLSymbol $kw208$META_ASSERTION

$kw209$META_VARIABLE

public static final SubLSymbol $kw209$META_VARIABLE

$kw210$SUBL_ESCAPE

public static final SubLSymbol $kw210$SUBL_ESCAPE

$kw211$META_SENTENCE

public static final SubLSymbol $kw211$META_SENTENCE

$const212$memberOfSet

public static final SubLObject $const212$memberOfSet

$const213$SetifyArgumentFn

public static final SubLObject $const213$SetifyArgumentFn

$const214$ist

public static final SubLObject $const214$ist

$kw215$IST

public static final SubLSymbol $kw215$IST

$list216

public static final SubLList $list216

$kw217$NON_PREDICATE

public static final SubLSymbol $kw217$NON_PREDICATE

$kw218$VARIABLE_ARITY_PREDICATE

public static final SubLSymbol $kw218$VARIABLE_ARITY_PREDICATE

$kw219$UNBOUNDED_ARITY_PREDICATE

public static final SubLSymbol $kw219$UNBOUNDED_ARITY_PREDICATE

$kw220$PREDICATE_QUANTIFICATION

public static final SubLSymbol $kw220$PREDICATE_QUANTIFICATION

$const221$Kappa

public static final SubLObject $const221$Kappa

$kw222$KAPPA

public static final SubLSymbol $kw222$KAPPA

$kw223$NON_COLLECTION

public static final SubLSymbol $kw223$NON_COLLECTION

$kw224$COLLECTION_QUANTIFICATION

public static final SubLSymbol $kw224$COLLECTION_QUANTIFICATION

$kw225$NON_FUNCTION

public static final SubLSymbol $kw225$NON_FUNCTION

$kw226$SCOPING_RELATION

public static final SubLSymbol $kw226$SCOPING_RELATION

$kw227$VARIABLE_ARITY_FUNCTION

public static final SubLSymbol $kw227$VARIABLE_ARITY_FUNCTION

$kw228$UNBOUNDED_ARITY_FUNCTION

public static final SubLSymbol $kw228$UNBOUNDED_ARITY_FUNCTION

$kw229$FUNCTION_QUANTIFICATION

public static final SubLSymbol $kw229$FUNCTION_QUANTIFICATION

$const230$Lambda

public static final SubLObject $const230$Lambda

$kw231$LAMBDA

public static final SubLSymbol $kw231$LAMBDA

$const232$FOL_AtomicTermFn

public static final SubLObject $const232$FOL_AtomicTermFn

$sym233$INTEGERP

public static final SubLSymbol $sym233$INTEGERP

$const234$FOL_FunctionFn

public static final SubLObject $const234$FOL_FunctionFn

$const235$FOL_StringFn

public static final SubLObject $const235$FOL_StringFn

$kw236$DWIM_TO_DISTINCT_CONSTANTS

public static final SubLSymbol $kw236$DWIM_TO_DISTINCT_CONSTANTS

$const237$FOL_StringConstantFn

public static final SubLObject $const237$FOL_StringConstantFn

$kw238$DWIM_TO_SINGLE_CONSTANT

public static final SubLSymbol $kw238$DWIM_TO_SINGLE_CONSTANT

$const239$Canonical_String

public static final SubLObject $const239$Canonical_String

$str240$unexpected_string_handling_direct

public static final SubLString $str240$unexpected_string_handling_direct

$sym241$NUMBERP

public static final SubLSymbol $sym241$NUMBERP

$const242$FOL_NumberFn

public static final SubLObject $const242$FOL_NumberFn

$const243$FOL_NumberConstantFn

public static final SubLObject $const243$FOL_NumberConstantFn

$kw244$DWIM_ALL_TO_DISTINCT_CONSTANTS

public static final SubLSymbol $kw244$DWIM_ALL_TO_DISTINCT_CONSTANTS

$str245$unexpected_number_handling_direct

public static final SubLString $str245$unexpected_number_handling_direct

$sym246$EL_VAR_

public static final SubLSymbol $sym246$EL_VAR_

$list247

public static final SubLList $list247

$list248

public static final SubLList $list248

$sym249$FOL_ATOMIC_SENTENCE_

public static final SubLSymbol $sym249$FOL_ATOMIC_SENTENCE_

$str250$______S

public static final SubLString $str250$______S

$str251$_____QUERY_

public static final SubLString $str251$_____QUERY_

$str252$__Cyc_Assertion_a_

public static final SubLString $str252$__Cyc_Assertion___a___

$str253$__Cyc_NART_a_

public static final SubLString $str253$__Cyc_NART___a___

$str254$__Cyc_Constant_a_

public static final SubLString $str254$__Cyc_Constant___a___

$str255$__CycL_Sentence_a_

public static final SubLString $str255$__CycL_Sentence___a___

$str256$Unexpected_object__s

public static final SubLString $str256$Unexpected_object__s

$str257$_________________________________

public static final SubLString $str257$_________________________________

$str258$File

public static final SubLString $str258$File

$str259$CYC_10___TPTP_v2_2_0__Released_2_

public static final SubLString $str259$CYC_10___TPTP_v2_2_0__Released_2_

$str260$Domain

public static final SubLString $str260$Domain

$str261$Knowledge_Representation_Common_S

public static final SubLString $str261$Knowledge_Representation_Common_S

$str262$Problem

public static final SubLString $str262$Problem

$str263$Reasoning_with_the_Cyc_Common_Sen

public static final SubLString $str263$Reasoning_with_the_Cyc_Common_Sen

$str264$Version

public static final SubLString $str264$Version

$str265$__

public static final SubLString $str265$__

$str266$English

public static final SubLString $str266$English

$str267$The_Cyc_KB_contains_assertions_fo

public static final SubLString $str267$The_Cyc_KB_contains_assertions_fo

$str268$Refs

public static final SubLString $str268$Refs

$str269$

public static final SubLString $str269$

$str270$Source

public static final SubLString $str270$Source

$str271$Names

public static final SubLString $str271$Names

$str272$Status

public static final SubLString $str272$Status

$str273$unknown

public static final SubLString $str273$unknown

$str274$Rating

public static final SubLString $str274$Rating

$str275$1_0

public static final SubLString $str275$1_0

$str276$Syntax

public static final SubLString $str276$Syntax

$str277$_blank_

public static final SubLString $str277$_blank_

$str278$Comments

public static final SubLString $str278$Comments

$str279$To_obtain_a_First_Orderification_

public static final SubLString $str279$To_obtain_a_First_Orderification_

$str280$Bugfixes

public static final SubLString $str280$Bugfixes

$str281$_________________________________

public static final SubLString $str281$_________________________________

$str282$__

public static final SubLString $str282$__

$str283$___

public static final SubLString $str283$___

$str284$_

public static final SubLString $str284$_

$str285$__

public static final SubLString $str285$__

$sym286$COMPUTE_TPTP_QUERY_INDEX_NUMBER

public static final SubLSymbol $sym286$COMPUTE_TPTP_QUERY_INDEX_NUMBER

$sym287$_COMPUTE_TPTP_QUERY_INDEX_NUMBER_CACHING_STATE_

public static final SubLSymbol $sym287$_COMPUTE_TPTP_QUERY_INDEX_NUMBER_CACHING_STATE_

$str288$fof__a_axiom_

public static final SubLString $str288$fof__a_axiom_

$str289$____

public static final SubLString $str289$____

$str290$fof__a_conjecture_

public static final SubLString $str290$fof__a_conjecture_

$list291

public static final SubLList $list291

$list292

public static final SubLList $list292

$str293$_

public static final SubLString $str293$_

$str294$____

public static final SubLString $str294$____

$str295$_

public static final SubLString $str295$_

$const296$and

public static final SubLObject $const296$and

$str297$___

public static final SubLString $str297$___

$const298$or

public static final SubLObject $const298$or

$str299$___

public static final SubLString $str299$___

$const300$not

public static final SubLObject $const300$not

$str301$__

public static final SubLString $str301$__

$const302$thereExists

public static final SubLObject $const302$thereExists

$list303

public static final SubLList $list303

$str304$_a

public static final SubLString $str304$_____a____

$const305$forAll

public static final SubLObject $const305$forAll

$str306$_a

public static final SubLString $str306$_____a____

$const307$equalSymbols

public static final SubLObject $const307$equalSymbols

$str308$___

public static final SubLString $str308$___

$str309$_

public static final SubLString $str309$_

$str310$__

public static final SubLString $str310$__

$str311$unexpected_FOL_term__s

public static final SubLString $str311$unexpected_FOL_term__s

$list312

public static final SubLList $list312

$list313

public static final SubLList $list313

$str314$p_

public static final SubLString $str314$p_

$list315

public static final SubLList $list315

$str316$f_

public static final SubLString $str316$f_

$str317$c_zero_arity_function_application

public static final SubLString $str317$c_zero_arity_function_application

$list318

public static final SubLList $list318

$str319$c_

public static final SubLString $str319$c_

$list320

public static final SubLList $list320

$str321$s_

public static final SubLString $str321$s_

$list322

public static final SubLList $list322

$str323$_

public static final SubLString $str323$_

$list324

public static final SubLList $list324

$sym325$DOUBLE_FLOAT

public static final SubLSymbol $sym325$DOUBLE_FLOAT

$str326$n_

public static final SubLString $str326$n_

$list327

public static final SubLList $list327

$sym328$TPTP_STRING_CHAR_P

public static final SubLSymbol $sym328$TPTP_STRING_CHAR_P

$sym329$_TPTP_LONG_SYMBOL_NAME_CACHE_

public static final SubLSymbol $sym329$_TPTP_LONG_SYMBOL_NAME_CACHE_

$int330$256

public static final SubLInteger $int330$256

$str331$ls_

public static final SubLString $str331$ls_

$sym332$TPTP_NON_NUMERIC_ATOM_CHAR_P

public static final SubLSymbol $sym332$TPTP_NON_NUMERIC_ATOM_CHAR_P

$str333$tptp_

public static final SubLString $str333$tptp_

$sym334$TPTP_NUMERIC_ATOM_CHAR_P

public static final SubLSymbol $sym334$TPTP_NUMERIC_ATOM_CHAR_P

$int335$32

public static final SubLInteger $int335$32

$int336$126

public static final SubLInteger $int336$126

$sym337$FOCYCL_TO_CYCL

public static final SubLSymbol $sym337$FOCYCL_TO_CYCL

$kw338$INCLUDE_HORN

public static final SubLSymbol $kw338$INCLUDE_HORN

$kw339$TERM_TYPES

public static final SubLSymbol $kw339$TERM_TYPES

$kw340$ALL

public static final SubLSymbol $kw340$ALL

$kw341$SKIP

public static final SubLSymbol $kw341$SKIP

$str342$_S_

public static final SubLString $str342$_S_

$kw343$FUNCTION

public static final SubLSymbol $kw343$FUNCTION

$kw344$TERM

public static final SubLSymbol $kw344$TERM

$sym345$CATEGORIZE_FOL_TERMS_INT

public static final SubLSymbol $sym345$CATEGORIZE_FOL_TERMS_INT

$str346$time_to_handle_non_forts

public static final SubLString $str346$time_to_handle_non_forts

$str347$_P

public static final SubLString $str347$_P

$str348$_F

public static final SubLString $str348$_F

$str349$_T

public static final SubLString $str349$_T

$str350$time_to_handle__S

public static final SubLString $str350$time_to_handle__S

$sym351$FOL_NART_STRING

public static final SubLSymbol $sym351$FOL_NART_STRING

$str352$__

public static final SubLString $str352$__

$sym353$VALID_CONSTANT_NAME_CHAR_P

public static final SubLSymbol $sym353$VALID_CONSTANT_NAME_CHAR_P

$sym354$_FOL_NART_STRING_CACHING_STATE_

public static final SubLSymbol $sym354$_FOL_NART_STRING_CACHING_STATE_

$list355

public static final SubLList $list355

$str356$opencyc_all_20050422_non_conditio

public static final SubLString $str356$opencyc_all_20050422_non_conditio

$list357

public static final SubLList $list357

$list358

public static final SubLObject $list358

$int359$60

public static final SubLInteger $int359$60

$kw360$MAX_TIME

public static final SubLSymbol $kw360$MAX_TIME

$list361

public static final SubLList $list361

$kw362$FAILURE

public static final SubLSymbol $kw362$FAILURE

$str363$_S_s_s____

public static final SubLString $str363$_S___s___s____

Method Detail

declare_folification_file

public static final SubLObject declare_folification_file()

init_folification_file

public static final SubLObject init_folification_file()

setup_folification_file

public static final SubLObject setup_folification_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 folification

me

myName

$folification_version$

$tptp_query_name$

$tptp_axiom_prefix$

$deepak_folification_properties$

$str0$0_7_2

$kw1$REGULAR_FOL

$list2

$kw3$MT_VISIBLE_EXCEPT_CORE_MTS

$list4

$kw5$COLLAPSE

$kw6$UNARY_PREDICATE

$list7

$kw8$GAF

$list9

$kw10$ALLOWED

$list11

$kw12$DWIM_FLOATS_TO_DISTINCT_CONSTANTS

$list13

$list14

$list15

$list16

$kw17$GENERATION_PROPERTIES

$kw18$CANDIDATE_FOL_SENTENCE_COUNT

$kw19$FOL_SENTENCE_COUNT

$kw20$TERM_COUNT

$kw21$HANDLED_TERM_COUNT

$kw22$PARTIALLY_HANDLED_TERM_COUNT

$kw23$UNHANDLED_TERM_COUNT

$kw24$FOL_SENTENCES_DATA

$kw25$REJECTION_STATISTICS

$sym26$FORT_P

$sym27$NON_DOTTED_LIST_P

$sym28$ASSERTION_P

$list29

$list30

$kw31$ALLOW_OTHER_KEYS

$kw32$TRANSLATION_TYPE

$kw33$MT_HANDLING

$kw34$MT_CEILING

$kw35$ISA_HANDLING

$kw36$RULE_MACRO_PREDICATE_HANDLING

$kw37$STRING_HANDLING

$kw38$NUMBER_HANDLING

$kw39$ALLOW_EQUIV_RELATION_

$kw40$SAMPLE_RATE

$kw41$OUTPUT_FILENAME

$kw42$OUTPUT_FORMAT

$kw43$HEADER

$kw44$ANALYSIS_FILENAME

$kw45$ANALYSIS_FILE_INTERNAL_

$kw46$INCLUDE_COMMENTS_

$kw47$RETURN_DATA_

$kw48$NEGATE_QUERIES_

$kw49$VERBOSE_

$kw50$OUTPUT

$str51$Unable_to_open__S

$str52$Converting_assertions_to_FOL

$kw53$IGNORE_ERRORS_TARGET

$sym54$IGNORE_ERRORS_HANDLER

$str55$failed_to_translate__s__

$str56$Converting_sentences_to_FOL

$const57$UniversalVocabularyMt

$str58$failed_to_translate__s

$sym59$RELEVANT_MT_IS_EVERYTHING

$const60$EverythingPSC

$str61$Converting_forts_to_FOL

$sym62$STRINGP

$kw63$INPUT

$kw64$ANALYSIS

$str65$Expected_a_fol_sentences_analysis

$kw66$EOF

$kw67$DATUM

$str68$expected_to_input_a_cons__got__s

$kw69$CYCL

$kw70$TPTP

$str71$Unrecognized_output_format___s

$str72$Gathering_FOL_symbols

com.cyc.cycjava.cycl
Class folification

$str55$failed_to_translates

$str68$expected_to_input_a_consgots

$str113$_a

$str117$Rejection_statisticsraw

$str118$Rejection_statisticspretty