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 27744-27744	26 is an atomic number of iron
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29283-29283	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 27752-27756
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 29282-29282	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 27742-27742	"Iron" has name iron
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31508-31508	roomTempState iron and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27741-27741	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 27743-27743	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 27746-27750	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 8958-8963	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