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 | 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 |
(instance validPaymentType BinaryPredicate) | Catalog.kif 242-242 | valid payment type is an instance of binary predicate |
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 |