Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| validFor |
| appearance as argument number 1 |
|
| (instance validFor BinaryPredicate) | Catalog.kif 225-225 | valid for is an instance of binary predicate |
| (documentation validFor EnglishLanguage "(validFor ?SCHEME ?AGENT) means that CurrencyMeasure that PricingScheme refers to applies to AutonomousAgent ?AGENT") | Catalog.kif 226-227 | valid for is an instance of binary predicate |
| (domain validFor 1 PricingScheme) | Catalog.kif 230-230 | The number 1 argument of valid for is an instance of pricing scheme |
| (domainSubclass validFor 2 AutonomousAgent) | Catalog.kif 231-231 | The number 2 argument of valid for is a subclass of agent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage validFor "valid for") | Catalog.kif 228-228 | |
| (format EnglishLanguage validFor "%1 is valid for %2") | domainEnglishFormat.kif 4910-4910 | |
| (format ChineseTraditionalLanguage validFor "%1 是 valid 對於 %2 ") | domainEnglishFormat.kif 4911-4911 | |
| (format ChineseLanguage validFor "%1 是 valid 对于 %2 ") | domainEnglishFormat.kif 4912-4912 |
| antecedent |
|
|
| (=> (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 (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 |
|