No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5771-5771 |
IndustrialRawMaterial e' um sub-atributo de MeanOfProduction |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5783-5783 |
IndustrialSupply e' um sub-atributo de MeanOfProduction |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36647-36647 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36646-36646 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36645-36645 |
|