| CopperOre(copper ore)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4632-4632 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31588-31588 | roomTempState copper ore and solid |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5645-5645 | Copper ore is a subclass of mineral |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1729-1729 | Copper ore is an industry product type of copper ore mining |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17256-17256 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17255-17255 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17254-17254 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5647-5652 |
|
|
|
|