|
|
| Line 1: |
Line 1: |
| − | <noinclude> [[MELD features]]</noinclude>
| + | #REDIRECT[[MELD features/Appendix A/0]] |
| − | = Appendix A: Formulas true in every MELD KB =
| |
| − |
| |
| − | As we remarked above, the syntactic component of MELD includes a large number of constant terms (you can think of these as "reserved words" in the [[MELD language]]), and the semantic component of MELD includes a large number of sentences involving and interrelating these terms. This set of sentences forms a coherent self-sufficient KB -- the [[MELD KERNEL KB]] -- which forms the upper (most general) part of every MELD KB, including, e.g., the [[Cyc KB]], the [[HPKB IKB]], etc.
| |
| − | | |
| − | Herewith is that list of approximately 650 sentences -- each is a closed, well-formed MELD formula.
| |
| − | | |
| − | All of the MELD constants mentioned in these assertions should be thought of as MELD "reserved words." These terms, of which there are about 160, occur below on comment lines, just before the set of mandatory formulas involving them; each of those comment lines begins with three semicolons in a row; e.g., ;;; [[#$AntiSymmetricBinaryPredicate]].
| |
| − | | |
| − | The formulas, and terms, are not commented or explained, below. If one browses through the Cyc KB or the HPKB IKB, one can read the documentation for each of these terms, etc. That is how you, a human reader, can most easily become familiar with the ontology and the semantics of MELD. Just as the [[BNF]] in Appendix C, the long list of formulas below (here in Appendix B) is provided more to be machine- than human- readable.
| |
| − | | |
| − | We've arranged these in such a fashion that (most) duplicates have been eliminated. Thus, in the case of one of the first few assertions,
| |
| − | | |
| − | '''('''[[#$genls]] [[#$AntiSymmetricBinaryPredicate]] [[#$BinaryPredicate]]''')''',
| |
| − | | |
| − | that assertion is listed once, under ;;; [[#$AntiSymmetricBinaryPredicate]], not again under ;;; [[#$BinaryPredicate]].
| |
| − | | |
| − | We've prefixed each MELD term with the characters #$. This may facilitate reading mechanically; if you don't care or want this, just do a systematic replace of #$ by the empty string. It will be useful in distinguishing MELD constant names from the names of C (or Lisp) functions which are called to implement some of the low-level bookkeeping, and may be useful in distinguishing MELD constant names from numbers (e.g., distinguishing the [[MELD constant]] named 42 from the number 42.)
| |
| − | | |
| − | Let us reiterate that MELD is a declarative language with no procedural information of any kind in any [[MELD formula]], including these formulas.
| |
| − | | |
| − | Finally, you may notice that about 10 of the 160 MELD constant terms below contain the word "Cyc"; this reflects the origins of those terms. We could just as well have called those ten . . .Cyc. . . terms . . .MELD. . . instead; the absolute names are not so important as agreeing on a fixed vocabulary of names for constants.
| |
| − | | |
| − | This is the MELD semantic standard; please do not rename any of these 160 terms, or remove/violate any of these 650 formulas:
| |
| − | | |
| − | | |
| − | === ;;; [[#$AntiSymmetricBinaryPredicate]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/1|001]]</font>
| |
| − | '''('''[[#$isa]] [[#$AntiSymmetricBinaryPredicate]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/2|002]]</font>
| |
| − | '''('''[[#$genls]] [[#$AntiSymmetricBinaryPredicate]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/3|003]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''#$and
| |
| − | '''('''[[#$isa]] ?SLOT [[#$AntiSymmetricBinaryPredicate]]''')'''
| |
| − | '''('''[[#$isa]] ?SLOT [[#$IrreflexiveBinaryPredicate]]''')''' ''')'''
| |
| − | '''('''[[#$isa]] ?SLOT [[#$AsymmetricBinaryPredicate]]''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$Assertion]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/4|004]]</font>
| |
| − | '''('''[[#$isa]] [[#$Assertion]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/5|005]]</font>
| |
| − | '''('''[[#$genls]] [[#$Assertion]] [[#$CycIndexedTerm]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/6|006]]</font>
| |
| − | '''('''[[#$genls]] [[#$Assertion]] [[#$IndividualObject]]''')'''
| |
| − | | |
| − | | |
| − | === ;;; [[#$AsymmetricBinaryPredicate]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/7|007]]</font>
| |
| − | '''('''[[#$isa]] [[#$AsymmetricBinaryPredicate]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/8|008]]</font>
| |
| − | '''('''[[#$genls]] [[#$AsymmetricBinaryPredicate]] [[#$AntiSymmetricBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/9|009]]</font>
| |
| − | '''('''[[#$genls]] #$AsymmetricBinaryPredicate]] [[#$IrreflexiveBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/10|010]]</font>
| |
| − | '''('''[[#$not]] '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?PRED [[#$AsymmetricBinaryPredicate]]''')'''
| |
| − | '''('''?PRED ?ARG1 ?ARG2''')'''
| |
| − | '''('''?PRED ?ARG2 ?ARG1''')'''
| |
| − | ''')''' ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/11|011]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?Q [[#$AsymmetricBinaryPredicate]]''')'''
| |
| − | '''('''[[#$genlPreds]] ?P ?Q''')'''
| |
| − | ''')'''
| |
| − | ''' ('''[[#$isa]] ?P [[#$AsymmetricBinaryPredicate]]''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/12|012]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$isa]] ?PRED [[#$AsymmetricBinaryPredicate]]''')'''
| |
| − | '''('''[[#$negationInverse]] ?PRED ?PRED''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$AttributeValue]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/13|013]]</font>
| |
| − | '''('''[[#$isa]] [[#$AttributeValue]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/14|014]]</font>
| |
| − | '''('''[[#$genls]] [[#$AttributeValue]] [[#$IndividualObject]]''')'''
| |
| − | | |
| − | === ;;; [[#$BaseKB]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/15|015]]</font>
| |
| − | '''('''[[#$isa]] [[#$BaseKB]] [[#$BroadMicrotheory]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/16|016]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$isa]] ?MIC [[#$Microtheory]]''')'''
| |
| − | '''('''[[#$genlMt]] ?MIC [[#$BaseKB]]''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$BinaryPredicate]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/17|017]]</font>
| |
| − | '''('''[[#$isa]] [[#$BinaryPredicate]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/18|018]]</font>
| |
| − | '''('''[[#$genls]] [[#$BinaryPredicate]] [[#$Predicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/19|019]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$isa]] ?P [[#$BinaryPredicate]]''')'''
| |
| − | '''('''[[#$arity]] ?P 2 ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$BookkeepingMt]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/20|020]]</font>
| |
| − | '''('''[[#$isa]] [[#$BookkeepingMt]] [[#$Microtheory]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/21|021]]</font>
| |
| − | '''('''[[#$genlMt]] [[#$BookkeepingMt]] [[#$CyclistsMt]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/22|022]]</font>
| |
| − | '''('''[[#$genlMt]] [[#$BookkeepingMt]] [[#$BaseKB]]''')'''
| |
| − | | |
| − | === ;;; [[#$BookkeepingPredicate]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/23|023]]</font>
| |
| − | '''('''[[#$isa]] [[#$BookkeepingPredicate]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/24|024]]</font>
| |
| − | '''('''[[#$genls]] [[#$BookkeepingPredicate]] [[#$Predicate]]''')'''
| |
| − | | |
| − | === ;;; [[#$BroadMicrotheory]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/25|025]]</font>
| |
| − | '''('''[[#$isa]] [[#$BroadMicrotheory]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/26|026]]</font>
| |
| − | '''('''[[#$genls]] [[#$BroadMicrotheory]] [[#$Microtheory]]''')'''
| |
| − | | |
| − | === ;;; [[#$Collection]] ===
| |
| − | see also <font color=purple>[[MELD KERNEL KB/23|023]]</font>. <font color=purple>[[MELD KERNEL KB/25|025]]</font>
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/27|027]]</font>
| |
| − | '''('''[[#$isa]] [[#$Collection]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/28|028]]</font>
| |
| − | '''('''[[#$genls]] [[#$Collection]] [[#$SetOrCollection]]''')'''
| |
| − | | |
| − | === ;;; [[#$CollectionDenotingFunction]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/29|029]]</font>
| |
| − | '''('''[[#$isa]] [[#$CollectionDenotingFunction]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/30|030]]</font>
| |
| − | '''('''[[#$genls]] [[#$CollectionDenotingFunction]] [[#$ReifiableFunction]] ''')'''
| |
| − | | |
| − | === ;;; [[#$CommutativeRelation]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/31|031]]</font>
| |
| − | '''('''[[#$isa]] [[#$CommutativeRelation]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/32|032]]</font>
| |
| − | '''('''[[#$genls]] [[#$CommutativeRelation]] [[#$Relationship]]''')'''
| |
| − | | |
| − | === ;;; [[#$CycELVariable]] ===
| |
| − | <font color=purple>[[MELD KERNEL KB/33|033]]</font>
| |
| − | '''('''[[#$isa]] [[#$CycELVariable]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/34|034]]</font>
| |
| − | '''('''[[#$genls]] [[#$CycELVariable]] [[#$CycSystemSymbol]]''')'''
| |
| − | | |
| − | === ;;; [[#$CycExpression]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/35|035]]</font>
| |
| − | '''('''[[#$isa]] [[#$CycExpression]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/36|036]]</font>
| |
| − | '''('''[[#$genls]] [[#$CycExpression]] [[#$IndividualObject]]''')'''
| |
| − | | |
| − | === ;;; [[#$CycFormula]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/37|037]]</font>
| |
| − | '''('''[[#$isa]] [[#$CycFormula]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/38|038]]</font>
| |
| − | '''('''[[#$genls]] [[#$CycFormula]] [[#$CycExpression]]''')'''
| |
| − | | |
| − | === ;;; [[#$CycIndexedTerm]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/39|039]]</font>
| |
| − | '''('''[[#$isa]] [[#$CycIndexedTerm]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/40|040]]</font>
| |
| − | '''('''[[#$genls]] #$CycIndexedTerm]] [[#$Thing]]''')'''
| |
| − | | |
| − | === ;;; [[#$CycSystemList]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/41|041]]</font>
| |
| − | '''('''[[#$isa]] [[#$CycSystemList]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/42|042]]</font>
| |
| − | '''('''[[#$genls]] [[#$CycSystemList]] [[#$IndividualObject]]''')'''
| |
| − | | |
| − | === ;;; [[#$CycSystemString]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/43|043]]</font>
| |
| − | '''('''[[#$isa]] [[#$CycSystemString]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/44|044]]</font>
| |
| − | '''('''[[#$genls]] [[#$CycSystemString]] [[#$IndividualObject]]''')'''
| |
| − | | |
| − | === ;;; [[#$CycSystemSymbol]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/45|045]]</font>
| |
| − | '''('''[[#$isa]] [[#$CycSystemSymbol]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/46|046]]</font>
| |
| − | '''('''[[#$genls]] [[#$CycSystemSymbol]] [[#$IndividualObject]] ''')'''
| |
| − | | |
| − | === ;;; [[#$Cyclist]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/47|047]]</font>
| |
| − | '''('''[[#$isa]] [[#$Cyclist]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/48|048]]</font>
| |
| − | '''('''[[#$genls]] [[#$Cyclist]] [[#$TemporalObject]] ''')'''
| |
| − | | |
| − | === ;;; [[#$CyclistsMt]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/49|049]]</font>
| |
| − | '''('''[[#$isa]] [[#$CyclistsMt]] [[#$Microtheory]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/50|050]]</font>
| |
| − | '''('''[[#$genlMt]] [[#$CyclistsMt]] [[#$BaseKB]]''')'''
| |
| − | | |
| − | === ;;; [[#$DefaultMonotonicPredicate]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/51|051]]</font>
| |
| − | '''('''[[#$isa]] [[#$DefaultMonotonicPredicate]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/52|052]]</font>
| |
| − | '''('''[[#$genls]] [[#$DefaultMonotonicPredicate]] [[#$Predicate]]''')'''
| |
| − | | |
| − | === ;;; [[#$EvaluatableFunction]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/53|053]]</font>
| |
| − | '''('''[[#$isa]] [[#$EvaluatableFunction]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/54|054]]</font>
| |
| − | '''('''[[#$genls]] [[#$EvaluatableFunction]] [[#$FunctionTheMathematicalType]] ''')'''
| |
| − | | |
| − | === ;;; [[#$False]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/55|055]]</font>
| |
| − | '''('''[[#$isa]] [[#$False]] [[#$IndividualObject]] ''')'''
| |
| − | | |
| − | === ;;; [[#$Format]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/56|056]]</font>
| |
| − | '''('''[[#$isa]] [[#$Format]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/57|057]]</font>
| |
| − | '''('''[[#$genls]] [[#$Format]] [[#$IndividualObject]] ''')'''
| |
| − | | |
| − | === ;;; [[#$ForwardInferencePSC]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/58|058]]</font>
| |
| − | '''('''[[#$isa]] [[#$ForwardInferencePSC]] [[#$ProblemSolvingCntxt]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/59|059]]</font>
| |
| − | '''('''[[#$genlMt]] [[#$ForwardInferencePSC]] [[#$BaseKB]]''')'''
| |
| − | | |
| − | | |
| − | === ;;; [[#$FunctionTheMathematicalType]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/60|060]]</font>
| |
| − | '''('''[[#$isa]] [[#$FunctionTheMathematicalType]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/61|061]]</font>
| |
| − | '''('''[[#$genls]] [[#$FunctionTheMathematicalType]] [[#$Relationship]]''')'''
| |
| − | | |
| − | === ;;; [[#$Guest]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/62|062]]</font>
| |
| − | '''('''[[#$isa]] [[#$Guest]] [[#$HumanCyclist]] ''')'''
| |
| − | | |
| − | === ;;; [[#$HumanCyclist]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/63|063]]</font>
| |
| − | '''('''[[#$isa]] [[#$HumanCyclist]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/64|064]]</font>
| |
| − | '''('''[[#$genls]] [[#$HumanCyclist]] [[#$Cyclist]] ''')'''
| |
| − | | |
| − | === ;;; [[#$IndividualObject]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/65|065]]</font>
| |
| − | '''('''[[#$isa]] [[#$IndividualObject]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/66|066]]</font>
| |
| − | '''('''[[#$genls]] [[#$IndividualObject]] [[#$Thing]] ''')'''
| |
| − | | |
| − | === ;;; [[#$InferenceRelatedBookkeepingPredicate]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/67|067]]</font>
| |
| − | '''('''[[#$isa]] [[#$InferenceRelatedBookkeepingPredicate]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/68|068]]</font>
| |
| − | '''('''[[#$genls]] [[#$InferenceRelatedBookkeepingPredicate]] [[#$BookkeepingPredicate]] ''')'''
| |
| − | | |
| − | === ;;; [[#$Integer]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/69|069]]</font>
| |
| − | '''('''[[#$isa]] [[#$Integer]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/70|070]]</font>
| |
| − | '''(''' [[#$genls]] [[#$Integer]] [[#$RealNumber]] ''')'''
| |
| − | | |
| − | | |
| − | === ;;; [[#$IntervalEntry]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/71|071]]</font>
| |
| − | '''(''' [[#$isa]] [[#$IntervalEntry]] [[#$Format]]''')'''
| |
| − | | |
| − | === ;;; [[#$IrreflexiveBinaryPredicate]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/72|072]]</font>
| |
| − | '''(''' [[#$isa]] [[#$IrreflexiveBinaryPredicate]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/73|073]]</font>
| |
| − | '''(''' [[#$genls]] [[#$IrreflexiveBinaryPredicate]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/74|074]]</font>
| |
| − | '''('''[[#$not]] '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?PRED [[#$IrreflexiveBinaryPredicate]]''')'''
| |
| − | '''('''?PRED ?OBJ ?OBJ''')'''
| |
| − | ''')''' ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/75|075]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?Q [[#$IrreflexiveBinaryPredicate]]''')'''
| |
| − | '''('''[[#$different]] ?P ?Q''')'''
| |
| − | '''('''[[#$genlPreds]] ?P ?Q''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?P [[#$IrreflexiveBinaryPredicate]]''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; #$ListTheFormat ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/76|076]]</font>
| |
| − | '''('''[[#$isa]] [[#$ListTheFormat]] [[#$Format]]''')'''
| |
| − | | |
| − | === ;;; #$Microtheory ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/77|077]]</font>
| |
| − | '''('''[[#$isa]] [[#$Microtheory]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/78|078]]</font>
| |
| − | '''('''[[#$genls]] [[#$Microtheory]] [[#$IndividualObject]]''')'''
| |
| − | | |
| − | === ;;; [[#$NonNegativeInteger]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/79|079]]</font>
| |
| − | '''('''[[#$isa]] [[#$NonNegativeInteger]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/80|080]]</font>
| |
| − | '''('''[[#$genls]] [[#$NonNegativeInteger]] [[#$Integer]]''')'''
| |
| − | | |
| − | | |
| − | === ;;; [[#$NonPredicateFunction]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/81|081]]</font>
| |
| − | '''('''[[#$isa]] [[#$NonPredicateFunction]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/82|082]]</font>
| |
| − | '''('''[[#$genls]] [[#$NonPredicateFunction]] [[#$FunctionTheMathematicalType]] ''')'''
| |
| − | | |
| − | === ;;; [[#$PositiveInteger]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/83|083]]</font>
| |
| − | '''('''[[#$isa]] [[#$PositiveInteger]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/84|084]]</font>
| |
| − | '''('''[[#$genls]] [[#$PositiveInteger]] [[#$NonNegativeInteger]] ''')'''
| |
| − | | |
| − | === ;;; [[#$Predicate]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/85|085]]</font>
| |
| − | '''('''[[#$isa]] [[#$Predicate]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/86|086]]</font>
| |
| − | '''('''[[#$genls]] [[#$Predicate]] [[#$FunctionTheMathematicalType]] ''')'''
| |
| − | | |
| − | === ;;; [[#$ProblemSolvingCntxt]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/87|087]]</font>
| |
| − | '''('''[[#$isa]] [[#$ProblemSolvingCntxt]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/88|088]]</font>
| |
| − | '''('''[[#$genls]] [[#$ProblemSolvingCntxt]] [[#$Microtheory]] ''')'''
| |
| − | | |
| − | === ;;; #$QuaternaryPredicate ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/89|089]]</font>
| |
| − | '''('''[[#$isa]] [[#$QuaternaryPredicate]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/90|090]]</font>
| |
| − | '''('''[[#$genls]] [[#$QuaternaryPredicate]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/91|091]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$isa]] ?P [[#$QuaternaryPredicate]] ''')'''
| |
| − | '''('''[[#$arity]] ?P 4 ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$QuintaryPredicate]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/92|092]]</font>
| |
| − | '''('''[[#$isa]] [[#$QuintaryPredicate]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/93|093]]</font>
| |
| − | '''('''[[#$genls]] [[#$QuintaryPredicate]] [[#$Predicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/94|094]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$isa]] ?P [[#$QuintaryPredicate]] ''')'''
| |
| − | '''('''[[#$arity]] ?P 5''')''' ''')'''
| |
| − | | |
| − | === ;;; [[#$RealNumber]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/95|095]]</font>
| |
| − | '''('''[[#$isa]] [[#$RealNumber]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/96|096]]</font>
| |
| − | '''('''[[#$genls]] [[#$RealNumber]] [[#$AttributeValue]] ''')'''
| |
| − | | |
| − | === ;;; [[#$ReflexiveBinaryPredicate]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/97|097]]</font>
| |
| − | '''('''[[#$isa]] [[#$ReflexiveBinaryPredicate]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/98|098]]</font>
| |
| − | '''('''[[#$genls]] [[#$ReflexiveBinaryPredicate]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/99|099]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$isa]] ?PRED [[#$ReflexiveBinaryPredicate]] ''')'''
| |
| − | '''('''?PRED ?OBJ ?OBJ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$ReifiableFunction]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/100|100]]</font>
| |
| − | '''('''[[#$isa]] [[#$ReifiableFunction]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/101|101]]</font>
| |
| − | '''('''[[#$genls]] [[#$ReifiableFunction]] [[#$NonPredicateFunction]] ''')'''
| |
| − | | |
| − | === ;;; [[#$ReifiableTerm]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/102|102]]</font>
| |
| − | '''('''[[#$isa]] [[#$ReifiableTerm]] [[#$ReifiableTerm]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/103|103]]</font>
| |
| − | '''('''[[#$isa]] [[#$ReifiableTerm]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/104|104]]</font>
| |
| − | '''('''[[#$genls]] [[#$ReifiableTerm]] [[#$CycIndexedTerm]] ''')'''
| |
| − | | |
| − | === ;;; [[#$Relationship]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/105|105]]</font>
| |
| − | '''('''[[#$isa]] [[#$Relationship]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/106|106]]</font>
| |
| − | '''('''[[#$genls]] [[#$Relationship]] [[#$IndividualObject]] ''')'''
| |
| − | | |
| − | === ;;; [[#$Set-Mathematical]] ===
| |
| − | <font color=purple>[[MELD KERNEL KB/107|107]]</font>
| |
| − | '''('''[[#$isa]] [[#$Set-Mathematical]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/108|108]]</font>
| |
| − | '''('''[[#$genls]] [[#$Set-Mathematical]] [[#$SetOrCollection]]''')'''
| |
| − | | |
| − | === ;;; [[#$SetOrCollection]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/109|109]]</font>
| |
| − | '''('''[[#$isa]] [[#$SetOrCollection]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/110|110]]</font>
| |
| − | '''('''[[#$genls]] [[#$SetOrCollection]] [[#$Thing]] ''')'''
| |
| − | | |
| − | === ;;; [[#$SetTheFormat]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/111|111]]</font>
| |
| − | '''('''[[#$isa]] [[#$SetTheFormat]] [[#$Format]]''')'''
| |
| − | | |
| − | === ;;; [[#$SiblingDisjointAttributeType]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/112|112]]</font>
| |
| − | '''('''[[#$isa]] [[#$SiblingDisjointAttributeType]] [[#$SiblingDisjointCollection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/113|113]]</font>
| |
| − | '''('''[[#$genls]] [[#$SiblingDisjointAttributeType]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/114|114]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?C [[#$SiblingDisjointAttributeType]] ''')'''
| |
| − | '''('''[[#$isa]] ?A1 ?C ''')'''
| |
| − | '''('''[[#$isa]] ?A2 ?C ''')'''
| |
| − | '''('''[[#$different]] ?A1 ?A2 ''')'''
| |
| − | '''('''[[#$hasAttributes]] ?G072 ?A1 ''')'''
| |
| − | '''('''[[#$hasAttributes]] ?G072 ?A2 ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$or]]
| |
| − | '''('''[[#$genlAttributes]] ?A1 ?A2''')'''
| |
| − | '''('''[[#$genlAttributes]] ?A2 ?A1''')'''
| |
| − | ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$SiblingDisjointCollection]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/115|115]]</font>
| |
| − | '''('''[[#$isa]] [[#$SiblingDisjointCollection]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/116|116]]</font>
| |
| − | '''('''[[#$genls]] [[#$SiblingDisjointCollection]] [[#$Collection]]''')'''
| |
| − | | |
| − | === ;;; [[#$SingleEntry]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/117|117]]</font>
| |
| − | '''('''[[#$isa]] [[#$SingleEntry]] [[#$Format]] ''')'''
| |
| − | | |
| − | === ;;; [[#$SkolemFuncN]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/118|118]]</font>
| |
| − | '''('''[[#$isa]] [[#$SkolemFuncN]] [[#$ReifiableFunction]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/119|119]]</font>
| |
| − | '''('''[[#$arity]] [[#$SkolemFuncN]] 3''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/120|120]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$SkolemFuncN]] [[#$CycSystemList]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/121|121]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$SkolemFuncN]] [[#$CycSystemSymbol]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/122|122]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$SkolemFuncN]] [[#$RealNumber]]''')'''
| |
| − | | |
| − | === ;;; [[#$SkolemFunction]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/123|123]]</font>
| |
| − | '''('''[[#$isa]] [[#$SkolemFunction]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/124|124]]</font>
| |
| − | '''('''[[#$genls]] [[#$SkolemFunction]] [[#$ReifiableFunction]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/125|125]]</font>
| |
| − | '''('''[[#$arity]] [[#$SkolemFunction]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/126|126]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$SkolemFunction]] [[#$CycSystemSymbol]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/127|127]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$SkolemFunction]] [[#$CycSystemList]]''')'''
| |
| − | | |
| − | === ;;; [[#$SubAbs]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/128|128]]</font>
| |
| − | '''('''[[#$isa]] [[#$SubAbs]] [[#$Format]]''')'''
| |
| − | | |
| − | === ;;; [[#$SymmetricBinaryPredicate]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/129|129]]</font>
| |
| − | '''('''[[#$isa]] [[#$SymmetricBinaryPredicate]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/130|130]]</font>
| |
| − | '''('''[[#$genls]] [[#$SymmetricBinaryPredicate]] [[#$CommutativeRelation]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/131|131]]</font>
| |
| − | '''('''[[#$genls]] [[#$SymmetricBinaryPredicate]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/132|132]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?PRED [[#$SymmetricBinaryPredicate]]''')'''
| |
| − | '''('''?PRED ?ARG1 ?ARG2''')'''
| |
| − | ''')'''
| |
| − | '''('''?PRED ?ARG2 ?ARG1''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/133|133]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$isa]] ?PRED [[#$SymmetricBinaryPredicate]] ''')'''
| |
| − | '''('''[[#$genlInverse]] ?PRED ?PRED ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$TemporalObject]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/134|134]]</font>
| |
| − | '''('''[[#$isa]] [[#$TemporalObject]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/135|135]]</font>
| |
| − | '''('''[[#$genls]] [[#$TemporalObject]] [[#$IndividualObject]] ''')'''
| |
| − | | |
| − | === ;;; #$TernaryPredicate ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/136|136]]</font>
| |
| − | '''('''[[#$isa]] [[#$TernaryPredicate]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/137|137]]</font>
| |
| − | '''('''[[#$genls]] [[#$TernaryPredicate]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/138|138]]</font>
| |
| − | '''('''[[#$not]] '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?X [[#$TernaryPredicate]] ''')'''
| |
| − | '''('''[[#$arg4Isa]] ?X ?Y ''')'''
| |
| − | ''')''' ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/139|139]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$isa]] ?P [[#$TernaryPredicate]] ''')'''
| |
| − | '''('''[[#$arity]] ?P 3 ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$TheSet]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/140|140]]</font>
| |
| − | '''('''[[#$isa]] [[#$TheSet]] [[#$VariableArityRelation]] ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/141|141]]</font>
| |
| − | '''('''[[#$isa]] [[#$TheSet]] [[#$NonPredicateFunction]]''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/142|142]]</font>
| |
| − | '''('''[[#$resultIsa]] [[#$TheSet]] [[#$Set-Mathematical]]''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/143|143]]</font>
| |
| − | '''('''[[#$argsIsa]] [[#$TheSet]] [[#$Thing]] ''')'''
| |
| − | | |
| − | | |
| − | === ;;; [[#$TheTerm]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/144|144]]</font>
| |
| − | '''('''[[#$isa]] [[#$TheTerm]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/145|145]]</font>
| |
| − | '''('''[[#$genls]] [[#$TheTerm]] [[#$Thing]] ''')'''
| |
| − | | |
| − | === ;;; [[#$Thing]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/146|146]]</font>
| |
| − | '''('''[[#$isa]] [[#$Thing]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/147|147]]</font>
| |
| − | '''('''[[#$isa]] ?OBJ [[#$Thing]]''')'''
| |
| − | | |
| − | === ;;; [[#$TransitiveBinaryPredicate]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/148|148]]</font>
| |
| − | '''('''[[#$isa]] [[#$TransitiveBinaryPredicate]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/149|149]]</font>
| |
| − | '''('''[[#$genls]] [[#$TransitiveBinaryPredicate]] [[#$BinaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/150|150]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?U [[#$TransitiveBinaryPredicate]] ''')'''
| |
| − | '''(''' ?U ?X ?Z ''')'''
| |
| − | '''(''' ?U ?Z ?VAR3 ''')'''
| |
| − | ''')'''
| |
| − | '''(''' ?U ?X ?VAR3 ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$True]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/151|151]]</font>
| |
| − | '''('''[[#$isa]] [[#$True]] [[#$IndividualObject]] ''')'''
| |
| − | | |
| − | === ;;; [[#$UnaryPredicate]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/152|152]]</font>
| |
| − | '''('''[[#$isa]] [[#$UnaryPredicate]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/153|153]]</font>
| |
| − | '''('''[[#$genls]] [[#$UnaryPredicate]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/154|154]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$isa]] ?P [[#$UnaryPredicate]] ''')'''
| |
| − | '''('''[[#$arity]] ?P 1 ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$UnaryTypePredicate]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/155|155]]</font>
| |
| − | '''('''[[#$isa]] [[#$UnaryTypePredicate]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/156|156]]</font>
| |
| − | '''('''[[#$genls]] [[#$UnaryTypePredicate]] [[#$UnaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/157|157]]</font>
| |
| − | '''('''[[#$genls]] [[#$UnaryTypePredicate]] [[#$InferenceRelatedBookkeepingPredicate]] ''')'''
| |
| − | | |
| − | === ;;; [[#$VariableArityRelation]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/158|158]]</font>
| |
| − | '''('''[[#$isa]] [[#$VariableArityRelation]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/159|159]]</font>
| |
| − | '''('''[[#$genls]] [[#$VariableArityRelation]] [[#$Relationship]] ''')'''
| |
| − | | |
| − | === ;;; [[#$abnormal]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/160|160]]</font>
| |
| − | '''('''[[#$isa]] [[#$abnormal]] [[#$DefaultMonotonicPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/161|161]]</font>
| |
| − | '''('''[[#$isa]] [[#$abnormal]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/162|162]]</font>
| |
| − | '''('''[[#$arity]] [[#$abnormal]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/163|163]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$abnormal]] [[#$CycSystemList]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/164|164]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$abnormal]] [[#$Assertion]] ''')'''
| |
| − | | |
| − | === ;;; [[#$afterAdding]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/165|165]]</font>
| |
| − | '''('''[[#$isa]] [[#$afterAdding]] [[#$InferenceRelatedBookkeepingPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/166|166]]</font>
| |
| − | '''('''[[#$isa]] [[#$afterAdding]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/167|167]]</font>
| |
| − | '''('''[[#$arity]] [[#$afterAdding]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/168|168]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$afterAdding]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/169|169]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$afterAdding]] [[#$CycSystemSymbol]] ''')'''
| |
| − | | |
| − | === ;;; [[#$afterRemoving]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/170|170]]</font>
| |
| − | '''('''[[#$isa]] [[#$afterRemoving]] [[#$InferenceRelatedBookkeepingPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/171|171]]</font>
| |
| − | '''('''[[#$isa]] [[#$afterRemoving]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/172|172]]</font>
| |
| − | '''('''[[#$arity]] [[#$afterRemoving]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/173|173]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$afterRemoving]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/174|174]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$afterRemoving]] [[#$CycSystemSymbol]]''')'''
| |
| − | | |
| − | === ;;; [[#$and]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/175|175]]</font>
| |
| − | '''('''[[#$isa]] [[#$and]] [[#$CommutativeRelation]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/176|176]]</font>
| |
| − | '''('''[[#$isa]] [[#$and]] [[#$VariableArityRelation]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/178|178]]</font>
| |
| − | '''('''[[#$argsIsa]] [[#$and]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/179|179]]</font>
| |
| − | '''('''[[#$resultIsa]] [[#$and]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | === ;;; [[#$arg1Format]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/180|180]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg1Format]] [[#$BinaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/181|181]]</font>
| |
| − | '''('''[[#$arity]] [[#$arg1Format]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/182|182]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$arg1Format]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/183|183]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$arg1Format]] [[#$Format]] ''')'''
| |
| − | | |
| − | === ;;; [[#$arg1Genl]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/184|184]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg1Genl]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/185|185]]</font>
| |
| − | '''('''[[#$arity]] [[#$arg1Genl]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/186|186]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$arg1Genl]] [[#$Relationship]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/187|187]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$arg1Genl]] [[#$Collection]] ''')'''
| |
| − | | |
| − | === ;;; [[#$arg1Isa]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/188|188]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg1Isa]] [[#$DefaultMonotonicPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/189|189]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg1Isa]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/190|190]]</font>
| |
| − | '''('''[[#$arity]] [[#$arg1Isa]] 2''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/191|191]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$arg1Isa]] [[#$Relationship]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/192|192]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$arg1Isa]] [[#$Collection]] ''')'''
| |
| − | | |
| − | | |
| − | === ;;; [[#$arg2Format]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/193|193]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg2Format]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/194|194]]</font>
| |
| − | '''('''[[#$arity]] [[#$arg2Format]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/195|195]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$arg2Format]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/196|196]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$arg2Format]] [[#$Format]] ''')'''
| |
| − | | |
| − | === ;;; [[#$arg2Genl]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/197|197]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg2Genl]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/198|198]]</font>
| |
| − | '''('''[[#$arity]] [[#$arg2Genl]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/199|199]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$arg2Genl]] [[#$Relationship]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/200|200]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$arg2Genl]] [[#$Collection]] ''')'''
| |
| − | | |
| − | === ;;; [[#$arg2Isa]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/201|201]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg2Isa]] [[#$DefaultMonotonicPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/202|202]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg2Isa]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/203|203]]</font>
| |
| − | '''('''[[#$arity]] [[#$arg2Isa]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/204|204]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$arg2Isa]] [[#$Relationship]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/205|205]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$arg2Isa]] [[#$Collection]] ''')'''
| |
| − | | |
| − | === ;;; [[#$arg3Format]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/206|206]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg3Format]] [[#$BinaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/207|207]]</font>
| |
| − | '''('''[[#$arity]] [[#$arg3Format]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/208|208]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$arg3Format]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/209|209]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$arg3Format]] [[#$Format]] ''')'''
| |
| − | | |
| − | === ;;; [[#$arg3Genl]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/210|210]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg3Genl]] [[#$BinaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/211|211]]</font>
| |
| − | '''('''[[#$arity]] [[#$arg3Genl]] 2''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/212|212]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$arg3Genl]] [[#$Relationship]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/213|213]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$arg3Genl]] [[#$Collection]]''')'''
| |
| − | | |
| − | === ;;; [[#$arg3Isa]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/214|214]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg3Isa]] [[#$DefaultMonotonicPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/215|215]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg3Isa]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/216|216]]</font>
| |
| − | '''('''[[#$arity]] [[#$arg3Isa]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/217|217]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$arg3Isa]] [[#$Relationship]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/218|218]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$arg3Isa]] [[#$Collection]] ''')'''
| |
| − | | |
| − | === ;;; [[#$arg4Format]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/219|219]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg4Format]] [[#$BinaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/220|220]]</font>
| |
| − | '''('''[[#$arity]] [[#$arg4Format]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/221|221]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$arg4Format]] [[#$Predicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/222|222]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$arg4Format]] [[#$Format]]''')'''
| |
| − | | |
| − | === ;;; [[#$arg4Genl]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/223|223]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg4Genl]] [[#$BinaryPredicate]] ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/224|224]]</font>
| |
| − | '''('''[[#$arity]] [[#$arg4Genl]] 2''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/225|225]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$arg4Genl]] [[#$Relationship]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/226|226]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$arg4Genl]] [[#$Collection]]''')'''
| |
| − | | |
| − | === ;;; [[#$arg4Isa]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/227|227]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg4Isa]] [[#$DefaultMonotonicPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/228|228]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg4Isa]] [[#$BinaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/229|229]]</font>
| |
| − | '''('''[[#$arity]] [[#$arg4Isa]] 2''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/230|230]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$arg4Isa]] [[#$Relationship]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/231|231]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$arg4Isa]] [[#$Collection]]''')'''
| |
| − | | |
| − | === ;;; [[#$arg5Format]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/232|232]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg5Format]] [[#$BinaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/233|233]]</font>
| |
| − | '''('''[[#$arity]] [[#$arg5Format]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/234|234]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$arg5Format]] [[#$Predicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/235|235]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$arg5Format]] [[#$Format]]''')'''
| |
| − | | |
| − | === ;;; [[#$arg5Genl]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/236|236]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg5Genl]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/237|237]]</font>
| |
| − | '''('''[[#$arity]] [[#$arg5Genl]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/238|238]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$arg5Genl]] [[#$Relationship]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/239|239]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$arg5Genl]] [[#$Collection]] ''')'''
| |
| − | | |
| − | === ;;; [[#$arg5Isa]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/240|240]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg5Isa]] [[#$DefaultMonotonicPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/241|241]]</font>
| |
| − | '''('''[[#$isa]] [[#$arg5Isa]] [[#$BinaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/242|242]]</font>
| |
| − | '''('''[[#$arity]] [[#$arg5Isa]] 2''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/243|243]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$arg5Isa]] [[#$Relationship]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/244|244]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$arg5Isa]] [[#$Collection]]''')'''
| |
| − | | |
| − | === ;;; [[#$argsGenl]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/245|245]]</font>
| |
| − | '''('''[[#$isa]] [[#$argsGenl]] [[#$BinaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/246|246]]</font>
| |
| − | '''('''[[#$arity]] [[#$argsGenl]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/247|247]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$argsGenl]] [[#$Relationship]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/248|248]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$argsGenl]] [[#$Collection]]''')'''
| |
| − | | |
| − | === ;;; [[#$argsIsa]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/249|249]]</font>
| |
| − | '''('''[[#$isa]] [[#$argsIsa]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/250|250]]</font>
| |
| − | '''('''[[#$arity]] [[#$argsIsa]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/251|251]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$argsIsa]] [[#$Relationship]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/252|252]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$argsIsa]] [[#$Collection]] ''')'''
| |
| − | | |
| − | === ;;; [[#$arity]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/253|253]]</font>
| |
| − | '''('''[[#$isa]] [[#$arity]] [[#$DefaultMonotonicPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/254|254]]</font>
| |
| − | '''('''[[#$isa]] [[#$arity]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/255|255]]</font>
| |
| − | '''('''[[#$arity]] [[#$arity]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/256|256]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$arity]] [[#$Relationship]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/257|257]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$arity]] [[#$Integer]] ''')'''
| |
| − | | |
| − | === ;;; [[#$coExtensional]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/258|258]]</font>
| |
| − | '''('''[[#$isa]] [[#$coExtensional]] [[#$SymmetricBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/259|259]]</font>
| |
| − | '''('''[[#$isa]] [[#$coExtensional]] [[#$ReflexiveBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/260|260]]</font>
| |
| − | '''('''[[#$isa]] [[#$coExtensional]] [[#$TransitiveBinaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/261|261]]</font>
| |
| − | '''('''[[#$genlInverse]] [[#$coExtensional]] [[#$coExtensional]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/262|262]]</font>
| |
| − | '''('''[[#$arity]] [[#$coExtensional]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/263|263]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$coExtensional]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/264|264]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$coExtensional]] [[#$Collection]]''')'''
| |
| − | | |
| − | === ;;; [[#$comment]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/265|265]]</font>
| |
| − | '''('''[[#$isa]] [[#$comment]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/266|266]]</font>
| |
| − | '''('''[[#$arity]] [[#$comment]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/267|267]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$comment]] [[#$CycIndexedTerm]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/268|268]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$comment]] [[#$CycSystemString]] ''')'''
| |
| − | | |
| − | === ;;; [[#$cyclistNotes]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/269|269]]</font>
| |
| − | '''('''[[#$isa]] [[#$cyclistNotes]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/270|270]]</font>
| |
| − | '''('''[[#$arity]] [[#$cyclistNotes]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/271|271]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$cyclistNotes]] [[#$CycIndexedTerm]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/272|272]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$cyclistNotes]] [[#$CycSystemString]] ''')'''
| |
| − | | |
| − | === ;;; [[#$defnIff]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/273|273]]</font>
| |
| − | '''('''[[#$isa]] [[#$defnIff]] [[#$InferenceRelatedBookkeepingPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/274|274]]</font>
| |
| − | '''('''[[#$isa]] [[#$defnIff]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/275|275]]</font>
| |
| − | '''('''[[#$arity]] [[#$defnIff]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/276|276]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$defnIff]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/277|277]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$defnIff]] [[#$CycSystemSymbol]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/278|278]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$defnIff]] ?X ?Y ''')'''
| |
| − | '''('''[[#$defnSufficient]] ?X ?Y ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$defnNecessary]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/279|279]]</font>
| |
| − | '''('''[[#$isa]] [[#$defnNecessary]] [[#$BinaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/280|280]]</font>
| |
| − | '''('''[[#$arity]] [[#$defnNecessary]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/281|281]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$defnNecessary]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/282|282]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$defnNecessary]] [[#$CycSystemSymbol]]''')'''
| |
| − | | |
| − | === ;;; [[#$defnSufficient]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/283|283]]</font>
| |
| − | '''('''[[#$isa]] [[#$defnSufficient]] [[#$InferenceRelatedBookkeepingPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/284|284]]</font>
| |
| − | '''('''[[#$isa]] [[#$defnSufficient]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/285|285]]</font>
| |
| − | '''('''[[#$arity]] [[#$defnSufficient]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/286|286]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$defnSufficient]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/287|287]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$defnSufficient]] [[#$CycSystemSymbol]]''')'''
| |
| − | | |
| − | === ;;; [[#$different]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/288|288]]</font>
| |
| − | '''('''[[#$isa]] [[#$different]] [[#$VariableArityRelation]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/289|289]]</font>
| |
| − | '''('''[[#$isa]] [[#$different]] [[#$EvaluatableFunction]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/290|290]]</font>
| |
| − | '''('''[[#$isa]] [[#$different]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/291|291]]</font>
| |
| − | '''('''[[#$argsIsa]] [[#$different]] [[#$Thing]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/292|292]]</font>
| |
| − | '''('''[[#$not]]
| |
| − | '''('''[[#$different]] ?OBJ ?OBJ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$disjointWith]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/293|293]]</font>
| |
| − | '''('''[[#$isa]] [[#$disjointWith]] [[#$DefaultMonotonicPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/294|294]]</font>
| |
| − | '''('''[[#$isa]] [[#$disjointWith]] [[#$SymmetricBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/295|295]]</font>
| |
| − | '''('''[[#$isa]] [[#$disjointWith]] [[#$IrreflexiveBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/296|296]]</font>
| |
| − | '''('''[[#$genlInverse]] [[#$disjointWith]] [[#$disjointWith]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/297|297]]</font>
| |
| − | '''('''[[#$arity]] [[#$disjointWith]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/298|298]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$disjointWith]] [[#$SetOrCollection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/299|299]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$disjointWith]] [[#$SetOrCollection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/300|300]]</font>
| |
| − | '''('''[[#$not]] '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?OBJ ?COL1''')'''
| |
| − | '''('''[[#$isa]] ?OBJ ?COL2''')'''
| |
| − | '''('''[[#$disjointWith]] ?COL1 ?COL2''')'''
| |
| − | ''')''' ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/301|301]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$disjointWith]] ?COL ?SUPERSET ''')'''
| |
| − | '''('''[[#$genls]] ?SUBSET ?SUPERSET ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$disjointWith]] ?COL ?SUBSET ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/302|302]]</font>
| |
| − | '''('''[[#$not]] '''('''[[#$and]]
| |
| − | '''('''[[#$disjointWith]] ?X ?Y''')'''
| |
| − | '''('''[[#$genls]] ?X ?Y''')'''
| |
| − | ''')''' ''')'''
| |
| − | | |
| − | === ;;; [[#$elementOf]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/303|303]]</font>
| |
| − | '''('''[[#$isa]] [[#$elementOf]] [[#$BinaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/304|304]]</font>
| |
| − | '''('''[[#$arity]] [[#$elementOf]] 2''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/305|305]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$elementOf]] [[#$Thing]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/306|306]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$elementOf]] [[#$SetOrCollection]]''')'''
| |
| − | | |
| − | === ;;; [[#$equals]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/307|307]]</font>
| |
| − | '''('''[[#$isa]] [[#$equals]] [[#$DefaultMonotonicPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/308|308]]</font>
| |
| − | '''('''[[#$isa]] [[#$equals]] [[#$SymmetricBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/309|309]]</font>
| |
| − | '''('''[[#$isa]] [[#$equals]] [[#$ReflexiveBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/310|310]]</font>
| |
| − | '''('''[[#$isa]] [[#$equals]] [[#$TransitiveBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/311|311]]</font>
| |
| − | '''('''[[#$genlInverse]] [[#$equals]] [[#$equals]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/312|312]]</font>
| |
| − | '''('''[[#$arity]] [[#$equals]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/313|313]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$equals]] [[#$Thing]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/314|314]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$equals]] [[#$Thing]] ''')'''
| |
| − | | |
| − | === ;;; [[#$exceptFor]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/315|315]]</font>
| |
| − | '''('''[[#$isa]] [[#$exceptFor]] [[#$Relatio1nship]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/316|316]]</font>
| |
| − | '''('''[[#$arity]] [[#$exceptFor]] 2''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/317|317]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$exceptFor]] [[#$Assertion]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/318|318]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$exceptFor]] [[#$ReifiableTerm]] ''')'''
| |
| − | | |
| − | === ;;; [[#$exceptWhen]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/319|319]]</font>
| |
| − | '''('''[[#$isa]] [[#$exceptWhen]] [[#$Relationship]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/320|320]]</font>
| |
| − | '''('''[[#$arity]] [[#$exceptWhen]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/321|321]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$exceptWhen]] [[#$Assertion]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/322|322]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$exceptWhen]] [[#$CycFormula]]''')'''
| |
| − | | |
| − | === ;;; [[#$forAll]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/323|323]]</font>
| |
| − | '''('''[[#$isa]] [[#$forAll]] [[#$Relationship]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/324|324]]</font>
| |
| − | '''('''[[#$arity]] [[#$forAll]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/325|325]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$forAll]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/326|326]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$forAll]] [[#$CycELVariable]] ''')'''
| |
| − | | |
| − | === ;;; [[#$genlAttributes]] ===
| |
| − | <font color=purple>[[MELD KERNEL KB/327|327]]</font>
| |
| − | '''('''[[#$isa]] [[#$genlAttributes]] [[#$ReflexiveBinaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/328|328]]</font>
| |
| − | '''('''[[#$isa]] [[#$genlAttributes]] [[#$TransitiveBinaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/329|329]]</font>
| |
| − | '''('''[[#$arity]] [[#$genlAttributes]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/330|330]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$genlAttributes]] [[#$AttributeValue]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/331|331]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$genlAttributes]] [[#$AttributeValue]]''')'''
| |
| − | | |
| − | === ;;; [[#$genlInverse]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/332|332]]</font>
| |
| − | '''('''[[#$isa]] [[#$genlInverse]] [[#$BinaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/333|333]]</font>
| |
| − | '''('''[[#$arity]] [[#$genlInverse]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/334|334]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$genlInverse]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/335|335]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$genlInverse]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/336|336]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$genlInverse]] ?PRED ?GEN-PRED''')'''
| |
| − | '''('''?PRED ?ARG1 ?ARG2''')'''
| |
| − | ''')'''
| |
| − | '''('''?GEN-PRED ?ARG2 ?ARG1''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/337|337]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$genlInverse]] ?SPEC-PRED ?PRED''')'''
| |
| − | '''('''[[#$genlInverse]] ?PRED ?GENL-PRED''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$genlPreds]] ?SPEC-PRED ?GENL-PRED''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/338|338]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$genlInverse]] ?SPEC-PRED ?PRED''')'''
| |
| − | '''('''[[#$genlPreds]] ?PRED ?GENL-PRED''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$genlInverse]] ?SPEC-PRED ?GENL-PRED''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/339|339]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$negationPreds]] ?GENL-PRED ?NEG-PRED ''')'''
| |
| − | '''('''[[#$genlInverse]] ?SPEC-PRED ?GENL-PRED ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$negationInverse]] ?NEG-PRED ?SPEC-PRED ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/340|340]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$negationInverse]] ?GENL-PRED ?NEG-PRED ''')'''
| |
| − | '''('''[[#$genlInverse]] ?SPEC-PRED ?GENL-PRED ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$negationPreds]] ?NEG-PRED ?SPEC-PRED ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/341|341]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$genlPreds]] ?SPEC-PRED ?PRED ''')'''
| |
| − | '''('''[[#$genlInverse]] ?PRED ?GENL-PRED ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$genlInverse]] ?SPEC-PRED ?GENL-PRED ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$genlMt]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/342|342]]</font>
| |
| − | '''('''[[#$isa]] [[#$genlMt]] [[#$DefaultMonotonicPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/343|343]]</font>
| |
| − | '''('''[[#$isa]] [[#$genlMt]] [[#$AntiSymmetricBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/344|344]]</font>
| |
| − | '''('''[[#$isa]] [[#$genlMt]] [[#$ReflexiveBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/345|345]]</font>
| |
| − | '''('''[[#$isa]] [[#$genlMt]] [[#$TransitiveBinaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/346|346]]</font>
| |
| − | '''('''[[#$arity]] [[#$genlMt]] 2''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/347|347]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$genlMt]] [[#$Microtheory]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/348|348]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$genlMt]] [[#$Microtheory]] ''')'''
| |
| − | | |
| − | === ;;; [[#$genlPreds]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/349|349]]</font>
| |
| − | '''('''[[#$isa]] [[#$genlPreds]] [[#$AntiSymmetricBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/350|350]]</font>
| |
| − | '''('''[[#$isa]] [[#$genlPreds]] [[#$ReflexiveBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/351|351]]</font>
| |
| − | '''('''[[#$isa]] [[#$genlPreds]] [[#$TransitiveBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/352|352]]</font>
| |
| − | '''('''[[#$arity]] [[#$genlPreds]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/353|353]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$genlPreds]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/354|354]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$genlPreds]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/355|355]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''?PRED ?ARG1''')'''
| |
| − | '''('''[[#$genlPreds]] ?PRED ?GENL-PRED ''')'''
| |
| − | ''')'''
| |
| − | '''('''?GENL-PRED ?ARG1''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/356|356]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$negationPreds]] ?GENL-PRED ?NEG-PRED ''')'''
| |
| − | '''('''[[#$genlPreds]] ?SPEC-PRED ?GENL-PRED ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$negationPreds]] ?NEG-PRED ?SPEC-PRED ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/357|357]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$negationInverse]] ?GENL-PRED ?NEG-PRED ''')'''
| |
| − | '''('''[[#$genlPreds]] ?SPEC-PRED ?GENL-PRED ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$negationInverse]] ?NEG-PRED ?SPEC-PRED ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/358|358]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$genlPreds]] ?PRED ?GENL-PRED ''')'''
| |
| − | '''('''?PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4 ?ARG5 ''')'''
| |
| − | ''')'''
| |
| − | '''('''?GENL-PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4 ?ARG5 ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/359|359]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$genlPreds]] ?PRED ?GENL-PRED''')'''
| |
| − | '''('''?PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4''')'''
| |
| − | ''')'''
| |
| − | '''('''?GENL-PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/360|360]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$genlPreds]] ?PRED ?GENL-PRED''')'''
| |
| − | '''('''?PRED ?ARG1 ?ARG2 ?ARG3''')'''
| |
| − | ''')'''
| |
| − | '''('''?GENL-PRED ?ARG1 ?ARG2 ?ARG3''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/361|361]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$genlPreds]] ?PRED ?GENL-PRED''')'''
| |
| − | '''('''?PRED ?ARG1 ?ARG2''')'''
| |
| − | ''')'''
| |
| − | '''('''?GENL-PRED ?ARG1 ?ARG2 ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$genls]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/362|362]]</font>
| |
| − | '''('''[[#$isa]] [[#$genls]] [[#$DefaultMonotonicPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/363|363]]</font>
| |
| − | '''('''[[#$isa]] [[#$genls]] [[#$ReflexiveBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/364|364]]</font>
| |
| − | '''('''[[#$isa]] [[#$genls]] [[#$TransitiveBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/365|365]]</font>
| |
| − | '''('''[[#$arity]] [[#$genls]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/366|366]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$genls]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/367|367]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$genls]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/368|368]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?OBJ ?SUBSET ''')'''
| |
| − | '''('''[[#$genls]] ?SUBSET ?SUPERSET ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?OBJ ?SUPERSET ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/369|369]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$resultgenl]] ?FUNC ?COLL ''')'''
| |
| − | '''('''[[#$genls]]
| |
| − | '''('''?FUNC ?ARG1 ?ARG2 ?ARG3 ?ARG4 ?ARG5 ''')'''
| |
| − | ?COLL
| |
| − | ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/370|370]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$resultgenl]] ?FUNC ?COLL ''')'''
| |
| − | '''('''[[#$genls]]
| |
| − | '''(''' ?FUNC ?ARG1 ?ARG2 ?ARG3 ?ARG4 ''')'''
| |
| − | ?COLL
| |
| − | ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/371|371]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$resultgenl]] ?FUNC ?COLL''')'''
| |
| − | '''('''[[#$genls]]
| |
| − | '''('''?FUNC ?ARG1 ?ARG2 ?ARG3''')'''
| |
| − | ?COLL
| |
| − | ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/372|372]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$resultgenl]] ?FUNC ?COLL''')'''
| |
| − | '''('''[[#$genls]]
| |
| − | '''('''?FUNC ?ARG1 ?ARG2''')'''
| |
| − | ?COLL
| |
| − | ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/373|373]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$resultgenl]] ?FUNC ?COLL''')'''
| |
| − | '''('''[[#$genls]]
| |
| − | '''('''?FUNC ?ARG1''')''' ?COLL''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$hasAttributes]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/374|374]]</font>
| |
| − | '''('''[[#$isa]] [[#$hasAttributes]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/375|375]]</font>
| |
| − | '''('''[[#$arity]] [[#$hasAttributes]] 2''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/376|376]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$hasAttributes]] [[#$TemporalObject]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/377|377]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$hasAttributes]] [[#$AttributeValue]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/378|378]]</font>
| |
| − | '''('''[[#$not]] '''('''[[#$and]]
| |
| − | '''('''[[#$hasAttributes]] ?Z ?X ''')'''
| |
| − | '''('''[[#$hasAttributes]] ?Z ?Y ''')'''
| |
| − | '''('''[[#$negationAttribute]] ?X ?Y ''')'''
| |
| − | ''')''' ''')'''
| |
| − | | |
| − | === ;;; [[#$holdsIn]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/379|379]]</font>
| |
| − | '''('''[[#$isa]] [[#$holdsIn]] [[#$BinaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/380|380]]</font>
| |
| − | '''('''[[#$arity]] [[#$holdsIn]] 2''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/381|381]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$holdsIn]] [[#$TemporalObject]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/382|382]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$holdsIn]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | === ;;; [[#$implies]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/383|383]]</font>
| |
| − | '''('''[[#$isa]] [[#$implies]] [[#$Relationship]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/384|384]] </font>
| |
| − | '''('''[[#$arity]] [[#$implies]] 2''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/385|385]] </font>
| |
| − | '''('''[[#$arg2Isa]] [[#$implies]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/386|386]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$implies]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/387|387]]</font>
| |
| − | '''('''[[#$resultIsa]] [[#$implies]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa1-2]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/388|388]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa1-2]] [[#$TernaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/389|389]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa1-2]] 3''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/390|390]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa1-2]] [[#$Predicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/391|391]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa1-2]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/392|392]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa1-2]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/393|393]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$requiredArg1Pred]] ?COL-1 ?PRED ''')'''
| |
| − | '''('''[[#$interArgIsa1-2]] ?PRED ?COL-1 ?COL-2 ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$relationAllExists]] ?PRED ?COL-1 ?COL-2 ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/394|394]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL''')'''
| |
| − | '''('''?PRED ?INDEP-INS ?DEP-INS''')'''
| |
| − | '''('''[[#$interArgIsa1-2]] ?PRED ?INDEP-COL ?DEP-COL''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa1-3]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/395|395]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa1-3]] [[#$TernaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/396|396]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa1-3]] 3''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/397|397]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa1-3]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/398|398]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa1-3]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/399|399]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa1-3]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/400|400]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL ''')'''
| |
| − | '''('''[[#$interArgIsa1-3]] ?PRED ?INDEP-COL ?DEP-COL ''')'''
| |
| − | '''('''?PRED ?INDEP-INS ?ANY-ARG-2 ?DEP-INS''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | | |
| − | === ;;; [[#$interArgIsa1-4]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/401|401]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa1-4]] [[#$TernaryPredicate]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/402|402]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa1-4]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/403|403]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa1-4]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/404|404]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa1-4]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/405|405]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa1-4]] [[#$Collection]]''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/406|406]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL''')'''
| |
| − | '''('''[[#$interArgIsa1-4]] ?PRED ?INDEP-COL ?DEP-COL''')'''
| |
| − | '''('''?PRED ?INDEP-INS ?ANY-ARG-2 ?ANY-ARG-3 ?DEP-INS''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa1-5]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/407|407]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa1-5]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/408|408]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa1-5]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/409|409]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa1-5]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/410|410]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa1-5]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/411|411]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa1-5]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/412|412]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL ''')'''
| |
| − | '''('''[[#$interArgIsa1-5]] ?PRED ?INDEP-COL ?DEP-COL ''')'''
| |
| − | '''(''' ?PRED ?INDEP-INS ?ANY-ARG-2 ?ANY-ARG-3 ?ANY-ARG-4 ?DEP-INS ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa2-1]] ===
| |
| − | <font color=purple>[[MELD KERNEL KB/413|413]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa2-1]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/414|414]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa2-1 3]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/415|415]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa2-1]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/416|416]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa2-1 #$Collection''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/417|417]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa2-1 #$Collection''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/418|418]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL ''')'''
| |
| − | '''('''?PRED ?DEP-INS ?INDEP-INS ''')'''
| |
| − | '''('''[[#$interArgIsa2-1]] ?PRED ?INDEP-COL ?DEP-COL ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa2-3]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/419|419]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa2-3]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/420|420]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa2-3]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/421|421]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa2-3]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/422|422]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa2-3]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/423|423]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa2-3]] [[#$Collection]] ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/424|424]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL ''')'''
| |
| − | '''('''[[#$interArgIsa2-3]] ?PRED ?INDEP-COL ?DEP-COL ''')'''
| |
| − | '''('''?PRED ?ANY-ARG-1 ?INDEP-INS ?DEP-INS ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa2-4]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/425|425]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa2-4]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/426|426]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa2-4 3]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/427|427]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa2-4]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/428|428]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa2-4]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/429|429]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa2-4]] [[#$Collection]] ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/430|430]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL ''')'''
| |
| − | '''('''[[#$interArgIsa2-4]] ?PRED ?INDEP-COL ?DEP-COL ''')'''
| |
| − | '''('''?PRED ?ANY-ARG-1 ?INDEP-INS ?ANY-ARG-3 ?DEP-INS ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa2-5]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/431|431]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa2-5]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/432|432]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa2-5]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/433|433]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa2-5]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/434|434]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa2-5]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/435|435]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa2-5]] [[#$Collection]] ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/436|436]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL ''')'''
| |
| − | '''('''[[#$interArgIsa2-5]] ?PRED ?INDEP-COL ?DEP-COL''')'''
| |
| − | '''('''?PRED ?ANY-ARG-1 ?INDEP-INS ?ANY-ARG-3 ?ANY-ARG-4 ?DEP-INS ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa3-1]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/437|437]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa3-1]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/438|438]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa3-1]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/439|439]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa3-1]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/440|440]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa3-1]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/441|441]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa3-1]] [[#$Collection]] ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/442|442]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL ''')'''
| |
| − | '''('''[[#$interArgIsa3-1]] ?PRED ?INDEP-COL ?DEP-COL ''')'''
| |
| − | '''('''?PRED ?DEP-INS ?ANY-ARG-2 ?INDEP-INS ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa3-2]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/443|443]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa3-2]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/444|444]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa3-2]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/445|445]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa3-2]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/446|446]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa3-2]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/447|447]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa3-2]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/448|448]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL ''')'''
| |
| − | '''('''[[#$interArgIsa3-2]] ?PRED ?INDEP-COL ?DEP-COL ''')'''
| |
| − | '''('''?PRED ?ANY-ARG-1 ?DEP-INS ?INDEP-INS ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa3-4]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/449|449]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa3-4]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/450|450]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa3-4]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/451|451]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa3-4]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/452|452]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa3-4]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/453|453]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa3-4]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/454|454]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL ''')'''
| |
| − | '''('''[[#$interArgIsa3-4]] ?PRED ?INDEP-COL ?DEP-COL ''')'''
| |
| − | '''('''?PRED ?ANY-ARG-1 ?ANY-ARG-2 ?INDEP-INS ?DEP-INS ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa3-5]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/455|455]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa3-5]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/456|456]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa3-5]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/457|457]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa3-5]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/458|458]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa3-5]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/459|459]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa3-5]] [[#$Collection]]''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/460|460]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL ''')'''
| |
| − | '''('''[[#$interArgIsa3-5]] ?PRED ?INDEP-COL ?DEP-COL ''')'''
| |
| − | '''('''?PRED ?ANY-ARG-1 ?ANY-ARG-2 ?INDEP-INS ?ANY-ARG-4 ?DEP-INS ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa4-1]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/461|461]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa4-1]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/462|462]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa4-1]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/463|463]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa4-1]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/464|464]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa4-1]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/465|465]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa4-1]] [[#$Collection]] ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/466|466]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL ''')'''
| |
| − | '''('''[[#$interArgIsa4-1]] ?PRED ?INDEP-COL ?DEP-COL ''')'''
| |
| − | '''('''?PRED ?DEP-INS ?ANY-ARG-2 ?ANY-ARG-3 ?INDEP-INS ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa4-2]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/467|467]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa4-2]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/468|468]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa4-2]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/469|469]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa4-2]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/470|470]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa4-2]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/471|471]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa4-2]] [[#$Collection]] ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/472|472]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL ''')'''
| |
| − | '''('''[[#$interArgIsa4-2]] ?PRED ?INDEP-COL ?DEP-COL ''')'''
| |
| − | '''('''?PRED ?ANY-ARG-1 ?DEP-INS ?ANY-ARG-3 ?INDEP-INS ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa4-3]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/473|473]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa4-3]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/474|474]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa4-3]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/475|475]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa4-3]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/476|476]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa4-3]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/477|477]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa4-3]] [[#$Collection]] ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/478|478]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL ''')'''
| |
| − | '''('''[[#$interArgIsa4-3]] ?PRED ?INDEP-COL ?DEP-COL ''')'''
| |
| − | '''('''?PRED ?ANY-ARG-1 ?ANY-ARG-2 ?DEP-INS ?INDEP-INS ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa4-5]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/479|479]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa4-5]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/480|480]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa4-5]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/481|481]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa4-5]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/482|482]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa4-5]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/483|483]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa4-5]] [[#$Collection]] ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/484|484]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL ''')'''
| |
| − | '''('''[[#$interArgIsa4-5]] ?PRED ?INDEP-COL ?DEP-COL ''')'''
| |
| − | '''('''?PRED ?ANY-ARG-1 ?ANY-ARG-2 ?ANY-ARG-3 ?INDEP-INS ?DEP-INS ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa5-1]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/485|485]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa5-1]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/486|486]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa5-1]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/487|487]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa5-1]] [[#$QuintaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/488|488]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa5-1]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/489|489]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa5-1]] [[#$Collection]] ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/490|490]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL''')'''
| |
| − | '''('''[[#$interArgIsa5-1]] ?PRED ?INDEP-COL ?DEP-COL''')'''
| |
| − | '''('''?PRED ?DEP-INS ?ANY-ARG-2 ?ANY-ARG-3 ?ANY-ARG-4 ?INDEP-INS ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa5-2]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/491|491]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa5-2]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/492|492]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa5-2]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/493|493]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa5-2]] [[#$QuintaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/494|494]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa5-2]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/495|495]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa5-2]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/496|496]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL ''')'''
| |
| − | '''('''[[#$interArgIsa5-2]] ?PRED ?INDEP-COL ?DEP-COL ''')'''
| |
| − | '''('''?PRED ?ANY-ARG-1 ?DEP-INS ?ANY-ARG-3 ?ANY-ARG-4 ?INDEP-INS ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa5-3]] ===
| |
| − | <font color=purple>[[MELD KERNEL KB/497|497]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa5-3]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/498|498]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa5-3]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/499|499]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa5-3]] [[#$QuintaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/500|500]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa5-3]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/501|501]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa5-3]] [[#$Collection]] ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/502|502]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL ''')'''
| |
| − | '''('''[[#$interArgIsa5-3]] ?PRED ?INDEP-COL ?DEP-COL ''')'''
| |
| − | '''('''?PRED ?ANY-ARG-1 ?ANY-ARG-2 ?DEP-INS ?ANY-ARG-4 ?INDEP-INS ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$interArgIsa5-4]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/503|503]]</font>
| |
| − | '''('''[[#$isa]] [[#$interArgIsa5-4]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/504|504]]</font>
| |
| − | '''('''[[#$arity]] [[#$interArgIsa5-4]] 3''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/505|505]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$interArgIsa5-4]] [[#$QuintaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/506|506]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$interArgIsa5-4]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/507|507]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$interArgIsa5-4]] [[#$Collection]]''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/508|508]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$and]]
| |
| − | '''('''[[#$isa]] ?INDEP-INS ?INDEP-COL ''')'''
| |
| − | '''('''[[#$interArgIsa5-4]] ?PRED ?INDEP-COL ?DEP-COL ''')'''
| |
| − | '''('''?PRED ?ANY-ARG-1 ?ANY-ARG-2 ?ANY-ARG-3 ?DEP-INS ?INDEP-INS ''')'''
| |
| − | ''')'''
| |
| − | '''('''[[#$isa]] ?DEP-INS ?DEP-COL ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$relationExistsAll]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/509|509]]</font>
| |
| − | '''('''[[#$isa]] [[#$relationExistsAll]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/510|510]]</font>
| |
| − | '''('''[[#$arity]] [[#$relationExistsAll]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/511|511]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$relationExistsAll]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/512|512]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$relationExistsAll]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/513|513]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$relationExistsAll]] [[#$Collection]] ''')'''
| |
| − | | |
| − | === ;;; [[#$relationExistsCountAll]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/514|514]]</font>
| |
| − | '''('''[[#$isa]] [[#$relationExistsCountAll]] [[#$QuaternaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/515|515]]</font>
| |
| − | '''('''[[#$arity]] [[#$relationExistsCountAll]] 4 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/516|516]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$relationExistsCountAll]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/517|517]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$relationExistsCountAll]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/518|518]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$relationExistsCountAll]] [[#$Collection]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/519|519]]</font>
| |
| − | '''('''[[#$arg4Isa]] [[#$relationExistsCountAll]] [[#$NonNegativeInteger]] ''')'''
| |
| − | | |
| − | === ;;; [[#$isa]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/520|520]]</font>
| |
| − | '''('''[[#$isa]] [[#$isa]] [[#$DefaultMonotonicPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/521|521]]</font>
| |
| − | '''('''[[#$isa]] [[#$isa]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/522|522]]</font>
| |
| − | '''('''[[#$arity]] [[#$isa]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/523|523]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$isa]] [[#$ReifiableTerm]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/524|524]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$isa]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/525|525]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''(''' [[#$resultIsa]] ?F ?COL ''')'''
| |
| − | '''(''' [[#$isa]]
| |
| − | '''('''?F ?ARG1 ?ARG2 ?ARG3 ''')'''
| |
| − | ?COL
| |
| − | ''')'''
| |
| − | ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/526|526]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$resultIsa]] ?F ?COL ''')'''
| |
| − | '''('''[[#$isa]]
| |
| − | '''('''?F ?ARG1 ?ARG2 ''')'''
| |
| − | ?COL
| |
| − | ''')'''
| |
| − | ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/527|527]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$resultIsa]] ?F ?COL''')'''
| |
| − | '''('''[[#$isa]]
| |
| − | '''('''?F ?ARG1 ''')'''
| |
| − | ?COL
| |
| − | ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$ist]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/528|528]]</font>
| |
| − | '''('''[[#$isa]] [[#$ist]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/529|529]]</font>
| |
| − | '''('''[[#$arity]] [[#$ist]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/530|530]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$ist]] [[#$Microtheory]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/531|531]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$ist]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | === ;;; [[#$lispDefun]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/532|532]]</font>
| |
| − | '''('''[[#$isa]] [[#$lispDefun]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/533|533]]</font>
| |
| − | '''('''[[#$arity]] [[#$lispDefun]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/534|534]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$lispDefun]] [[#$EvaluatableFunction]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/535|535]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$lispDefun]] [[#$CycSystemSymbol]] ''')'''
| |
| − | | |
| − | === ;;; [[#$minimizeExtent]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/536|536]]</font>
| |
| − | '''('''[[#$isa]] [[#$minimizeExtent]] [[#$UnaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/537|537]]</font>
| |
| − | '''('''[[#$arity]] [[#$minimizeExtent]] 1 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/538|538]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$minimizeExtent]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | === ;;; [[#$mtInferenceFunction]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/539|539]]</font>
| |
| − | '''('''[[#$isa]] [[#$mtInferenceFunction]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/549|540]]</font>
| |
| − | '''('''[[#$arity]] [[#$mtInferenceFunction]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/541|541]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$mtInferenceFunction]] [[#$Microtheory]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/542|542]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$mtInferenceFunction]] [[#$CycSystemSymbol]] ''')'''
| |
| − | | |
| − | === ;;; [[#$myCreationTime]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/543|543]]</font>
| |
| − | '''('''[[#$isa]] [[#$myCreationTime]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/544|544]]</font>
| |
| − | '''('''[[#$isa]] [[#$myCreationTime]] [[#$BookkeepingPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/545|545]]</font>
| |
| − | '''('''[[#$arity]] [[#$myCreationTime]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/546|546]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$myCreationTime]] [[#$Thing]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/543|547]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$myCreationTime]] [[#$PositiveInteger]] ''')'''
| |
| − | | |
| − | === ;;; [[#$myCreator]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/548|548]]</font>
| |
| − | '''('''[[#$isa]] [[#$myCreator]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/549|549]]</font>
| |
| − | '''('''[[#$isa]] [[#$myCreator]] [[#$BookkeepingPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/550|550]]</font>
| |
| − | '''('''[[#$arity]] [[#$myCreator]] 2''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/551|551]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$myCreator]] [[#$Thing]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/552|552]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$myCreator]] [[#$Cyclist]] ''')'''
| |
| − | | |
| − | === ;;; [[#$negationAttribute]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/553|553]]</font>
| |
| − | '''('''[[#$isa]] [[#$negationAttribute]] [[#$SymmetricBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/554|554]]</font>
| |
| − | '''('''[[#$isa]] [[#$negationAttribute]] [[#$IrreflexiveBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/555|555]]</font>
| |
| − | '''('''[[#$genlInverse]] [[#$negationAttribute]] [[#$negationAttribute]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/556|556]]</font>
| |
| − | '''('''[[#$arity]] [[#$negationAttribute]] 2''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/557|557]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$negationAttribute]] [[#$AttributeValue]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/558|558]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$negationAttribute]] [[#$AttributeValue]] ''')'''
| |
| − | | |
| − | === ;;; [[#$negationInverse]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/559|559]]</font>
| |
| − | '''('''[[#$isa]] [[#$negationInverse]] [[#$SymmetricBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/560|560]]</font>
| |
| − | '''('''[[#$isa]] [[#$negationInverse]] [[#$IrreflexiveBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/561|561]]</font>
| |
| − | '''('''[[#$genlInverse]] [[#$negationInverse]] [[#$negationInverse]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/562|562]]</font>
| |
| − | '''('''[[#$arity]] [[#$negationInverse]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/563|563]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$negationInverse]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/564|564]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$negationInverse]] [[#$BinaryPredicate]] ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/565|565]]</font>
| |
| − | '''('''[[#$not]] '''('''[[#$and]]
| |
| − | '''('''[[#$negationInverse]] ?GEN-PRED ?PRED''')'''
| |
| − | '''('''?PRED ?ARG1 ?ARG2''')'''
| |
| − | '''('''?GEN-PRED ?ARG2 ?ARG1''')'''
| |
| − | ''')''' ''')'''
| |
| − | | |
| − | === ;;; [[#$negationPreds]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/566|566]]</font>
| |
| − | '''('''[[#$isa]] [[#$negationPreds]] [[#$SymmetricBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/567|567]]</font>
| |
| − | '''('''[[#$genlInverse]] [[#$negationPreds]] [[#$negationPreds]]''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/568|568]]</font>
| |
| − | '''('''[[#$arity]] [[#$negationPreds]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/569|569]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$negationPreds]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/570|570]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$negationPreds]] [[#$Predicate]] ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/571|571]]</font>
| |
| − | '''('''[[#$not]] '''('''[[#$and]]
| |
| − | '''('''?PRED ?ARG1''')'''
| |
| − | '''('''?NEG-PRED ?ARG1''')'''
| |
| − | '''('''[[#$negationPreds]] ?NEG-PRED ?PRED ''')'''
| |
| − | ''')''' ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/572|572]]</font>
| |
| − | '''('''[[#$not]] '''('''[[#$and]]
| |
| − | '''('''[[#$negationPreds]] ?NEG-PRED ?PRED''')'''
| |
| − | '''('''?PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4 ?ARG5''')'''
| |
| − | '''('''?NEG-PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4 ?ARG5''')'''
| |
| − | ''')''' ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/573|573]]</font>
| |
| − | '''('''[[#$not]] '''('''[[#$and]]
| |
| − | '''('''[[#$negationPreds]] ?NEG-PRED ?PRED''')'''
| |
| − | '''('''?PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4''')'''
| |
| − | '''('''?NEG-PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4 ''')'''
| |
| − | ''')''' ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/574|574]]</font>
| |
| − | '''('''[[#$not]] '''('''[[#$and]]
| |
| − | '''('''[[#$negationPreds]] ?NEG-PRED ?PRED''')'''
| |
| − | '''('''?PRED ?ARG1 ?ARG2 ?ARG3''')'''
| |
| − | '''('''?NEG-PRED ?ARG1 ?ARG2 ?ARG3''')'''
| |
| − | ''')''' ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/575|575]]</font>
| |
| − | '''('''[[#$not]] '''('''[[#$and]]
| |
| − | '''('''[[#$negationPreds]] ?NEG-PRED ?PRED''')'''
| |
| − | '''('''?PRED ?ARG1 ?ARG2''')'''
| |
| − | '''('''?NEG-PRED ?ARG1 ?ARG2''')'''
| |
| − | ''')''' ''')'''
| |
| − | | |
| − | === ;;; [[#$not]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/576|576]]</font>
| |
| − | '''('''[[#$isa]] [[#$not]] [[#$Relationship]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/577|577]]</font>
| |
| − | '''('''[[#$arity]] [[#$not]] 1 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/578|578]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$not]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/579|579]]</font>
| |
| − | '''('''[[#$resultIsa]] [[#$not]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | === ;;; [[#$oldConstantName]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/580|580]]</font>
| |
| − | '''('''[[#$isa]] [[#$oldConstantName]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/581|581]]</font>
| |
| − | '''('''[[#$arity]] [[#$oldConstantName]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/582|582]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$oldConstantName]] [[#$Thing]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/583|583]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$oldConstantName]] [[#$CycSystemString]] ''')'''
| |
| − | | |
| − | === ;;; [[#$or]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/584|584]]</font>
| |
| − | '''('''[[#$isa]] [[#$or]] [[#$CommutativeRelation]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/585|585]]</font>
| |
| − | '''('''[[#$isa]] [[#$or]] [[#$VariableArityRelation]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/586|586]]</font>
| |
| − | '''('''[[#$argsIsa]] [[#$or]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/587|587]]</font>
| |
| − | '''('''[[#$resultIsa]] [[#$or]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | === ;;; [[#$relationAllExists]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/588|588]]</font>
| |
| − | '''('''[[#$isa]] [[#$relationAllExists]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/589|589]]</font>
| |
| − | '''('''[[#$arity]] [[#$relationAllExists]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/590|590]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$relationAllExists]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/591|591]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$relationAllExists]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/592|592]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$relationAllExists]] [[#$Collection]] ''')'''
| |
| − | | |
| − | === ;;; [[#$relationAllExistsCount]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/593|593]]</font>
| |
| − | '''('''[[#$isa]] [[#$relationAllExistsCount]] [[#$QuaternaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/594|594]]</font>
| |
| − | '''('''[[#$arity]] [[#$relationAllExistsCount]] 4 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/595|595]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$relationAllExistsCount]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/596|596]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$relationAllExistsCount]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/597|597]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$relationAllExistsCount]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/598|598]]</font>
| |
| − | '''('''[[#$arg4Isa]] [[#$relationAllExistsCount]] [[#$NonNegativeInteger]] ''')'''
| |
| − | | |
| − | === ;;; [[#$requiredArg1Pred]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/600|600]]</font>
| |
| − | '''('''[[#$isa]] [[#$requiredArg1Pred]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/601|601]]</font>
| |
| − | '''('''[[#$arity]] [[#$requiredArg1Pred]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/602|602]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$requiredArg1Pred]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/603|603]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$requiredArg1Pred]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | === ;;; [[#$requiredArg2Pred]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/604|604]]</font>
| |
| − | '''('''[[#$isa]] [[#$requiredArg2Pred]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/605|605]]</font>
| |
| − | '''('''[[#$arity]] [[#$requiredArg2Pred]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/606|606]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$requiredArg2Pred]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/607|607]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$requiredArg2Pred]] [[#$Predicate]] ''')'''
| |
| − | | |
| − | === ;;; [[#$resultgenl]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/608|608]]</font>
| |
| − | '''('''[[#$isa]] [[#$resultgenl]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/609|609]]</font>
| |
| − | '''('''[[#$arity]] [[#$resultGenl]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/610|610]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$resultGenl]] [[#$CollectionDenotingFunction]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/611|611]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$resultGenl]] [[#$Collection]] ''')'''
| |
| − | | |
| − | === ;;; [[#$resultIsa]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/612|612]]</font>
| |
| − | '''('''[[#$isa]] [[#$resultIsa]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/613|613]]</font>
| |
| − | '''('''[[#$arity]] [[#$resultIsa]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/614|614]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$resultIsa]] [[#$Relationship]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/615|615]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$resultIsa]] [[#$Collection]] ''')'''
| |
| − | | |
| − | === ;;; [[#$satisfiesDescription]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/616|616]]</font>
| |
| − | '''('''[[#$isa]] [[#$satisfiesDescription]] [[#$TernaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/617|617]]</font>
| |
| − | '''('''[[#$arity]] [[#$satisfiesDescription]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/618|618]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$satisfiesDescription]] [[#$CycSystemList]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/619|619]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$satisfiesDescription]] [[#$CycSystemList]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/620|620]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$satisfiesDescription]] [[#$Microtheory]] ''')'''
| |
| − | | |
| − | | |
| − | === ;;; [[#$siblingDisjointExceptions]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/621|621]]</font>
| |
| − | '''('''[[#$isa]] [[#$siblingDisjointExceptions]] [[#$SymmetricBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/622|622]]</font>
| |
| − | '''('''[[#$isa]] [[#$siblingDisjointExceptions]] [[#$IrreflexiveBinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/623|623]]</font>
| |
| − | '''('''#$genlInverse]] [[#$siblingDisjointExceptions]] [[#$siblingDisjointExceptions]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/624|624]]</font>
| |
| − | '''('''[[#$arity]] [[#$siblingDisjointExceptions]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/625|625]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$siblingDisjointExceptions]] [[#$Collection]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/626|626]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$siblingDisjointExceptions]] [[#$Collection]] ''')'''
| |
| − |
| |
| − | <font color=purple>[[MELD KERNEL KB/627|627]]</font>
| |
| − | '''('''[[#$implies]]
| |
| − | '''('''[[#$siblingDisjointExceptions]] ?C1 ?C2 ''')'''
| |
| − | '''('''[[#$siblingDisjointExceptions]] ?C1 ?C2 ''')'''
| |
| − | ''')'''
| |
| − | | |
| − | === ;;; [[#$termOfUnit]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/628|628]]</font>
| |
| − | '''('''[[#$isa]] [[#$termOfUnit]] [[#$DefaultMonotonicPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/629|629]]</font>
| |
| − | '''('''[[#$isa]] [[#$termOfUnit]] [[#$InferenceRelatedBookkeepingPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/630|630]]</font>
| |
| − | '''('''[[#$isa]] [[#$termOfUnit]] [[#$BinaryPredicate]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/631|631]]</font>
| |
| − | '''('''[[#$arity]] [[#$termOfUnit]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/632|632]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$termOfUnit]] [[#$ReifiableTerm]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/633|633]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$termOfUnit]] [[#$CycSystemList]] ''')'''
| |
| − | | |
| − | === ;;; [[#$thereExistAtLeast]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/634|634]]</font>
| |
| − | '''('''[[#$isa]] [[#$thereExistAtLeast]] [[#$Relationship]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/635|635]]</font>
| |
| − | '''('''[[#$arity]] [[#$thereExistAtLeast]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/636|636]]</font>
| |
| − | '''('''[[#$resultIsa]] [[#$thereExistAtLeast]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/637|637]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$thereExistAtLeast]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/638|638]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$thereExistAtLeast]] [[#$CycELVariable]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/639|639]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$thereExistAtLeast]] [[#$PositiveInteger]] ''')'''
| |
| − | | |
| − | === ;;; [[#$thereExistAtMost]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/640|640]]</font>
| |
| − | '''('''[[#$isa]] [[#$thereExistAtMost]] [[#$Relationship]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/641|641]]</font>
| |
| − | '''('''[[#$arity]] [[#$thereExistAtMost]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/642|642]]</font>
| |
| − | '''('''[[#$resultIsa]] [[#$thereExistAtMost]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/643|643]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$thereExistAtMost]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/644|644]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$thereExistAtMost]] [[#$CycELVariable]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/645|645]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$thereExistAtMost]] [[#$PositiveInteger]] ''')'''
| |
| − | | |
| − | === ;;; [[#$thereExistExactly]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/646|646]]</font>
| |
| − | '''('''[[#$isa]] [[#$thereExistExactly]] [[#$Relationship]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/647|647]]</font>
| |
| − | '''('''[[#$arity]] [[#$thereExistExactly]] 3 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/648|648]]</font>
| |
| − | '''('''[[:#$resultIsa]] [[#$thereExistExactly]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/649|649]]</font>
| |
| − | '''('''[[#$arg3Isa]] [[#$thereExistExactly]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/650|650]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$thereExistExactly]] [[#$CycELVariable]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/651|651]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$thereExistExactly]] [[#$PositiveInteger]]''')'''
| |
| − | | |
| − | === ;;; [[#$thereExists]] ===
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/652|652]]</font>
| |
| − | '''('''[[#$isa]] [[#$thereExists]] [[#$Relationship]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/653|653]]</font>
| |
| − | '''('''[[#$arity]] [[#$thereExists]] 2 ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/654|654]]</font>
| |
| − | '''('''[[#$arg2Isa]] [[#$thereExists]] [[#$CycFormula]] ''')'''
| |
| − | | |
| − | <font color=purple>[[MELD KERNEL KB/655|655]]</font>
| |
| − | '''('''[[#$arg1Isa]] [[#$thereExists]] [[#$CycELVariable]] ''')'''
| |
