Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  propertyPolicy
|
|
|
| appearance as argument number 1 |
|
|
| (instance Collectible RelationalAttribute) | Mid-level-ontology.kif 32113-32113 | Collectible is an instance of relational attribute |
| (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 32114-32116 | Collectible is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Collectible "Collectible") | domainEnglishFormat.kif 64665-64665 |
| 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 32118-32130 | If Collectible is an attribute of X and X has the purpose Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of human (3) Z wants X (4) Z desires W (5) W entails Z possesses X (6) equal Y (7) W |
| consequent |
|
|
| (=> (instance ?TC TradingCard) (attribute ?TC Collectible)) |
Mid-level-ontology.kif 32137-32139 | If X is an instance of trading card, then Collectible is an attribute of X |
|