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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Product
Product(produit)
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 15843-15843
(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 15842-15842 Produit est une sous-classe de artefact

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


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

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


(domainSubclass productModel 2 Product) QoSontology.kif 16-16 Le nombre 2 argument de productModel est une sous-classe de produit

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 15845-15850

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 8215-8223
(=>
    (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 31760-31780
(=>
    (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 31787-31807
(=>
    (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 2437-2447


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