TreeView Knowledge Base Browser - Tobacco

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Tobacco

Tobacco(tobacco)

Indian_tobacco, Jasmine_tobacco, Nicotiana_alata, Nicotiana_glauca, Nicotiana_rustica, Nicotiana_tabacum, baccy, common_tobacco, filler, flowering_tobacco, mustard_tree, smoking_mixture, snuff, tobacco, tobacco_plant, tree_tobacco, wild_tobacco

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9382-9383
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 937-937
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9381-9381	Tobacco is a subclass of HerbaceousPlant

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58232-58232
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58231-58231
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58230-58230

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 2241-2246

If an object is an instance of cigar or cigarette,
then there exists another object such that the other object is an instance of tobacco and the other object is a part of the object

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