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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IntransitiveRelation

Sigma KEE - IntransitiveRelation
IntransitiveRelation

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


(documentation IntransitiveRelation ChineseLanguage "野葛 BinaryRelation ?REL 是非传递关系 除非所有的 ?INST1, ?INST2 和 ?INST3 是 (?REL ?INST1 ?INST2) 和 (?REL ?INST2 ?INST3)不意味着 (?REL ?INST1 ?INST3)。") chinese_format.kif 1851-1853
(documentation IntransitiveRelation EnglishLanguage "A BinaryRelation ?REL is intransitive only if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply not (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3.") Merge.kif 2291-2293
(subclass IntransitiveRelation BinaryRelation) Merge.kif 2289-2289

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


(disjoint TransitiveRelation IntransitiveRelation) Merge.kif 2274-2274
(instance immediateInstance IntransitiveRelation) Merge.kif 91-91
(instance immediateSubclass IntransitiveRelation) Merge.kif 149-149
(instance inverse IntransitiveRelation) Merge.kif 106-106
(instance meetsTemporally IntransitiveRelation) Merge.kif 8226-8226
(instance member IntransitiveRelation) Merge.kif 1230-1230
(instance parent IntransitiveRelation) Merge.kif 16088-16088
(instance penetrates IntransitiveRelation) Merge.kif 4118-4118
(termFormat ChineseLanguage IntransitiveRelation "非传递关系") chinese_format.kif 900-900
(termFormat EnglishLanguage IntransitiveRelation "intransitive relation") english_format.kif 1007-1007

antecedent
-------------------------


(=>
    (instance ?REL IntransitiveRelation)
    (forall (?INST1 ?INST2 ?INST3)
        (=>
            (and
                (?REL ?INST1 ?INST2)
                (?REL ?INST2 ?INST3))
            (not
                (?REL ?INST1 ?INST3)))))
Merge.kif 2295-2303


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

Show without tree


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