| 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 2556-2558 | |
| (documentation InheritableRelation JapaneseLanguage "Relations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる 。") | japanese_format.kif 523-524 | |
| (subclass InheritableRelation Relation) | Merge.kif 2554-2554 | 可继承的关系 是 关系 的 subclass |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (subrelation ?PRED1 ?PRED2) (instance ?PRED2 ?CLASS) (subclass ?CLASS InheritableRelation)) (instance ?PRED1 ?CLASS)) |
Merge.kif 194-199 |
|
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