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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Product

Sigma KEE - Product
Product(product)
more pictures...
branded, by-product, byproduct, commodity, drygoods, end_product, fancy_goods, fungible, future, generic, generically, good, inventory, made, merchandise, model, output, prefab, product, release, soft_goods, spin-off, stock, trade_good, ware

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3580-3580
No TPTP formula. May not be expressible in strict first order. Merge.kif 15693-15693
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11671-11671
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11668-11668
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11669-11669
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11674-11674
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10205-10205
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11673-11673
No TPTP formula. May not be expressible in strict first order. Merge.kif 15692-15692 Product is a subclass of artifact

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5009-5009 AnimalProduct is a subclass of product
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 20-20 Computational system is a subclass of product
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 59-59 Computer hardware is a subclass of product
No TPTP formula. May not be expressible in strict first order. Economy.kif 5207-5207 Forest product is a subclass of product
No TPTP formula. May not be expressible in strict first order. Economy.kif 5186-5186 Plant product is a subclass of product
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1049-1049
No TPTP formula. May not be expressible in strict first order. english_format.kif 1309-1309
No TPTP formula. May not be expressible in strict first order. french_format.kif 727-727
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 258-258
No TPTP formula. May not be expressible in strict first order. terms-it.txt 261-261
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2411-2411
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 679-679
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 263-263
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 297-297
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 748-748
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 262-262

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 16-16 The number 2 argument of product model is a subclass of product

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1466-1474
No TPTP formula. May not be expressible in strict first order. Merge.kif 15695-15700

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


No TPTP formula. May not be expressible in strict first order. Media.kif 895-901
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7054-7062
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29868-29888
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29895-29915
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2318-2320
No TPTP formula. May not be expressible in strict first order. 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