TreeView Knowledge Base Browser - Zinc

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Zinc

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 27745-27745	30 is an atomic number of zinc
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29228-29228	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 27753-27756
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 29227-29227	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 27743-27743	"Zinc" has name zinc
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31476-31476	roomTempState zinc and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27742-27742	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 27744-27744	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 27747-27751

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 8940-8947	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 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