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