| appearance as argument number 1 |
|
| (documentation InheritableRelation ChineseLanguage "这是一个 Relation 类别，它的特性可以是 通过 subrelation Predicate 把特性在类别的层次结构承传下去。") | chinese_format.kif 1897-1898 | |
| (documentation InheritableRelation EnglishLanguage "The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.") | Merge.kif 2537-2539 | |
| (subclass InheritableRelation Relation) | Merge.kif 2535-2535 | 可继承的关系 是 关系 的 subclass |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (subrelation ?PRED1 ?PRED2) (instance ?PRED2 ?CLASS) (subclass ?CLASS InheritableRelation)) (instance ?PRED1 ?CLASS)) |
Merge.kif 200-205 |
|
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