|
|
   Chromite
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2011-2012 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 343-343 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31615-31615 | roomTempState chromite and solid |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2013-2013 | Chromite is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2014-2014 | Chromite is a subclass of mineral |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2015-2015 | Chromite has name "chromite" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14754-14754 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14753-14753 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14752-14752 |
|
|
|
