| 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 2155-2156 | |
| (subclass ReflexiveRelation BinaryRelation) | Merge.kif 2153-2153 |
| appearance as argument number 2 |
|
|
| (instance connected ReflexiveRelation) | Merge.kif 9095-9095 | |
| (instance keyName ReflexiveRelation) | Media.kif 3247-3247 | |
| (instance overlapsSpatially ReflexiveRelation) | Merge.kif 9158-9158 | |
| (instance overlapsTemporally ReflexiveRelation) | Merge.kif 7909-7909 | |
| (instance subGraph ReflexiveRelation) | Merge.kif 5628-5628 | |
| (instance subString ReflexiveRelation) | Mid-level-ontology.kif 22512-22512 | |
| (subclass EquivalenceRelation ReflexiveRelation) | Merge.kif 2302-2302 | |
| (subclass PartialOrderingRelation ReflexiveRelation) | Merge.kif 2275-2275 | |
| (termFormat ChineseLanguage ReflexiveRelation "自反关系") | chinese_format.kif 893-893 | |
| (termFormat EnglishLanguage ReflexiveRelation "reflexive relation") | english_format.kif 993-993 |
|
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