validPaymentType |
appearance as argument number 1 |
(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 | |
(domain validPaymentType 1 PricingScheme) | Catalog.kif 248-248 | Il numero 1 argomenti di validPaymentType è un istanza di PricingScheme |
(domainSubclass validPaymentType 2 Payment) | Catalog.kif 249-249 | Il numero 2 argomento validPaymentType è una sottoclasse diPayment |
(instance validPaymentType BinaryPredicate) | Catalog.kif 242-242 | validPaymentType è un' istanza di PredicatoBinario |
appearance as argument number 2 |
(format ChineseLanguage validPaymentType "%2 是 valid payment 在 %1 底下") | domainEnglishFormat.kif 4914-4914 | |
(format ChineseTraditionalLanguage validPaymentType "%2 是 valid payment 在 %1 底下") | domainEnglishFormat.kif 4913-4913 | |
(format EnglishLanguage validPaymentType "%2 is a valid payment under %1") | domainEnglishFormat.kif 4912-4912 | |
(termFormat EnglishLanguage validPaymentType "valid payment type") | Catalog.kif 246-246 |
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 |
|