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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
-------------------------


s__documentation(s__Mineral,s__ChineseLanguage,'"这是各种天然存在、性质一致的物质(如石頭、煤、盐、硫磺,沙、 石油),或具着和天然矿物一样的化学成分、结晶形态和性质的合成物质。"')

chinese_format.kif 3364-3365
s__documentation(s__Mineral,s__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 13251-13254
s__instance(s__Mineral,s__SetOrClass)

s__instance(s__Substance,s__SetOrClass)

s__subclass(s__Mineral,s__Substance)

Merge.kif 13249-13249 Mineral is a subclass of substance

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


s__instance(s__Mineral,s__SetOrClass)

s__subclass(s__Asbestos,s__Mineral)

s__instance(s__Asbestos,s__SetOrClass)

Geography.kif 2537-2537 Asbestos is a subclass of mineral
s__instance(s__Barite,s__SetOrClass)

s__instance(s__Mineral,s__SetOrClass)

s__subclass(s__Barite,s__Mineral)

Geography.kif 1947-1947 Barite is a subclass of mineral
s__subclass(s__Chromite,s__Mineral)

s__instance(s__Mineral,s__SetOrClass)

s__instance(s__Chromite,s__SetOrClass)

Geography.kif 1964-1964 Chromite is a subclass of mineral
s__instance(s__Coal,s__SetOrClass)

s__instance(s__Mineral,s__SetOrClass)

s__subclass(s__Coal,s__Mineral)

Geography.kif 1967-1967 Coal is a subclass of mineral
s__instance(s__Mineral,s__SetOrClass)

s__instance(s__CopperOre,s__SetOrClass)

s__subclass(s__CopperOre,s__Mineral)

Economy.kif 4530-4530 Copper ore is a subclass of mineral
s__instance(s__Diamond,s__SetOrClass)

s__subclass(s__Diamond,s__Mineral)

s__instance(s__Mineral,s__SetOrClass)

Mid-level-ontology.kif 8444-8444 Diamond is a subclass of mineral
s__instance(s__Mineral,s__SetOrClass)

s__instance(s__IronOre,s__SetOrClass)

s__subclass(s__IronOre,s__Mineral)

Economy.kif 4509-4509 Iron ore is a subclass of mineral
s__instance(s__Mineral,s__SetOrClass)

s__instance(s__LeadOre,s__SetOrClass)

s__subclass(s__LeadOre,s__Mineral)

Economy.kif 4550-4550 Lead ore is a subclass of mineral
s__subclass(s__NickelOre,s__Mineral)

s__instance(s__Mineral,s__SetOrClass)

s__instance(s__NickelOre,s__SetOrClass)

Economy.kif 4540-4540 Nickel ore is a subclass of mineral
s__instance(s__Mineral,s__SetOrClass)

s__instance(s__Talc,s__SetOrClass)

s__subclass(s__Talc,s__Mineral)

Geography.kif 2006-2006 Talc is a subclass of mineral
s__instance(s__Mineral,s__SetOrClass)

s__instance(s__ZincOre,s__SetOrClass)

s__subclass(s__ZincOre,s__Mineral)

Economy.kif 4560-4560 Zinc ore is a subclass of mineral
s__termFormat(s__ChineseLanguage,s__Mineral,'"矿物"')

chinese_format.kif 962-962
s__termFormat(s__EnglishLanguage,s__Mineral,'"mineral"')

english_format.kif 1136-1136

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


( ! [V__CONCRETE] :
   (s__instance(V__CONCRETE,s__Concrete) =>
     ( ? [V__PART] :
       ((s__instance(V__PART,s__Mineral) &
           s__component(V__PART,V__CONCRETE))))
   )
)

Economy.kif 4788-4793
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6406-6414
( ! [V__Rock] :
   (s__instance(V__Rock,s__Rock) =>
     ( ? [V__Mineral] :
       ((s__instance(V__Mineral,s__Mineral) &
           s__part(V__Mineral,V__Rock))))
   )
)

Mid-level-ontology.kif 15616-15621
( ! [V__SHIP] :
   (s__instance(V__SHIP,s__CombinationOre_OilCarrierShip) =>
     s__cargoType(V__SHIP,s__Mineral) )
   )

Transportation.kif 2399-2401
( ! [V__Soil] :
   (s__instance(V__Soil,s__Soil) =>
     ( ? [V__Humus, V__Mineral] :
       ((s__instance(V__Humus,s__Humus) &
           s__instance(V__Mineral,s__Mineral) &
           s__part(V__Humus,V__Soil)
         &
         s__part(V__Mineral,V__Soil))))
)
)

Mid-level-ontology.kif 15627-15634


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners