| 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 2235-2236 | |
| (documentation ReflexiveRelation JapaneseLanguage "Relation ?REL は、すべての ?INST に対し (?REL ?INST ?INST) の場合のみ再帰的である。") | japanese_format.kif 453-454 | |
| (subclass ReflexiveRelation BinaryRelation) | Merge.kif 2233-2233 |
| appearance as argument number 2 |
|
|
| (instance connected ReflexiveRelation) | Merge.kif 9562-9562 | |
| (instance keyName ReflexiveRelation) | Media.kif 3259-3259 | |
| (instance overlapsSpatially ReflexiveRelation) | Merge.kif 4026-4026 | |
| (instance overlapsTemporally ReflexiveRelation) | Merge.kif 8263-8263 | |
| (instance subGraph ReflexiveRelation) | Merge.kif 5883-5883 | |
| (instance subString ReflexiveRelation) | Mid-level-ontology.kif 25334-25334 | |
| (subclass EquivalenceRelation ReflexiveRelation) | Merge.kif 2388-2388 | |
| (subclass PartialOrderingRelation ReflexiveRelation) | Merge.kif 2361-2361 | |
| (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 de ReflexiveRelation "reflexive Relation") | terms-de.txt 395-395 | |
| (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 3605-3613 |
|
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