TreeView Knowledge Base Browser - TobaccoProduct

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TobaccoProduct

TobaccoProduct(tobacco product)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 1832-1835
No TPTP formula. May not be expressible in strict first order.	naics.kif 1830-1830	Tobacco product is a subclass of artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58256-58256
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58255-58255
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58254-58254

consequent

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

naics.kif 1837-1855

If a collection is an instance of organization and beverage and tobacco product manufacturing is an attribute of the collection,
then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of beverage or the entity is an instance of tobacco product and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2

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