<=>
|
|
antecedent |
(=> (<=> (element ?ELEMENT ?SET1) (element ?ELEMENT ?SET2)) (equal ?SET1 ?SET2)) |
Merge.kif 5422-5426 |
consequent |
(=> (and (graphPart ?PATH ?GRAPH) (not (instance ?GRAPH DirectedGraph))) (<=> (instance ?PATH (GraphPathFn ?NODE1 ?NODE2)) (instance ?PATH (GraphPathFn ?NODE2 ?NODE1)))) |
Merge.kif 6063-6069 |
|
(=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION))) |
Merge.kif 16955-16961 |
|
(=> (and (instance ?PERSON Human) (equal (DescendantsFn ?PERSON) ?DESCENDANTS)) (forall (?MEMBER) (<=> (member ?MEMBER ?DESCENDANTS) (ancestor ?MEMBER ?PERSON)))) |
Mid-level-ontology.kif 7494-7501 |
|
(=> (and (instance ?POINT1 TimePoint) (instance ?POINT2 TimePoint) (instance ?INTERVAL TimeInterval) (equal (TimeIntervalFn ?POINT1 ?POINT2) ?INTERVAL)) (forall (?POINT) (<=> (temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2) (temporalPart ?POINT ?INTERVAL)))) |
Merge.kif 8466-8475 |
|
(=> (equal ?ATTR1 ?ATTR2) (forall (?THING) (<=> (property ?THING ?ATTR1) (property ?THING ?ATTR2)))) |
Merge.kif 267-272 | |
(=> (equal ?CLASS1 ?CLASS2) (forall (?THING) (<=> (instance ?THING ?CLASS1) (instance ?THING ?CLASS2)))) |
Merge.kif 281-286 | |
(=> (equal ?OBJ3 (MereologicalDifferenceFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (properPart ?PART ?OBJ3) (and (properPart ?PART ?OBJ1) (not (properPart ?PART ?OBJ2)))))) |
Merge.kif 9873-9882 | |
(=> (equal ?OBJ3 (MereologicalProductFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (part ?PART ?OBJ3) (and (part ?PART ?OBJ1) (part ?PART ?OBJ2))))) |
Merge.kif 9853-9860 | |
(=> (equal ?OBJ3 (MereologicalSumFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (part ?PART ?OBJ3) (or (part ?PART ?OBJ1) (part ?PART ?OBJ2))))) |
Merge.kif 9832-9839 | |
(=> (equal ?THING1 ?THING2) (forall (?ATTR) (<=> (property ?THING1 ?ATTR) (property ?THING2 ?ATTR)))) |
Merge.kif 260-265 | |
(=> (equal ?THING1 ?THING2) (forall (?CLASS) (<=> (instance ?THING1 ?CLASS) (instance ?THING2 ?CLASS)))) |
Merge.kif 274-279 |
appearance as argument number 0 |