TreeView Knowledge Base Browser - Iron

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Iron

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 27681-27681	26 is an atomic number of iron
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29220-29220	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 27689-27693
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 29219-29219	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 27679-27679	"Iron" has name iron
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31472-31472	roomTempState iron and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27678-27678	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 27680-27680	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 27683-27687	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 8930-8935	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 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