TrichotomizingRelation - Sigma Knowledge base Browser

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 2312-2314
(documentation TrichotomizingRelation JapaneseLanguage "明確な個々で構成されるすべての順序付きペアが ?REL の要素である場合に備え、BinaryRelation ?REL は、TrichotomizingRelation である。")	japanese_format.kif 466-468
(subclass TrichotomizingRelation BinaryRelation)	Merge.kif 2310-2310	Trichotomizing relation is a subclass of binary relation

appearance as argument number 2

(subclass TotalOrderingRelation TrichotomizingRelation)	Merge.kif 2375-2375	Total ordering relation is a subclass of trichotomizing relation
(termFormat ChineseLanguage TrichotomizingRelation "三分关系")	chinese_format.kif 898-898	Total ordering relation is a subclass of trichotomizing relation
(termFormat EnglishLanguage TrichotomizingRelation "trichotomizing relation")	english_format.kif 998-998	Total ordering relation is a subclass of trichotomizing relation
(termFormat FrenchLanguage TrichotomizingRelation "relation trichotomique")	french_format.kif 574-574	Total ordering relation is a subclass of trichotomizing relation
(termFormat Hindi TrichotomizingRelation "")	terms-hindi.txt 104-104	Total ordering relation is a subclass of trichotomizing relation
(termFormat ItalianLanguage TrichotomizingRelation "RelazioneTricotomizzante")	terms-it.txt 107-107	Total ordering relation is a subclass of trichotomizing relation
(termFormat JapaneseLanguage TrichotomizingRelation "三分関係")	japanese_format.kif 2259-2259	Total ordering relation is a subclass of trichotomizing relation
(termFormat PortugueseLanguage TrichotomizingRelation "Relacao Tricotomica")	portuguese_format.kif 526-526	Total ordering relation is a subclass of trichotomizing relation
(termFormat cz TrichotomizingRelation "trichotomizing relation")	terms-cz.txt 141-141	Total ordering relation is a subclass of trichotomizing relation
(termFormat ro TrichotomizingRelation "relaþie de tricotomizare")	relations-ro.kif 595-595	Total ordering relation is a subclass of trichotomizing relation
(termFormat tg TrichotomizingRelation "")	terms-tg.txt 108-108	Total ordering relation is a subclass of trichotomizing relation

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 2316-2331

If an entity is an instance of trichotomizing relation,
then for all another entity and a third entity the entity the other entity and the third entity and the other entity is not equal to the third entity and the entity the third entity and the other entity or the entity the other entity and the third entity and the other entity is equal to the third entity and the entity the third entity and the other entity or the entity the other entity and the third entity and the other entity is not equal to the third entity and the entity the third entity and the other entity

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

KB Term:			Term intersection

English Word: