ZincOre - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ZincOre

ZincOre(zinc ore)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31672-31672	roomTempState zinc ore and solid
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5675-5675	Zinc ore is a subclass of mineral

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1920-1920	Zinc ore is an industry product type of zinc ore mining
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64195-64195
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64194-64194
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64193-64193

antecedent

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

Economy.kif 5677-5682

If a corpuscular object is an instance of zinc ore,
then there exists another corpuscular object such that the other corpuscular object is an instance of zinc and the other corpuscular object is a component of the corpuscular object

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