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)。") Merge.kif 2489-2491
(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 2486-2488
(subclass IntransitiveRelation BinaryRelation) Merge.kif 2485-2485

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


(disjoint TransitiveRelation IntransitiveRelation) Merge.kif 2468-2468
(instance immediateInstance IntransitiveRelation) Merge.kif 95-95
(instance immediateSubclass IntransitiveRelation) Merge.kif 164-164
(instance inverse IntransitiveRelation) Merge.kif 114-114
(instance meetsTemporally IntransitiveRelation) Merge.kif 8443-8443
(instance member IntransitiveRelation) Merge.kif 1312-1312
(instance parent IntransitiveRelation) Merge.kif 16588-16588
(instance penetrates IntransitiveRelation) Merge.kif 4345-4345
(termFormat ChineseLanguage IntransitiveRelation "非传递关系") chinese_format.kif 900-900
(termFormat EnglishLanguage IntransitiveRelation "intransitive relation") english_format.kif 766-766
(termFormat JapaneseLanguage IntransitiveRelation "非推移関係") english_format.kif 767-767

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners