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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntransitiveRelation
IntransitiveRelation(intransitive relation)

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 2297-2299
(subclass IntransitiveRelation BinaryRelation) Merge.kif 2295-2295 Intransitive relation is a subclass of binary relation

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


(disjoint TransitiveRelation IntransitiveRelation) Merge.kif 2280-2280 Transitive relation is disjoint from intransitive relation
(instance immediateInstance IntransitiveRelation) Merge.kif 91-91 immediate instance is an instance of intransitive relation
(instance immediateSubclass IntransitiveRelation) Merge.kif 149-149 immediate subclass is an instance of intransitive relation
(instance inverse IntransitiveRelation) Merge.kif 106-106 inverse is an instance of intransitive relation
(instance meetsTemporally IntransitiveRelation) Merge.kif 8232-8232 meets temporally is an instance of intransitive relation
(instance member IntransitiveRelation) Merge.kif 1236-1236 member is an instance of intransitive relation
(instance parent IntransitiveRelation) Merge.kif 16094-16094 parent is an instance of intransitive relation
(instance penetrates IntransitiveRelation) Merge.kif 4124-4124 penetrates is an instance of intransitive relation
(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 2301-2309


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