Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Consumer(consumer) |  | consumer |
| appearance as argument number 1 |
|
|
| (documentation Consumer EnglishLanguage "A person who purchases goods and services for personal use.") | Economy.kif 6782-6782 | |
| (instance Consumer SocialRole) | Economy.kif 6784-6784 | Consumer is an instance of social role |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Consumer "consumer") | Economy.kif 6783-6783 |
| antecedent |
|
|
| (=> (attribute ?H Consumer) (exists (?B) (and (instance ?B Buying) (agent ?B ?H)))) |
Economy.kif 6786-6791 | If consumer is an attribute of X, then there exists Y such that Y is an instance of buying and X is an agent of Y |
|