| (=> (and (subclass ?X ?CLASS) (instance ?I ?X) (instance ?ATTR Attribute)) (=> (property ?I ?ATTR) (equal ?X (AttrFn ?CLASS ?ATTR)))) |
Merge.kif 1695-1703 | |
| (subclass Attribute Abstract) | Merge.kif 1604-1604 | 属性 是 抽象体 的 subclass |
| (subclass ListingAttribute Attribute) | UXExperimentalTerms.kif 366-366 | ListingAttribute 是 属性 的 subclass |
| (subclass AccountAttribute Attribute) | UXExperimentalTerms.kif 794-794 | AccountAttribute 是 属性 的 subclass |
| (subclass TransactionAttribute Attribute) | UXExperimentalTerms.kif 1835-1835 | TransactionAttribute 是 属性 的 subclass |
| (subclass ExperimentAttribute Attribute) | UXExperimentalTerms.kif 4601-4601 | ExperimentAttribute 是 属性 的 subclass |
| (subclass InternalAttribute Attribute) | Merge.kif 1712-1712 | 内在属性 是 属性 的 subclass |
| (subclass RelationalAttribute Attribute) | Merge.kif 1723-1723 | 关联属性 是 属性 的 subclass |
|
|