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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 2147-2148
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2145-2145 subclass ReflexiveRelation and BinaryRelation

appearance as argument number 2

(instance connected ReflexiveRelation) Merge.kif 8819-8819 instance connected and ReflexiveRelation
(instance keyName ReflexiveRelation) Media.kif 3245-3245 instance keyName and ReflexiveRelation
(instance overlapsSpatially ReflexiveRelation) Merge.kif 8881-8881 instance overlapsSpatially and ReflexiveRelation
(instance overlapsTemporally ReflexiveRelation) Merge.kif 7638-7638 instance overlapsTemporally and ReflexiveRelation
(instance subGraph ReflexiveRelation) Merge.kif 5453-5453 instance subGraph and ReflexiveRelation
(instance subString ReflexiveRelation) Mid-level-ontology.kif 22136-22136 instance subString and ReflexiveRelation
(subclass EquivalenceRelation ReflexiveRelation) Merge.kif 2294-2294 subclass EquivalenceRelation and ReflexiveRelation
(subclass PartialOrderingRelation ReflexiveRelation) Merge.kif 2267-2267 subclass PartialOrderingRelation and ReflexiveRelation
(termFormat ChineseLanguage ReflexiveRelation "自反关系") chinese_format.kif 893-893 termFormat ChineseLanguage, ReflexiveRelation and "自反关系"
(termFormat EnglishLanguage ReflexiveRelation "reflexive relation") english_format.kif 993-993 termFormat EnglishLanguage, ReflexiveRelation and "reflexive relation"

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