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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mineral

Sigma KEE - Mineral
Mineral(mineral)Ceylonite, Greenland_spar, Iceland_spar, Mexican_onyx, Pyrex, aa, achondrite, actinolite, adamant, ader_wax, adesite, aerolite, agate, agglomerate, alabaster, albite, albitic, alexandrite, allochthonous, alluvial, almandine, almandite, amblygonite, ametabolic, amethyst, amorphous, amphibole, amphibole_group, amphibolite, amygdaloid, andesite, andradite, anorthic, anorthite, anorthitic, anthophyllite, anthracitic, apatite, aphanite, aphanitic, aplite, aplitic, aquamarine, aragonite, arenaceous_rock, argentite, argillaceous_rock, argillite, argyrodite, arsenopyrite...

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 14045-14048
(subclass Mineral Substance) Merge.kif 14043-14043 Mineral is a subclass of substance

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


(subclass Asbestos Mineral) Geography.kif 2599-2599 Asbestos is a subclass of mineral
(subclass Barite Mineral) Geography.kif 2000-2000 Barite is a subclass of mineral
(subclass Chromite Mineral) Geography.kif 2017-2017 Chromite is a subclass of mineral
(subclass Coal Mineral) Geography.kif 2020-2020 Coal is a subclass of mineral
(subclass CopperOre Mineral) Economy.kif 4688-4688 Copper ore is a subclass of mineral
(subclass Diamond Mineral) Mid-level-ontology.kif 8368-8368 Diamond is a subclass of mineral
(subclass IronOre Mineral) Economy.kif 4667-4667 Iron ore is a subclass of mineral
(subclass LeadOre Mineral) Economy.kif 4708-4708 Lead ore is a subclass of mineral
(subclass NickelOre Mineral) Economy.kif 4698-4698 Nickel ore is a subclass of mineral
(subclass Talc Mineral) Geography.kif 2059-2059 Talc is a subclass of mineral
(subclass ZincOre Mineral) Economy.kif 4718-4718 Zinc ore is a subclass of mineral
(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 4946-4951
(=>
    (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 6406-6414
(=>
    (instance ?Rock Rock)
    (exists (?Mineral)
        (and
            (instance ?Mineral Mineral)
            (part ?Mineral ?Rock))))
Mid-level-ontology.kif 17306-17311
(=>
    (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 17317-17324


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