Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mineral
Mineral

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


(documentation Mineral ChineseLanguage "这是各种天然存在、性质一致的物质(如石頭、煤、盐、硫磺,沙、 石油),或具着和天然矿物一样的化学成分、结晶形态和性质的合成物质。") chinese_format.kif 3364-3365
(documentation Mineral EnglishLanguage "Any of various naturally occurring homogeneous substances (such as stone, coal, salt, sulfur, sand, petroleum), or synthetic substances having the chemical composition and crystalline form and properties of a naturally occurring mineral.") Merge.kif 13710-13713
(subclass Mineral Substance) Merge.kif 13708-13708

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


(subclass Asbestos Mineral) Geography.kif 2582-2582
(subclass Barite Mineral) Geography.kif 1992-1992
(subclass Chromite Mineral) Geography.kif 2009-2009
(subclass Coal Mineral) Geography.kif 2012-2012
(subclass CopperOre Mineral) Economy.kif 4533-4533
(subclass Diamond Mineral) Mid-level-ontology.kif 8342-8342
(subclass IronOre Mineral) Economy.kif 4512-4512
(subclass LeadOre Mineral) Economy.kif 4553-4553
(subclass NickelOre Mineral) Economy.kif 4543-4543
(subclass Talc Mineral) Geography.kif 2051-2051
(subclass ZincOre Mineral) Economy.kif 4563-4563
(termFormat ChineseLanguage Mineral "矿物") chinese_format.kif 962-962
(termFormat EnglishLanguage Mineral "mineral") english_format.kif 1131-1131

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


(=>
    (instance ?CONCRETE Concrete)
    (exists (?PART)
        (and
            (instance ?PART Mineral)
            (component ?PART ?CONCRETE))))
Economy.kif 4791-4796
(=>
    (instance ?MINE Mine)
    (hasPurpose ?MINE
        (exists (?REMOVE ?MINERAL)
            (and
                (instance ?REMOVE Removing)
                (patient ?REMOVE ?MINERAL)
                (instance ?MINERAL Mineral)
                (origin ?REMOVE ?MINE)))))
Mid-level-ontology.kif 6380-6388
(=>
    (instance ?Rock Rock)
    (exists (?Mineral)
        (and
            (instance ?Mineral Mineral)
            (part ?Mineral ?Rock))))
Mid-level-ontology.kif 17279-17284
(=>
    (instance ?SHIP CombinationOre-OilCarrierShip)
    (cargoType ?SHIP Mineral))
Transportation.kif 2417-2419
(=>
    (instance ?Soil Soil)
    (exists (?Humus ?Mineral)
        (and
            (instance ?Humus Humus)
            (instance ?Mineral Mineral)
            (part ?Humus ?Soil)
            (part ?Mineral ?Soil))))
Mid-level-ontology.kif 17290-17297


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