| (=> (and (subclass ?X ?CLASS) (instance ?I ?X) (instance ?ATTR Attribute)) (=> (property ?I ?ATTR) (equal ?X (AttrFn ?CLASS ?ATTR)))) |
Merge.kif 1699-1707 | |
| (subclass Attribute Abstract) | Merge.kif 1608-1608 | |
| (subclass ListingAttribute Attribute) | UXExperimentalTerms.kif 368-368 | |
| (subclass AccountAttribute Attribute) | UXExperimentalTerms.kif 796-796 | |
| (subclass TransactionAttribute Attribute) | UXExperimentalTerms.kif 1837-1837 | |
| (subclass ExperimentAttribute Attribute) | UXExperimentalTerms.kif 4601-4601 | |
| (subclass InternalAttribute Attribute) | Merge.kif 1716-1716 | |
| (subclass RelationalAttribute Attribute) | Merge.kif 1727-1727 |
|
|