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 29598-29598	26 is an atomic number of iron
(boilingPoint Iron (MeasureFn 3023.0 KelvinDegree))	Mid-level-ontology.kif 31137-31137	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 29606-29610	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 31136-31136	1808.0 Kelvin degree(s) is a melting point of iron
(names Iron "Iron")	Mid-level-ontology.kif 29596-29596	"Iron" has &ames$"name" Iron
(roomTempState Iron Solid)	Mid-level-ontology.kif 33407-33407	room temperature state iron and solid
(subclass Iron ElementalSubstance)	Mid-level-ontology.kif 29595-29595	Iron is a subclass of elemental substance

appearance as argument number 2

(conventionalShortName "Fe" Iron)	Mid-level-ontology.kif 29597-29597	Iron is a conventional short name of "Fe"
(termFormat ChineseLanguage Iron "铁")	domainEnglishFormat.kif 31031-31031	Iron is a conventional short name of "Fe"
(termFormat ChineseTraditionalLanguage Iron "鐵")	domainEnglishFormat.kif 31030-31030	Iron is a conventional short name of "Fe"
(termFormat EnglishLanguage Iron "iron")	domainEnglishFormat.kif 31029-31029	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 29600-29604	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 5966-5972	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 4304-4311	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 5974-5979	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 4287-4296	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 10132-10137	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