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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Product

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 15693-15693
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/2/ 28/ Cofee_01473.JPG") pictureList.kif 11671-11671
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Mercedes_CLK55_W209.jpg") pictureList.kif 11668-11668
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/4/ 41/ Coca-cola_50cl_white-bg.jpg") pictureList.kif 11669-11669
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ Laptop-crank.jpg") pictureList.kif 11674-11674
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ McDonald%27s_BigMac_ja-1.jpg") pictureList.kif 10205-10205
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ FujitsuSiemens-Celvin-1.jpg") pictureList.kif 11673-11673
(subclass Product Artifact) Merge.kif 15692-15692 製品アーチファクトsubclass では %n

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


(subclass AnimalProduct Product) Economy.kif 5009-5009 AnimalProduct製品subclass では %n
(subclass ComputationalSystem Product) QoSontology.kif 20-20 ComputationalSystem製品subclass では %n
(subclass ComputerHardware Product) QoSontology.kif 59-59 ComputerHardware製品subclass では %n
(subclass ForestProduct Product) Economy.kif 5207-5207 ForestProduct製品subclass では %n
(subclass PlantProduct Product) Economy.kif 5186-5186 PlantProduct製品subclass では %n
(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 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 productModel の数値 2 引数は 製品subclass では %n

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 15695-15700

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 7054-7062
(=>
    (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 29868-29888
(=>
    (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 29895-29915
(=>
    (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 1974-1984


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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