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

Formal Language: 



KB Term:  Term intersection
English Word: 

  productPrice

 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 410-412
(domain productPrice 2 CurrencyMeasure) Catalog.kif 416-416 productPrice の数値 2 引数は 通貨測定 の instance では %n
(domain productPrice 3 CognitiveAgent) Catalog.kif 417-417 productPrice の数値 3 引数は 認識エージェント の instance では %n
(domainSubclass productPrice 1 Entity) Catalog.kif 415-415 productPrice の数値 1 引数は エンティティー のsubclass では %n
(instance productPrice TernaryPredicate) Catalog.kif 409-409 productPrice は 3進述語 の instance では %n

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


(format ChineseLanguage productPrice "%3 sells %1 對於 %2 ") domainEnglishFormat.kif 4242-4242
(format ChineseTraditionalLanguage productPrice "%3 sells %1 對於 %2 ") domainEnglishFormat.kif 4241-4241
(format EnglishLanguage productPrice "%3 sells %1 for %2") domainEnglishFormat.kif 4240-4240
(termFormat EnglishLanguage productPrice "product price") Catalog.kif 413-413

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


(=>
    (and
        (productPrice ?ENT
            (MeasureFn ?PRICE1 ?U) ?AGENT)
        (instance ?U UnitOfCurrency)
        (publishedPrice ?ENT
            (MeasureFn ?PRICE2 ?U) ?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 430-445
(=>
    (productPrice ?ENT ?PRICE ?AGENT)
    (modalAttribute
        (=>
            (and
                (instance ?S Selling)
                (immediateInstance ?I ?ENT)
                (patient ?S ?I)
                (agent ?S ?AGENT))
            (transactionAmount ?S ?PRICE)) Likely))		 Catalog.kif 419-428


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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