Iron - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Iron

Iron(iron)

Fe, atomic_number_26, iron, iron_filing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27693-27693	26 is an atomic number of iron
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29232-29232	3023.0 Kelvin degree(s) is a boiling point of iron
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27701-27705
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2239-2239
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1821-1821
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1149-1149
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29231-29231	1808.0 Kelvin degree(s) is a melting point of iron
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27691-27691	"Iron" has name iron
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31476-31476	roomTempState iron and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27690-27690	Iron 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 27692-27692	Iron is a conventional short name of "Fe"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31021-31021
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31020-31020
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31019-31019

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27695-27699	If a physical is an instance of iron and the physical is an instance of atom, then the measure of the physical is 55.847 amu(s)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5629-5635	If a process is an instance of separating and an object is a resource for the process and an entity is a result of the process and the entity is an instance of iron, then the object is an instance of iron ore

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5637-5642	If a corpuscular object is an instance of iron ore, then there exists another corpuscular object such that the other corpuscular object is an instance of iron and the other corpuscular object is a component of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8931-8936	If an object is an instance of steel, then there exists another object such that the other object is an instance of iron and the other object is a part of the 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