| Collectible | |
| appearance as argument number 1 |
|
|
| (documentation Collectible EnglishLanguage "Something that an agent wants that is not primarily based on its utility. Note that this includes ArtWorks.") | Mid-level-ontology.kif 27711-27713 | |
| (instance Collectible RelationalAttribute) | Mid-level-ontology.kif 27710-27710 |
| antecedent |
|
|
| (=> (and (attribute ?C Collectible) (hasPurpose ?C ?P)) (exists (?H) (and (instance ?H Human) (wants ?H ?C) (desires ?H ?P2) (entails ?P2 (possesses ?H ?C)) (not (equal ?P ?P2))))) |
Mid-level-ontology.kif 27715-27727 |
| consequent |
|
|
| (=> (instance ?TC TradingCard) (attribute ?TC Collectible)) |
Mid-level-ontology.kif 27734-27736 |
|
|
|