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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Product
Product
more pictures...
Prodotto, Produto, ani, branded, bunga, by-product, byproduct, commodity, drygoods, end_product, fancy_goods, fungible, future, generic, generically, good, inventory, made, merchandise, model, output, prefab, product, produit, release, soft_goods, spin-off, stock, trade_good, utpaada, ware, 产品

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


(documentation Product ChineseLanguage "这是由 Manufacture 所产生的 Artifact。") Merge.kif 15764-15764
(documentation Product EnglishLanguage "An Artifact that is produced by Manufacture.") Merge.kif 15763-15763
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/2/ 28/ Cofee_01473.JPG") pictureList.kif 11698-11698
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Mercedes_CLK55_W209.jpg") pictureList.kif 11695-11695
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/4/ 41/ Coca-cola_50cl_white-bg.jpg") pictureList.kif 11696-11696
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ Laptop-crank.jpg") pictureList.kif 11701-11701
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ McDonald%27s_BigMac_ja-1.jpg") pictureList.kif 10226-10226
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ FujitsuSiemens-Celvin-1.jpg") pictureList.kif 11700-11700
(subclass Product Artifact) Merge.kif 15762-15762

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


(subclass ComputationalSystem Product) QoSontology.kif 20-20
(subclass ComputerHardware Product) QoSontology.kif 59-59
(subclass DurableGood Product) Society.kif 566-566
(subclass Lumber Product) Society.kif 1375-1375
(subclass MassFurniture Product) Society.kif 602-602
(subclass TransportationEquipment Product) Society.kif 571-571
(termFormat ChineseLanguage Product "产品") chinese_format.kif 1049-1049
(termFormat EnglishLanguage Product "product") english_format.kif 736-736
(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 259-259
(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 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 1413-1421
(=>
    (instance ?PRODUCT Product)
    (exists (?MANUFACTURE)
        (and
            (instance ?MANUFACTURE Manufacture)
            (result ?MANUFACTURE ?PRODUCT))))
Merge.kif 15766-15771

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


(=>
    (and
        (attribute ?X DutyFree)
        (instance ?X Store))
    (forall (?OBJ)
        (=>
            (and
                (instance ?SELL Selling)
                (patient ?SELL ?OBJ)
                (located ?SELL ?X)
                (instance ?OBJ Product))
            (attribute ?OBJ DutyFree))))
Hotel.kif 1423-1434
(=>
    (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 6712-6720
(=>
    (instance ?INVOICE Invoice)
    (exists (?NUMBER ?BUYER ?SELLER ?ENT)
        (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 27962-27982
(=>
    (instance ?PLANT Factory)
    (exists (?PRODUCT ?MANUFACT)
        (and
            (instance ?PRODUCT Product)
            (eventLocated ?MANUFACT ?PLANT)
            (result ?MANUFACT ?PRODUCT))))
Society.kif 1140-1146
(=>
    (instance ?PO PurchaseOrder)
    (exists (?NUMBER ?BUYER ?SELLER)
        (and
            (uniqueIdentifier ?NUMBER ?PO)
            (buys ?BUYER ?SELLER ?ENT)
            (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 27987-28007
(=>
    (instance ?SHIP GeneralCargoShip)
    (cargoType ?SHIP Product))
Transportation.kif 2252-2254
(=>
    (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 2434-2444


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