Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - productPrice
productPrice

appearance as argument number 1
-------------------------


(documentation productPrice EnglishLanguage "(productPrice ?ENT ?QUANT ?AGENT) means that CognitiveAgent ?AGENT sells items of type Entity ?ENT for CurrencyMeasure ?QUANT") Catalog.kif 395-397
(domain productPrice 2 CurrencyMeasure) Catalog.kif 401-401 The number 2 argument of product price is an instance of currency measure
(domain productPrice 3 CognitiveAgent) Catalog.kif 402-402 The number 3 argument of product price is an instance of cognitive agent
(domainSubclass productPrice 1 Entity) Catalog.kif 400-400 The number 1 argument of product price is a subclass of entity
(instance productPrice TernaryPredicate) Catalog.kif 394-394 product price is an instance of ternary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage productPrice "%3 sells %1 對於 %2 ") domainEnglishFormat.kif 4247-4247
(format ChineseTraditionalLanguage productPrice "%3 sells %1 對於 %2 ") domainEnglishFormat.kif 4246-4246
(format EnglishLanguage productPrice "%3 sells %1 for %2") domainEnglishFormat.kif 4245-4245
(termFormat EnglishLanguage productPrice "product price") Catalog.kif 398-398

antecedent
-------------------------


(=>
    (and
        (productPrice ?ENT ?PRICE1 ?AGENT)
        (publishedPrice ?ENT ?PRICE2 ?AGENT ?PS)
        (validFor ?PS ?CUSTCLASS)
        (instance ?ITEM ?ENT)
        (instance ?B Buying)
        (immediateInstance ?CUST ?CUSTCLASS)
        (agent ?B ?CUST)
        (origin ?B ?AGENT)
        (lessThan ?PRICE2 ?PRICE1))
    (modalAttribute
        (transactionAmount ?B ?PRICE1) Likely))
Catalog.kif 415-427
(=>
    (productPrice ?ENT ?PRICE ?AGENT)
    (modalAttribute
        (=>
            (and
                (instance ?S Selling)
                (immediateInstance ?I ?ENT)
                (patient ?S ?I)
                (agent ?S ?AGENT))
            (transactionAmount ?S ?PRICE)) Likely))
Catalog.kif 404-413

consequent
-------------------------


(=>
    (priceRange ?ENT ?MIN ?MAX ?AGENT)
    (exists (?PRICE ?PS)
        (and
            (lessThanOrEqualTo ?PRICE ?MAX)
            (greaterThanOrEqualTo ?PRICE ?MIN)
            (or
                (publishedPrice ?ENT ?PRICE ?AGENT ?PS)
                (productPrice ?ENT ?PRICE ?AGENT)
                (unitPrice ?ENT ?PRICE ?AGENT ?PS)))))
Catalog.kif 203-212


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners