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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mineral

Sigma KEE - Mineral
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 14359-14362
(roomTempState Mineral Solid) Mid-level-ontology.kif 31656-31656 roomTempState mineral and Solid
(subclass Mineral Substance) Merge.kif 14357-14357 Mineral est une sous-classe de substance

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


(subclass Asbestos Mineral) Geography.kif 2596-2596 Asbestos est une sous-classe de mineral
(subclass Barite Mineral) Geography.kif 1997-1997 Barite est une sous-classe de mineral
(subclass Chromite Mineral) Geography.kif 2014-2014 Chromite est une sous-classe de mineral
(subclass Coal Mineral) Geography.kif 2017-2017 Coal est une sous-classe de mineral
(subclass CopperOre Mineral) Economy.kif 5645-5645 CopperOre est une sous-classe de mineral
(subclass Diamond Mineral) Mid-level-ontology.kif 8792-8792 Diamond est une sous-classe de mineral
(subclass IronOre Mineral) Economy.kif 5624-5624 IronOre est une sous-classe de mineral
(subclass LeadOre Mineral) Economy.kif 5665-5665 LeadOre est une sous-classe de mineral
(subclass NickelOre Mineral) Economy.kif 5655-5655 NickelOre est une sous-classe de mineral
(subclass Talc Mineral) Geography.kif 2056-2056 Talc est une sous-classe de mineral
(subclass ZincOre Mineral) Economy.kif 5675-5675 ZincOre est une sous-classe de mineral
(termFormat ChineseLanguage Mineral "矿物") chinese_format.kif 962-962
(termFormat EnglishLanguage Mineral "mineral") english_format.kif 1131-1131
(termFormat FrenchLanguage Mineral "mineral") french_format.kif 639-639
(termFormat Hindi Mineral "khanija") terms-hindi.txt 170-170
(termFormat ItalianLanguage Mineral "Minerale") terms-it.txt 173-173
(termFormat JapaneseLanguage Mineral "ミネラル") japanese_format.kif 2323-2323
(termFormat PortugueseLanguage Mineral "Mineral") portuguese_format.kif 591-591
(termFormat cz Mineral "mineral") terms-cz.txt 207-207
(termFormat ro Mineral "mineral") relations-ro.kif 660-660
(termFormat tg Mineral "mineral") terms-tg.txt 174-174

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


(=>
    (instance ?CONCRETE Concrete)
    (exists (?PART)
        (and
            (instance ?PART Mineral)
            (component ?PART ?CONCRETE))))
Economy.kif 5903-5908
(=>
    (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 6740-6748
(=>
    (instance ?Rock Rock)
    (exists (?Mineral)
        (and
            (instance ?Mineral Mineral)
            (part ?Mineral ?Rock))))
Mid-level-ontology.kif 17941-17946
(=>
    (instance ?SHIP CombinationOreOilCarrierShip)
    (cargoType ?SHIP Mineral))
Transportation.kif 2416-2418
(=>
    (instance ?Soil Soil)
    (exists (?Humus ?Mineral)
        (and
            (instance ?Humus Humus)
            (instance ?Mineral Mineral)
            (part ?Humus ?Soil)
            (part ?Mineral ?Soil))))
Mid-level-ontology.kif 17952-17959


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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