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 28808-28808	26 is an atomic number of iron
(boilingPoint Iron (MeasureFn 3023.0 KelvinDegree))	Mid-level-ontology.kif 30347-30347	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 28816-28820	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 30346-30346	1808.0 Kelvin degree(s) is a melting point of iron
(names Iron "Iron")	Mid-level-ontology.kif 28806-28806	"Iron" has name iron
(roomTempState Iron Solid)	Mid-level-ontology.kif 32599-32599	roomTempState iron and solid
(subclass Iron ElementalSubstance)	Mid-level-ontology.kif 28805-28805	Iron is a subclass of elemental substance

appearance as argument number 2

(conventionalShortName "Fe" Iron)	Mid-level-ontology.kif 28807-28807	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 28810-28814	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 5839-5845	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 4302-4309	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 5847-5852	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 4285-4294	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 9704-9709	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