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 29554-29556 | |
(instance Collectible RelationalAttribute) | Mid-level-ontology.kif 29553-29553 | 例 Collectible and RelationalAttribute |
appearance as argument number 2 |
(termFormat EnglishLanguage Collectible "Collectible") | domainEnglishFormat.kif 64664-64664 |
antecedent |
(=> (and (attribute ?C Collectible) (hasPurpose ?C ?P)) (exists (?H ?P2) (and (instance ?H Human) (wants ?H ?C) (desires ?H ?P2) (entails ?P2 (possesses ?H ?C)) (not (equal ?P ?P2))))) |
Mid-level-ontology.kif 29558-29570 |
|
consequent |
(=> (instance ?TC TradingCard) (attribute ?TC Collectible)) |
Mid-level-ontology.kif 29577-29579 |
|