Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| trichotomizingOn |
| appearance as argument number 1 |
|
| (instance trichotomizingOn BinaryPredicate) | Merge.kif 3787-3787 | trichotomizing on is an instance of binary predicate |
| (domain trichotomizingOn 1 BinaryRelation) | Merge.kif 3788-3788 | The number 1 argument of trichotomizing on is an instance of binary relation |
| (domain trichotomizingOn 2 Class) | Merge.kif 3789-3789 | The number 2 argument of trichotomizing on is an instance of class |
| (documentation trichotomizingOn EnglishLanguage "A BinaryRelation ?REL is trichotomizing on a Class only if, for all instances ?INST1 and ?INST2 of the Class, at least one of the following holds: (?REL ?INST1 ?INST2), (?REL ?INST2 ?INST1) or (equal ?INST1 ?INST2).") | Merge.kif 3791-3794 | The number 2 argument of trichotomizing on is an instance of class |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage trichotomizingOn "trichotomizing on") | domainEnglishFormat.kif 59161-59161 | |
| (termFormat ChineseTraditionalLanguage trichotomizingOn "trichotomizing") | domainEnglishFormat.kif 59162-59162 | |
| (termFormat ChineseLanguage trichotomizingOn "trichotomizing") | domainEnglishFormat.kif 59163-59163 | |
| (format EnglishLanguage trichotomizingOn "%1 is %n trichotomizing on %2") | english_format.kif 196-196 |
| antecedent |
|
|
| (=> (and (partialOrderingOn ?RELATION ?CLASS) (trichotomizingOn ?RELATION ?CLASS)) (totalOrderingOn ?RELATION ?CLASS)) |
Merge.kif 3781-3785 | If X is partial ordering on Y and X is trichotomizing on Y, then X is total ordering on Y |
| (=> (and (trichotomizingOn ?RELATION ?CLASS) (instance ?RELATION RelationExtendedToQuantities)) (forall (?INST1 ?INST2) (=> (and (instance ?INST1 ?CLASS) (instance ?INST2 ?CLASS)) (or (?RELATION ?INST1 ?INST2) (?RELATION ?INST2 ?INST1) (equal ?INST1 ?INST2))))) |
Merge.kif 3796-3808 | If X is trichotomizing on Y and X is an instance of relation extended to quantities, then For all Entities Z and W: if Z is an instance of Y and W is an instance of Y, then At least one of the following holds: (1) X Z and W (2) X W and Z (3) equal Z and W |
| consequent |
|
|
| (=> (totalOrderingOn ?RELATION ?CLASS) (and (partialOrderingOn ?RELATION ?CLASS) (trichotomizingOn ?RELATION ?CLASS))) |
Merge.kif 3775-3779 | If X is total ordering on Y, then X is partial ordering on Y and X is trichotomizing on Y |
| appearance as argument number 0 |
|
|
|