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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReflexiveRelation

 Sigma KEE - ReflexiveRelation
ReflexiveRelation(Relacao Reflexiva)

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 2241-2242
(documentation ReflexiveRelation JapaneseLanguage "Relation ?REL は、すべての ?INST に対し (?REL ?INST ?INST) の場合のみ再帰的である。") japanese_format.kif 453-454
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2239-2239 Relacao Reflexiva e' uma sub-classe de Relacao Binaria

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


(instance connected ReflexiveRelation) Merge.kif 9501-9501 connected e' uma instancia de Relacao Reflexiva
(instance keyName ReflexiveRelation) Media.kif 3277-3277 keyName e' uma instancia de Relacao Reflexiva
(instance overlapsSpatially ReflexiveRelation) Merge.kif 4034-4034 overlapsSpatially e' uma instancia de Relacao Reflexiva
(instance overlapsTemporally ReflexiveRelation) Merge.kif 8225-8225 overlapsTemporally e' uma instancia de Relacao Reflexiva
(instance subGraph ReflexiveRelation) Merge.kif 5896-5896 subGraph e' uma instancia de Relacao Reflexiva
(instance subString ReflexiveRelation) Mid-level-ontology.kif 24386-24386 subString e' uma instancia de Relacao Reflexiva
(subclass EquivalenceRelation ReflexiveRelation) Merge.kif 2394-2394 Relacao Qquivalente e' uma sub-classe de Relacao Reflexiva
(subclass PartialOrderingRelation ReflexiveRelation) Merge.kif 2367-2367 Relacao parcialmente Ordenada e' uma sub-classe de Relacao Reflexiva
(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 102-102
(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 3610-3618


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