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)。") Merge.kif 3645-3646
(documentation ReflexiveRelation EnglishLanguage "Relation ?REL is reflexive iff (?REL ?INST ?INST) for all ?INST.") Merge.kif 3642-3643
(documentation ReflexiveRelation JapaneseLanguage "Relation ?REL は、すべての ?INST に対し (?REL ?INST ?INST) の場合のみ再帰的である。") Merge.kif 3648-3649
(subclass ReflexiveRelation BinaryRelation) Merge.kif 3640-3640

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


(instance connected ReflexiveRelation) Merge.kif 13185-13185
(instance keyName ReflexiveRelation) Media.kif 3213-3213
(instance overlapsSpatially ReflexiveRelation) Merge.kif 13268-13268
(instance overlapsTemporally ReflexiveRelation) Merge.kif 11746-11746
(instance subGraph ReflexiveRelation) Merge.kif 8449-8449
(instance subString ReflexiveRelation) Mid-level-ontology.kif 22136-22136
(subclass EquivalenceRelation ReflexiveRelation) Merge.kif 3866-3866
(subclass PartialOrderingRelation ReflexiveRelation) Merge.kif 3825-3825
(termFormat ChineseLanguage ReflexiveRelation "自反关系") chinese_format.kif 893-893
(termFormat EnglishLanguage ReflexiveRelation "reflexive relation") english_format.kif 1372-1372
(termFormat JapaneseLanguage ReflexiveRelation "反射関係") english_format.kif 1373-1373


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners