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 15543-15543
(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 15542-15542

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


(subclass ComputationalSystem Product) QoSontology.kif 20-20
(subclass ComputerHardware Product) QoSontology.kif 59-59
(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

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 15545-15550

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


(=>
    (and
        (instance ?LOGO Logo)
        (represents ?LOGO ?OBJ))
    (or
        (instance ?OBJ AutonomousAgent)
        (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 7014-7022
(=>
    (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 29784-29804
(=>
    (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 29811-29831
(=>
    (instance ?SHIP GeneralCargoShip)
    (cargoType ?SHIP Product))		 Transportation.kif 2318-2320
(=>
    (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 1939-1949


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