Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| validPaymentType |
| appearance as argument number 1 |
|
| (instance validPaymentType BinaryPredicate) | Catalog.kif 242-242 | valid payment type is an instance of binary predicate |
| (documentation validPaymentType EnglishLanguage "(validPaymentType ?SCHEME ?PAYMENT) means that the CurrencyMeasure that PricingScheme refers to is valid for the given Payment class") | Catalog.kif 243-245 | valid payment type is an instance of binary predicate |
| (domain validPaymentType 1 PricingScheme) | Catalog.kif 248-248 | The number 1 argument of valid payment type is an instance of pricing scheme |
| (domainSubclass validPaymentType 2 Payment) | Catalog.kif 249-249 | The number 2 argument of valid payment type is a subclass of payment |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage validPaymentType "valid payment type") | Catalog.kif 246-246 | |
| (format EnglishLanguage validPaymentType "%2 is a valid payment under %1") | domainEnglishFormat.kif 4918-4918 | |
| (format ChineseTraditionalLanguage validPaymentType "%2 是 valid payment 在 %1 底下") | domainEnglishFormat.kif 4919-4919 | |
| (format ChineseLanguage validPaymentType "%2 是 valid payment 在 %1 底下") | domainEnglishFormat.kif 4920-4920 |
| 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 |
|