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 2351-2353
(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 2349-2349 IntransitiveRelation ist eine teilkategorie von BinaryRelation

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


(disjoint TransitiveRelation IntransitiveRelation) Merge.kif 2334-2334 TransitiveRelation ist dijunkt von IntransitiveRelation %n{nicht}
(instance immediateInstance IntransitiveRelation) Merge.kif 93-93 immediateInstance ist ein fall von IntransitiveRelation %n{nicht}
(instance immediateSubclass IntransitiveRelation) Merge.kif 151-151 immediateSubclass ist ein fall von IntransitiveRelation %n{nicht}
(instance inverse IntransitiveRelation) Merge.kif 108-108 inverse ist ein fall von IntransitiveRelation %n{nicht}
(instance meetsTemporally IntransitiveRelation) Merge.kif 8324-8324 meetsTemporally ist ein fall von IntransitiveRelation %n{nicht}
(instance member IntransitiveRelation) Merge.kif 1278-1278 mitglied ist ein fall von IntransitiveRelation %n{nicht}
(instance parent IntransitiveRelation) Merge.kif 16363-16363 parent ist ein fall von IntransitiveRelation %n{nicht}
(instance penetrates IntransitiveRelation) Merge.kif 4208-4208 dringtEin ist ein fall von IntransitiveRelation %n{nicht}
(termFormat ChineseLanguage IntransitiveRelation "非传递关系") chinese_format.kif 900-900
(termFormat EnglishLanguage IntransitiveRelation "intransitive relation") english_format.kif 1007-1007
(termFormat FrenchLanguage IntransitiveRelation "relation intransitive") french_format.kif 576-576
(termFormat Hindi IntransitiveRelation "akarmaka sambandha") terms-hindi.txt 106-106
(termFormat ItalianLanguage IntransitiveRelation "RelazioneIntransitiva") terms-it.txt 109-109
(termFormat JapaneseLanguage IntransitiveRelation "非推移関係") japanese_format.kif 2261-2261
(termFormat PortugueseLanguage IntransitiveRelation "Relacao Intransitiva") portuguese_format.kif 528-528
(termFormat cz IntransitiveRelation "intransitive relation") terms-cz.txt 143-143
(termFormat ro IntransitiveRelation "relaþie intranzitivã") relations-ro.kif 597-597
(termFormat tg IntransitiveRelation "") terms-tg.txt 110-110

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


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


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