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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ReflexiveRelation
ReflexiveRelation

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


(documentation ReflexiveRelation ChineseLanguage "Relation ?REL 属于自反关系当且仅当所有 ?INST 都是(?REL ?INST ?INST)。") chinese_format.kif 1833-1834
(documentation ReflexiveRelation EnglishLanguage "Relation ?REL is reflexive iff (?REL ?INST ?INST) for all ?INST.") Merge.kif 2252-2253
(documentation ReflexiveRelation JapaneseLanguage "Relation ?REL は、すべての ?INST に対し (?REL ?INST ?INST) の場合のみ再帰的である。") japanese_format.kif 453-454
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2250-2250 子類 ReflexiveRelation and BinaryRelation

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


(instance connected ReflexiveRelation) Merge.kif 9637-9637 例 連接的 and ReflexiveRelation
(instance keyName ReflexiveRelation) Media.kif 3261-3261 例 keyName and ReflexiveRelation
(instance overlapsSpatially ReflexiveRelation) Merge.kif 4053-4053 例 在空間上重疊 and ReflexiveRelation
(instance overlapsTemporally ReflexiveRelation) Merge.kif 8338-8338 例 暫時重疊 and ReflexiveRelation
(instance subGraph ReflexiveRelation) Merge.kif 5921-5921 例 子圖 and ReflexiveRelation
(instance subString ReflexiveRelation) Mid-level-ontology.kif 26048-26048 例 subString and ReflexiveRelation
(subclass EquivalenceRelation ReflexiveRelation) Merge.kif 2405-2405 子類 EquivalenceRelation and ReflexiveRelation
(subclass PartialOrderingRelation ReflexiveRelation) Merge.kif 2378-2378 子類 PartialOrderingRelation and ReflexiveRelation
(termFormat ChineseLanguage ReflexiveRelation "自反关系") chinese_format.kif 893-893 子類 PartialOrderingRelation and ReflexiveRelation
(termFormat EnglishLanguage ReflexiveRelation "reflexive relation") english_format.kif 988-988 子類 PartialOrderingRelation and ReflexiveRelation
(termFormat FrenchLanguage ReflexiveRelation "relation r�flexive") french_format.kif 569-569 子類 PartialOrderingRelation and ReflexiveRelation
(termFormat Hindi ReflexiveRelation "aatmavaachaka sambandha") terms-hindi.txt 99-99 子類 PartialOrderingRelation and ReflexiveRelation
(termFormat ItalianLanguage ReflexiveRelation "RelazioneRiflessiva") terms-it.txt 102-102 子類 PartialOrderingRelation and ReflexiveRelation
(termFormat JapaneseLanguage ReflexiveRelation "反射関係") japanese_format.kif 2254-2254 子類 PartialOrderingRelation and ReflexiveRelation
(termFormat PortugueseLanguage ReflexiveRelation "Relacao Reflexiva") portuguese_format.kif 521-521 子類 PartialOrderingRelation and ReflexiveRelation
(termFormat cz ReflexiveRelation "reflexive relation") terms-cz.txt 136-136 子類 PartialOrderingRelation and ReflexiveRelation
(termFormat de ReflexiveRelation "reflexive Relation") terms-de.txt 395-395 子類 PartialOrderingRelation and ReflexiveRelation
(termFormat ro ReflexiveRelation "relaþie reflexivã") relations-ro.kif 590-590 子類 PartialOrderingRelation and ReflexiveRelation
(termFormat tg ReflexiveRelation "") terms-tg.txt 103-103 子類 PartialOrderingRelation and ReflexiveRelation

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


(=>
    (and
        (instance ?RELATION ReflexiveRelation)
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION Predicate))
    (forall (?INST)
        (=>
            (instance ?INST ?CLASS)
            (?RELATION ?INST ?INST))))		 Merge.kif 3625-3633


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