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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Product
Product
more pictures...

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


(documentation Product ChineseLanguage "这是由 Manufacture 所产生的 Artifact。") chinese_format.kif 3580-3580
(documentation Product EnglishLanguage "An Artifact that is produced by Manufacture.") Merge.kif 15439-15439
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/2/ 28/ Cofee_01473.JPG") pictureList.kif 11687-11687
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Mercedes_CLK55_W209.jpg") pictureList.kif 11684-11684
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/4/ 41/ Coca-cola_50cl_white-bg.jpg") pictureList.kif 11685-11685
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ Laptop-crank.jpg") pictureList.kif 11690-11690
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ McDonald%27s_BigMac_ja-1.jpg") pictureList.kif 10215-10215
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ FujitsuSiemens-Celvin-1.jpg") pictureList.kif 11689-11689
(subclass Product Artifact) Merge.kif 15438-15438 subclass Product and Artifact

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


(subclass ComputationalSystem Product) QoSontology.kif 20-20 subclass ComputationalSystem and Product
(subclass ComputerHardware Product) QoSontology.kif 59-59 subclass ComputerHardware and Product
(termFormat ChineseLanguage Product "产品") chinese_format.kif 1049-1049
(termFormat EnglishLanguage Product "product") english_format.kif 1309-1309

appearance as argument number 3
-------------------------


(domainSubclass productModel 2 Product) QoSontology.kif 16-16 domainSubclass productModel, 2 and Product

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


(=>
    (and
        (attribute ?X DutyFree)
        (instance ?X Product))
    (not
        (exists (?DUTY)
            (and
                (instance ?DUTY DutyTax)
                (patient ?DUTY ?X)))))
Hotel.kif 1466-1474
(=>
    (instance ?PRODUCT Product)
    (exists (?MANUFACTURE)
        (and
            (instance ?MANUFACTURE Manufacture)
            (result ?MANUFACTURE ?PRODUCT))))
Merge.kif 15441-15446

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


(=>
    (and
        (instance ?LOGO Logo)
        (represents ?LOGO ?OBJ))
    (or
        (instance ?OBJ Agent)
        (instance ?OBJ Product)))
Media.kif 895-901
(=>
    (instance ?B Warehouse)
    (hasPurpose ?B
        (exists (?K ?P)
            (and
                (instance ?K Keeping)
                (patient ?K ?P)
                (instance ?P Product)
                (eventLocated ?K ?B)))))
Mid-level-ontology.kif 6752-6760
(=>
    (instance ?INVOICE Invoice)
    (exists (?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)
        (and
            (uniqueIdentifier ?NUMBER ?INVOICE)
            (buys ?BUYER ?SELLER ?ENT)
            (confersRight
                (exists (?SELLING)
                    (and
                        (before
                            (BeginFn
                                (WhenFn ?INVOICE))
                            (BeginFn
                                (WhenFn ?SELLING)))
                        (instance ?SELLING Selling)
                        (instance ?PRODUCT Product)
                        (objectTransferred ?SELLING ?PRODUCT)
                        (refers ?INVOICE ?PRODUCT)
                        (agent ?SELLING ?SELLER)
                        (patient ?SELLING ?BUYER))) ?SELLER ?BUYER))))
Mid-level-ontology.kif 29372-29392
(=>
    (instance ?PO PurchaseOrder)
    (exists (?NUMBER ?BUYER ?SELLER ?PRODUCT)
        (and
            (uniqueIdentifier ?NUMBER ?PO)
            (buys ?BUYER ?SELLER ?PRODUCT)
            (confersObligation
                (exists (?BUYING)
                    (and
                        (before
                            (BeginFn
                                (WhenFn ?PO))
                            (BeginFn
                                (WhenFn ?BUYING)))
                        (instance ?BUYING Buying)
                        (instance ?PRODUCT Product)
                        (objectTransferred ?BUYING ?PRODUCT)
                        (refers ?PO ?PRODUCT)
                        (agent ?BUYING ?BUYER)
                        (patient ?BUYING ?SELLER))) ?BUYER ?SELLER))))
Mid-level-ontology.kif 29399-29419
(=>
    (instance ?SHIP GeneralCargoShip)
    (cargoType ?SHIP Product))
Transportation.kif 2317-2319
(=>
    (instance ?VD VendingMachine)
    (hasPurpose ?VD
        (exists (?T ?C ?P)
            (and
                (instance ?T FinancialTransaction)
                (instrument ?T ?VD)
                (patient ?T ?C)
                (instance ?C Currency)
                (patient ?T ?P)
                (instance ?P Product)))))
Mid-level-ontology.kif 1937-1947


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