Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ForSale(for sale) |  | for_sale, purchasable |
| appearance as argument number 1 |
|
|
| (documentation ForSale EnglishLanguage "An attribute of an Object, where it is available for purchase.") | Economy.kif 6682-6683 | |
| (instance ForSale TransactionAttribute) | Economy.kif 6685-6685 | For sale is an instance of transaction attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ForSale "for sale") | Economy.kif 6684-6684 |
| antecedent |
|
|
| (=> (attribute ?OBJECT ForSale) (exists (?CA ?S) (and (instance ?CA CognitiveAgent) (instance ?OBJECT Object) (capability Selling agent ?CA) (capability Selling patient ?OBJECT) (desires ?CA (and (instance ?S Selling) (agent ?S ?CA) (patient ?S ?OBJECT)))))) |
Economy.kif 6687-6699 | If for sale is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of cognitive agent (3) X is an instance of object (4) Y is capable of doing selling as a agent (5) X is capable of doing selling as a patient (6) Y desires Z is an instance of selling (7) Y is an agent of Z (8) X is a patient of Z |
| (=> (and (instance ?O Object) (attribute ?O ForSale)) (exists (?ME) (and (instance ?ME MarketEconomics) (member ?O MarketEconomics)))) |
Economy.kif 6714-6721 | If X is an instance of object and for sale is an attribute of X, then there exists Y such that Y is an instance of market and X is a member of market |
| consequent |
|
|
| (=> (instance ?ME MarketEconomics) (exists (?O) (and (instance ?O Object) (member ?O ?ME) (attribute ?O ForSale)))) |
Economy.kif 6706-6712 | If X is an instance of market, then there exists Y such that Y is an instance of object, Y is a member of X, and for sale is an attribute of Y |
|