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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReflexiveRelation
ReflexiveRelation(reflexive relation)reflexive_relation, 反射関係, 自反关系

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


(documentation ReflexiveRelation ChineseLanguage "Relation ?REL 属于自反关系当且仅当所有 ?INST 都是(?REL ?INST ?INST)。") Merge.kif 2373-2374
(documentation ReflexiveRelation EnglishLanguage "Relation ?REL is reflexive iff (?REL ?INST ?INST) for all ?INST.") Merge.kif 2371-2372
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2370-2370 Reflexive relation is a subclass of binary relation

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


(instance connected ReflexiveRelation) Merge.kif 9530-9530 connected is an instance of reflexive relation
(instance keyName ReflexiveRelation) Media.kif 3213-3213 keyName is an instance of reflexive relation
(instance overlapsSpatially ReflexiveRelation) Merge.kif 9596-9596 overlaps spatially is an instance of reflexive relation
(instance overlapsTemporally ReflexiveRelation) Merge.kif 8394-8394 overlaps temporally is an instance of reflexive relation
(instance subGraph ReflexiveRelation) Merge.kif 6001-6001 sub graph is an instance of reflexive relation
(instance subString ReflexiveRelation) Mid-level-ontology.kif 22135-22135 subString is an instance of reflexive relation
(subclass EquivalenceRelation ReflexiveRelation) Merge.kif 2534-2534 Equivalence relation is a subclass of reflexive relation
(subclass PartialOrderingRelation ReflexiveRelation) Merge.kif 2505-2505 Partial ordering relation is a subclass of reflexive relation
(termFormat ChineseLanguage ReflexiveRelation "自反关系") chinese_format.kif 893-893 "自反关系" is the printable form of reflexive relation in ChineseLanguage
(termFormat EnglishLanguage ReflexiveRelation "reflexive relation") english_format.kif 740-740 "reflexive relation" is the printable form of reflexive relation in english language
(termFormat JapaneseLanguage ReflexiveRelation "反射関係") english_format.kif 741-741 "反射関係" is the printable form of reflexive relation in japanese language


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