Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TrichotomizingRelation
TrichotomizingRelation

appearance as argument number 1
-------------------------


(documentation TrichotomizingRelation ChineseLanguage "一个 BinaryRelation ?REL 是 TrichotomizingRelation 万一所有有序的一对东西出现 ?REL 元素的不同个体。") chinese_format.kif 1846-1847
(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 2289-2291
(subclass TrichotomizingRelation BinaryRelation) Merge.kif 2287-2287

appearance as argument number 2
-------------------------


(subclass TotalOrderingRelation TrichotomizingRelation) Merge.kif 2352-2352
(termFormat ChineseLanguage TrichotomizingRelation "三分关系") chinese_format.kif 898-898
(termFormat EnglishLanguage TrichotomizingRelation "trichotomizing relation") english_format.kif 998-998

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 2293-2308


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners