Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  PhysicalQuantity

 Sigma KEE - IronOre
IronOre(iron ore)
chalybite, goethite, gothite, haematite, hematite, iron_ore, lepidocrocite, limonite, magnetic_iron-ore, magnetite, raddle, reddle, ruddle, siderite, taconite

appearance as argument number 1
-------------------------


(subclass IronOre CompoundSubstance) Economy.kif 5974-5974 Iron ore is a subclass of compound substance
(roomTempState IronOre Solid) Economy.kif 5975-5975 room temperature state iron ore and solid
(subclass IronOre Mineral) Economy.kif 5979-5979 Iron ore is a subclass of mineral
(documentation IronOre EnglishLanguage "IronOre is a subclass of CompoundSubstance that contains compounds of iron, of which the most common are hematite and limonite. Iron is obtained from smelting iron ores.") Economy.kif 5980-5982 Iron ore is a subclass of mineral
(subclass IronOre MiningArtifact) Society.kif 1392-1392 Iron ore is a subclass of MiningArtifact
(externalImage IronOre "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Hematite.jpg") pictureList.kif 1488-1488 Iron ore is a subclass of MiningArtifact

appearance as argument number 2
-------------------------


(industryProductType IronOreMining IronOre) Economy.kif 1926-1926 Iron ore is an industry product type of iron ore mining
(names "iron ore" IronOre) Economy.kif 5977-5977 Iron ore has name "iron ore"
(termFormat EnglishLanguage IronOre "iron ore") domainEnglishFormat.kif 31077-31077 Iron ore has name "iron ore"
(termFormat ChineseTraditionalLanguage IronOre "鐵礦") domainEnglishFormat.kif 31078-31078 Iron ore has name "iron ore"
(termFormat ChineseLanguage IronOre "铁矿") domainEnglishFormat.kif 31079-31079 Iron ore has name "iron ore"

antecedent
-------------------------


(=>
    (instance ?ORE IronOre)
    (exists (?METAL)
        (and
            (instance ?METAL Iron)
            (component ?METAL ?ORE))))		 Economy.kif 5992-5997 If X is an instance of iron ore, then there exists Y such that Y is an instance of iron and Y is a component of X

consequent
-------------------------


(=>
    (and
        (instance ?PROCESS Separating)
        (resource ?PROCESS ?SOURCE)
        (result ?PROCESS ?PRODUCT)
        (instance ?PRODUCT Iron))
    (instance ?SOURCE IronOre))		 Economy.kif 5984-5990 If X is an instance of separating, Y is a resource for X, Z is a result of X, and Z is an instance of iron, then Y is an instance of iron ore