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