Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TrichotomizingRelation(trichotomizing relation) |
| appearance as argument number 1 |
|
| (subclass TrichotomizingRelation BinaryRelation) | Merge.kif 2420-2420 | Trichotomizing relation is a subclass of binary relation |
| (documentation TrichotomizingRelation EnglishLanguage "A BinaryRelation ?REL is a TrichotomizingRelation just in case all ordered pairs consisting of distinct individuals are elements of ?REL.") | Merge.kif 2422-2424 | Trichotomizing relation is a subclass of binary relation |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?REL TrichotomizingRelation) (forall (?INST1 ?INST2) (or (and (?REL ?INST1 ?INST2) (not (equal ?INST1 ?INST2)) (not (?REL ?INST2 ?INST1))) (and (not (?REL ?INST1 ?INST2)) (equal ?INST1 ?INST2) (not (?REL ?INST2 ?INST1))) (and (not (?REL ?INST1 ?INST2)) (not (equal ?INST1 ?INST2)) (?REL ?INST2 ?INST1))))) |
Merge.kif 2426-2441 | If X is an instance of trichotomizing relation, then For all Entities Y and Z: At least one of the following holds: (1) X Y and Z, equal Y and Z, and X Z and Y (2) X Y and Z, equal Y and Z, and X Z and Y (3) X Y and Z, equal Y and Z, and X Z and Y |
|