No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1738-1738 |
FertilizerManufacturing e' um sub-atributo de FertilizerIndustry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1739-1739 |
FertilizerMineralMining e' um sub-atributo de FertilizerIndustry |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23546-23546 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23545-23545 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23544-23544 |
|