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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3364-3365
No TPTP formula. May not be expressible in strict first order. Merge.kif 14451-14454
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33571-33571 room temperature state mineral and solid
No TPTP formula. May not be expressible in strict first order. Merge.kif 14449-14449 Mineral is a subclass of substance

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2584-2584 Asbestos is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. Geography.kif 1985-1985 Barite is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. Geography.kif 2002-2002 Chromite is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. Geography.kif 2005-2005 Coal is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. Economy.kif 5987-5987 Copper ore is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9971-9971 Diamond is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. Economy.kif 5966-5966 Iron ore is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. Economy.kif 6007-6007 Lead ore is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. Economy.kif 5997-5997 Nickel ore is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. Geography.kif 2044-2044 Talc is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. Economy.kif 6017-6017 Zinc ore is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 962-962 Zinc ore is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. english_format.kif 1131-1131 Zinc ore is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. french_format.kif 639-639 Zinc ore is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 170-170 Zinc ore is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. terms-it.txt 173-173 Zinc ore is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2323-2323 Zinc ore is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 591-591 Zinc ore is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 207-207 Zinc ore is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. terms-de.txt 466-466 Zinc ore is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 660-660 Zinc ore is a subclass of mineral
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 174-174 Zinc ore is a subclass of mineral

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 6301-6306
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7683-7691
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19485-19490
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2588-2590
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19496-19503


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