TreeView Knowledge Base Browser

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)))

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

(trichotomizingOn lessThan RealNumber)	Merge.kif 1938-1938	less than is trichotomizing on real number
(trichotomizingOn greaterThan RealNumber)	Merge.kif 1950-1950	greater than is trichotomizing on real number
(trichotomizingOn lessThanOrEqualTo RealNumber)	Merge.kif 1962-1962	less than or equal to is trichotomizing on real number
(trichotomizingOn greaterThanOrEqualTo RealNumber)	Merge.kif 1979-1979	greater than or equal to is trichotomizing on real number