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 | |
(domainSubclass validPaymentType 2 Payment) | Catalog.kif 249-249 | |
(instance validPaymentType BinaryPredicate) | Catalog.kif 242-242 |
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 |