Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| productPrice |
| appearance as argument number 1 |
|
| (instance productPrice TernaryPredicate) | Catalog.kif 409-409 | product price is an instance of ternary predicate |
| (documentation productPrice EnglishLanguage "(productPrice ?ENT ?QUANT ?AGENT) means that CognitiveAgent ?AGENT sells items of type Entity ?ENT for CurrencyMeasure ?QUANT") | Catalog.kif 410-412 | product price is an instance of ternary predicate |
| (domainSubclass productPrice 1 Entity) | Catalog.kif 415-415 | The number 1 argument of product price is a subclass of entity |
| (domain productPrice 2 CurrencyMeasure) | Catalog.kif 416-416 | The number 2 argument of product price is an instance of currency measure |
| (domain productPrice 3 CognitiveAgent) | Catalog.kif 417-417 | The number 3 argument of product price is an instance of cognitive agent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage productPrice "product price") | Catalog.kif 413-413 | |
| (format EnglishLanguage productPrice "%3 sells %1 for %2") | domainEnglishFormat.kif 4244-4244 | |
| (format ChineseTraditionalLanguage productPrice "%3 sells %1 對於 %2 ") | domainEnglishFormat.kif 4245-4245 | |
| (format ChineseLanguage productPrice "%3 sells %1 對於 %2 ") | domainEnglishFormat.kif 4246-4246 |
| antecedent |
|
|
| (=> (productPrice ?ENT ?PRICE ?AGENT) (modalAttribute (=> (and (instance ?S Selling) (immediateInstance ?I ?ENT) (patient ?S ?I) (agent ?S ?AGENT)) (transactionAmount ?S ?PRICE)) Likely)) |
Catalog.kif 419-428 | If X sells Y for Z, then the statement W is an instance of selling, V is an immediate instance of Y, V is a patient of W, and X is an agent of WZ is a transaction amount of W has the modal force of likely |
| (=> (and (productPrice ?ENT (MeasureFn ?PRICE1 ?U) ?AGENT) (instance ?U UnitOfCurrency) (publishedPrice ?ENT (MeasureFn ?PRICE2 ?U) ?AGENT ?PS) (validFor ?PS ?CUSTCLASS) (instance ?ITEM ?ENT) (instance ?B Buying) (immediateInstance ?CUST ?CUSTCLASS) (agent ?B ?CUST) (origin ?B ?AGENT) (lessThan ?PRICE2 ?PRICE1)) (modalAttribute (transactionAmount ?B ?PRICE1) Likely)) |
Catalog.kif 430-445 | If All of the following hold: (1) X sells Y for Z W(s) (2) W is an instance of unit of currency (3) the price of Y from X according to V is U W(s) (4) V is valid for T (5) S is an instance of Y (6) R is an instance of buying (7) Q is an immediate instance of T (8) Q is an agent of R (9) R originates at X (10) U is less than Z, then the statement Z is a transaction amount of R has the modal force of likely |
|