Zinc - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Zinc

Zinc(zinc)

Zn, atomic_number_30, zinc

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27757-27757	30 is an atomic number of zinc
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29240-29240	1180.0 Kelvin degree(s) is a boiling point of zinc
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27765-27768
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2431-2431
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2069-2069
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1292-1292
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29239-29239	692.73 Kelvin degree(s) is a melting point of zinc
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27755-27755	"Zinc" has name zinc
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31480-31480	roomTempState zinc and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27754-27754	Zinc is a subclass of elemental substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27756-27756	Zinc is a conventional short name of "Zn"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64177-64177
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64176-64176
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64175-64175

antecedent

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

Mid-level-ontology.kif 27759-27763

If a physical is an instance of zinc and the physical is an instance of atom,
then the measure of the physical is 65.38 amu(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8941-8948	If an object is an instance of brass, then there exist another object and a third object such that the other object is an instance of copper and the third object is an instance of zinc and the other object is a part of the object and the third object is a part of the object
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