validPaymentType - Sigma Knowledge base Browser

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 4916-4916
(format ChineseTraditionalLanguage validPaymentType "%2 是 valid payment 在 %1 底下")	domainEnglishFormat.kif 4915-4915
(format EnglishLanguage validPaymentType "%2 is a valid payment under %1")	domainEnglishFormat.kif 4914-4914
(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

If a process is an instance of buying and an entity is a patient of the process and the process originates at a cognitive agent and the price of another kind of entity from the cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is another kind of entity and the other kind of entity is a subclass of physical and the entity is an immediate instance of the other kind of entity and a kind of payment is a valid payment under the pricing scheme,
then the statement there exists a kind of paymentMENT such that the kind of paymentMENT is an instance of the kind of payment and the kind of paymentMENT is a subprocess of the process has the modal force of likely

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

KB Term:			Term intersection

English Word: