|
|
   CertificateOfDeposit
|
|
|
| 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 | InheritableRelation ist eine teilkategorie von Relation |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (subrelation ?PRED1 ?PRED2) (instance ?PRED2 ?CLASS) (subclass ?CLASS InheritableRelation)) (instance ?PRED1 ?CLASS)) |
Merge.kif 200-205 |
|
|
|
|