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 2228-2229
(documentation ReflexiveRelation JapaneseLanguage "Relation ?REL は、すべての ?INST に対し (?REL ?INST ?INST) の場合のみ再帰的である。") japanese_format.kif 453-454
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2226-2226 反射関係 は 2項関係 の subclass では %n

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


(instance connected ReflexiveRelation) Merge.kif 9485-9485 connected は 反射関係 の instance では %n
(instance keyName ReflexiveRelation) Media.kif 3277-3277 keyName は 反射関係 の instance では %n
(instance overlapsSpatially ReflexiveRelation) Merge.kif 4021-4021 overlapsSpatially は 反射関係 の instance では %n
(instance overlapsTemporally ReflexiveRelation) Merge.kif 8211-8211 overlapsTemporally は 反射関係 の instance では %n
(instance subGraph ReflexiveRelation) Merge.kif 5882-5882 subGraph は 反射関係 の instance では %n
(instance subString ReflexiveRelation) Mid-level-ontology.kif 24466-24466 subString は 反射関係 の instance では %n
(subclass EquivalenceRelation ReflexiveRelation) Merge.kif 2381-2381 同値関係 は 反射関係 の subclass では %n
(subclass PartialOrderingRelation ReflexiveRelation) Merge.kif 2354-2354 半順序関係 は 反射関係 の subclass では %n
(termFormat ChineseLanguage ReflexiveRelation "自反关系") chinese_format.kif 893-893
(termFormat EnglishLanguage ReflexiveRelation "reflexive relation") english_format.kif 988-988
(termFormat FrenchLanguage ReflexiveRelation "relation r�flexive") french_format.kif 569-569
(termFormat Hindi ReflexiveRelation "aatmavaachaka sambandha") terms-hindi.txt 99-99
(termFormat ItalianLanguage ReflexiveRelation "RelazioneRiflessiva") terms-it.txt 100-100
(termFormat JapaneseLanguage ReflexiveRelation "反射関係") japanese_format.kif 2254-2254
(termFormat PortugueseLanguage ReflexiveRelation "Relacao Reflexiva") portuguese_format.kif 521-521
(termFormat cz ReflexiveRelation "reflexive relation") terms-cz.txt 136-136
(termFormat ro ReflexiveRelation "relaþie reflexivã") relations-ro.kif 590-590
(termFormat tg ReflexiveRelation "") terms-tg.txt 103-103

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


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


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