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

(atomicNumber Iron 26)	Mid-level-ontology.kif 29371-29371	26 is an atomic number of iron
(boilingPoint Iron (MeasureFn 3023.0 KelvinDegree))	Mid-level-ontology.kif 30910-30910	3023.0 Kelvin degree(s) is a boiling point of iron
(documentation Iron EnglishLanguage "Silvery malleable and ductile metallic transition element. Has nine isotopes and is the fourth most abundant element in the earth's crust. Required by living organisms as a trace element (used in hemoglobin in humans.) Quite reactive, oxidizes in moist air, displaces hydrogen from dilute acids and combines with nonmetallic elements.")	Mid-level-ontology.kif 29379-29383	3023.0 Kelvin degree(s) is a boiling point of iron
(externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/0/03/ Fe%2C26.jpg")	pictureList.kif 2238-2238	3023.0 Kelvin degree(s) is a boiling point of iron
(externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Fe_TableImage.png")	pictureList.kif 1820-1820	3023.0 Kelvin degree(s) is a boiling point of iron
(externalImage Iron "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 03/ Fe%2C26.jpg/ 125px_Fe%2C26.jpg")	pictureList.kif 1149-1149	3023.0 Kelvin degree(s) is a boiling point of iron
(meltingPoint Iron (MeasureFn 1808.0 KelvinDegree))	Mid-level-ontology.kif 30909-30909	1808.0 Kelvin degree(s) is a melting point of iron
(names Iron "Iron")	Mid-level-ontology.kif 29369-29369	"Iron" has name iron
(roomTempState Iron Solid)	Mid-level-ontology.kif 33180-33180	room temperature state iron and solid
(subclass Iron ElementalSubstance)	Mid-level-ontology.kif 29368-29368	Iron is a subclass of elemental substance

appearance as argument number 2

(conventionalShortName "Fe" Iron)	Mid-level-ontology.kif 29370-29370	Iron is a conventional short name of "Fe"
(termFormat ChineseLanguage Iron "铁")	domainEnglishFormat.kif 31049-31049	Iron is a conventional short name of "Fe"
(termFormat ChineseTraditionalLanguage Iron "鐵")	domainEnglishFormat.kif 31048-31048	Iron is a conventional short name of "Fe"
(termFormat EnglishLanguage Iron "iron")	domainEnglishFormat.kif 31047-31047	Iron is a conventional short name of "Fe"

antecedent

(=> (and (instance ?ATOM Iron) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 55.847 Amu)))	Mid-level-ontology.kif 29373-29377	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)
(=> (and (instance ?PROCESS Separating) (resource ?PROCESS ?SOURCE) (result ?PROCESS ?PRODUCT) (instance ?PRODUCT Iron)) (instance ?SOURCE IronOre))	Economy.kif 5971-5977	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

(=> (instance ?IO IronOxide) (exists (?I ?O) (and (instance ?I Iron) (instance ?O Oxygen) (part ?I ?IO) (part ?O ?IO))))	Transportation.kif 4306-4313	If an object is an instance of iron oxide, then there exist another object and a third object such that the other object is an instance of iron and the third object is an instance of oxygen and the other object is a part of the object and the third object is a part of the object
(=> (instance ?ORE IronOre) (exists (?METAL) (and (instance ?METAL Iron) (component ?METAL ?ORE))))	Economy.kif 5979-5984	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
(=> (instance ?R Rusting) (exists (?I ?O) (and (patient ?R ?I) (or (instance ?I Iron) (instance ?I Steel)) (result ?R ?O) (instance ?O Rust))))	Transportation.kif 4289-4298	If a process is an instance of rusting, then there exist an entity and another entity such that the entity is a patient of the process and the entity is an instance of iron or the entity is an instance of steel and the other entity is a result of the process and the other entity is an instance of rust
(=> (instance ?STEEL Steel) (exists (?IRON) (and (instance ?IRON Iron) (part ?IRON ?STEEL))))	Mid-level-ontology.kif 10155-10160	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