| (=> (and (subclass ?X ?CLASS) (instance ?I ?X) (instance ?ATTR Attribute)) (=> (property ?I ?ATTR) (equal ?X (AttrFn ?CLASS ?ATTR)))) |
Merge.kif 1694-1702 | |
| (subclass Attribute Abstract) | Merge.kif 1607-1607 | |
| (subclass ListingAttribute Attribute) | UXExperimentalTerms.kif 366-366 | |
| (subclass AccountAttribute Attribute) | UXExperimentalTerms.kif 794-794 | |
| (subclass TransactionAttribute Attribute) | UXExperimentalTerms.kif 1835-1835 | |
| (subclass ExperimentAttribute Attribute) | UXExperimentalTerms.kif 4601-4601 | |
| (subclass InternalAttribute Attribute) | Merge.kif 1711-1711 | |
| (subclass RelationalAttribute Attribute) | Merge.kif 1722-1722 |
|
|