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 2347-2349
(documentation IntransitiveRelation JapaneseLanguage "BinaryRelation ?REL は、 (?REL ?INST1 ?INST2) および (?REL ?INST2 ?INST3) がすべての ?INST1、?INST2、および ?INST3 に対して (?REL ?INST1 ?INST3) を意味しない場合にのみ非推移的である。") japanese_format.kif 472-474
(subclass IntransitiveRelation BinaryRelation) Merge.kif 2345-2345 Intransitive relation is a subclass of binary relation

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


(disjoint TransitiveRelation IntransitiveRelation) Merge.kif 2330-2330 Transitive relation is disjoint from intransitive relation
(instance immediateInstance IntransitiveRelation) Merge.kif 93-93 immediate instance is an instance of intransitive relation
(instance immediateSubclass IntransitiveRelation) Merge.kif 145-145 immediate subclass is an instance of intransitive relation
(instance inverse IntransitiveRelation) Merge.kif 108-108 inverse is an instance of intransitive relation
(instance meetsTemporally IntransitiveRelation) Merge.kif 8422-8422 meets temporally is an instance of intransitive relation
(instance member IntransitiveRelation) Merge.kif 1273-1273 member is an instance of intransitive relation
(instance parent IntransitiveRelation) Merge.kif 16523-16523 parent is an instance of intransitive relation
(instance penetrates IntransitiveRelation) Merge.kif 4221-4221 penetrates is an instance of intransitive relation
(termFormat ChineseLanguage IntransitiveRelation "非传递关系") chinese_format.kif 900-900 penetrates is an instance of intransitive relation
(termFormat EnglishLanguage IntransitiveRelation "intransitive relation") english_format.kif 1007-1007 penetrates is an instance of intransitive relation
(termFormat FrenchLanguage IntransitiveRelation "relation intransitive") french_format.kif 576-576 penetrates is an instance of intransitive relation
(termFormat Hindi IntransitiveRelation "akarmaka sambandha") terms-hindi.txt 106-106 penetrates is an instance of intransitive relation
(termFormat ItalianLanguage IntransitiveRelation "RelazioneIntransitiva") terms-it.txt 109-109 penetrates is an instance of intransitive relation
(termFormat JapaneseLanguage IntransitiveRelation "非推移関係") japanese_format.kif 2261-2261 penetrates is an instance of intransitive relation
(termFormat PortugueseLanguage IntransitiveRelation "Relacao Intransitiva") portuguese_format.kif 528-528 penetrates is an instance of intransitive relation
(termFormat cz IntransitiveRelation "intransitive relation") terms-cz.txt 143-143 penetrates is an instance of intransitive relation
(termFormat de IntransitiveRelation "intransitive Relation") terms-de.txt 402-402 penetrates is an instance of intransitive relation
(termFormat ro IntransitiveRelation "relaþie intranzitivã") relations-ro.kif 597-597 penetrates is an instance of intransitive relation
(termFormat tg IntransitiveRelation "") terms-tg.txt 110-110 penetrates is an instance of intransitive relation

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


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


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