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 15828-15828
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/2/ 28/ Cofee_01473.JPG") pictureList.kif 11664-11664
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Mercedes_CLK55_W209.jpg") pictureList.kif 11661-11661
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/4/ 41/ Coca_cola_50cl_white_bg.jpg") pictureList.kif 11662-11662
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ Laptop_crank.jpg") pictureList.kif 11667-11667
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ McDonald%27s_BigMac_ja-1.jpg") pictureList.kif 10203-10203
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ FujitsuSiemens_Celvin-1.jpg") pictureList.kif 11666-11666
(subclass Product Artifact) Merge.kif 15827-15827

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


(subclass AnimalProduct Product) Economy.kif 5349-5349
(subclass ComputationalSystem Product) QoSontology.kif 20-20
(subclass ComputerHardware Product) QoSontology.kif 59-59
(subclass ForestProduct Product) Economy.kif 5548-5548
(subclass PlantProduct Product) Economy.kif 5527-5527
(termFormat ChineseLanguage Product "产品") chinese_format.kif 1049-1049
(termFormat EnglishLanguage Product "product") english_format.kif 1309-1309
(termFormat FrenchLanguage Product "produit") french_format.kif 727-727
(termFormat Hindi Product "utpaada") terms-hindi.txt 258-258
(termFormat ItalianLanguage Product "Prodotto") terms-it.txt 261-261
(termFormat JapaneseLanguage Product "製品") japanese_format.kif 2411-2411
(termFormat PortugueseLanguage Product "Produto") portuguese_format.kif 679-679
(termFormat cb Product "ani") terms-cb.txt 263-263
(termFormat cz Product "product") terms-cz.txt 297-297
(termFormat de Product "Produkt") terms-de.txt 556-556
(termFormat ro Product "produs") relations-ro.kif 748-748
(termFormat tg Product "bunga") terms-tg.txt 262-262

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 1477-1485
(=>
    (instance ?PRODUCT Product)
    (exists (?MANUFACTURE)
        (and
            (instance ?MANUFACTURE Manufacture)
            (result ?MANUFACTURE ?PRODUCT))))		 Merge.kif 15830-15835

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 8234-8242
(=>
    (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 31519-31539
(=>
    (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 31546-31566
(=>
    (instance ?SHIP GeneralCargoShip)
    (cargoType ?SHIP Product))		 Transportation.kif 2493-2495
(=>
    (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 2436-2446


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