| 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 | Le nombre 1 argument de validPaymentType est une instance de PricingScheme |
| (domainSubclass validPaymentType 2 Payment) | Catalog.kif 249-249 | Le nombre 2 argument de validPaymentType est une sous-classe de Payment |
| (instance validPaymentType BinaryPredicate) | Catalog.kif 242-242 | validPaymentType est une instance de pr�dicat binaire |
| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners