No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1764-1764 |
Lead manufacturing is a subattribute of lead industry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1763-1763 |
Lead ore mining is a subattribute of lead industry |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33617-33617 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33616-33616 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33615-33615 |
|