Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| publishedPrice |
| appearance as argument number 1 |
|
| (instance publishedPrice QuaternaryPredicate) | Catalog.kif 326-326 | published price is an instance of quaternary predicate |
| (documentation publishedPrice EnglishLanguage "(publishedPrice ?ENT ?PRICE ?AGENT ?PS) means that the CurrencyMeasure ?PRICE is given by AutonomousAgent ?AGENT to Entity ?ENT, based on conditions outlined in PricingScheme ?PS") | Catalog.kif 327-329 | published price is an instance of quaternary predicate |
| (domainSubclass publishedPrice 1 Entity) | Catalog.kif 332-332 | The number 1 argument of published price is a subclass of entity |
| (domain publishedPrice 2 CurrencyMeasure) | Catalog.kif 333-333 | The number 2 argument of published price is an instance of currency measure |
| (domain publishedPrice 3 CognitiveAgent) | Catalog.kif 334-334 | The number 3 argument of published price is an instance of cognitive agent |
| (domain publishedPrice 4 PricingScheme) | Catalog.kif 335-335 | The number 4 argument of published price is an instance of pricing scheme |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage publishedPrice "published price") | Catalog.kif 330-330 | |
| (format EnglishLanguage publishedPrice "the price of %1 from %3 according to %4 is %2") | domainEnglishFormat.kif 4276-4276 | |
| (format ChineseTraditionalLanguage publishedPrice "%1 的 price 從 %3 根據 %4 是 %2 ") | domainEnglishFormat.kif 4277-4277 | |
| (format ChineseLanguage publishedPrice "%1 的 price 从 %3 根据 %4 是 %2 ") | domainEnglishFormat.kif 4278-4278 |
| antecedent |
|
|
| (=> (and (instance ?B Buying) (patient ?B ?ITEM) (origin ?B ?AGENT) (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validPaymentType ?PS ?PAY)) (modalAttribute (exists (?PAYMENT) (and (instance ?PAYMENT ?PAY) (subProcess ?PAYMENT ?B))) Likely)) |
Catalog.kif 337-352 | If All of the following hold: (1) X is an instance of buying (2) Y is a patient of X (3) X originates at Z (4) the price of W from Z according to V is U or the unit price charged Z under V for T is W (5) W is a subclass of physical (6) Y is an immediate instance of W (7) S is a valid payment under V, then the statement there exists R such that R is an instance of S and R is a subprocess of X has the modal force of likely |
| (=> (and (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validFor ?PS ?CUSTCLASS) (instance ?CUSTOMER ?CUSTCLASS)) (modalAttribute (=> (and (instance ?B Buying) (agent ?B ?CUSTOMER) (origin ?B ?AGENT) (patient ?B ?ITEM)) (transactionAmount ?B ?PRICE)) Likely)) |
Catalog.kif 354-370 | If the price of X from Y according to Z is W or the unit price charged Y under Z for V is X, X is a subclass of physical, U is an immediate instance of X, Z is valid for T, and S is an instance of T, then the statement R is an instance of buying, S is an agent of R, R originates at Y, and U is a patient of RW is a transaction amount of R has the modal force of likely |
| (=> (and (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validityPeriod ?PS ?TIMEINT)) (holdsDuring ?TIMEINT (modalAttribute (=> (and (instance ?S Selling) (agent ?S ?AGENT) (patient ?S ?ITEM)) (transactionAmount ?S ?PRICE)) Likely))) |
Catalog.kif 372-387 | If the price of X from Y according to Z is W or the unit price charged Y under Z for V is X, X is a subclass of physical, U is an immediate instance of X, and Z is valid during T, then the statement S is an instance of selling, Y is an agent of S, and U is a patient of SW is a transaction amount of S has the modal force of likely holds during T |
| (=> (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 |
|