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 | Die Zahl 1 Argument von validPaymentType ist ein fall von PricingScheme %n{nicht} |
(domainSubclass validPaymentType 2 Payment) | Catalog.kif 249-249 | Die Zahl 2 Argument von validPaymentType ist eine teilkategorie von Payment %n{nicht} |
(instance validPaymentType BinaryPredicate) | Catalog.kif 242-242 | validPaymentType ist ein fall von BinaryPredicate %n{nicht} |
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 |