No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1874-1874 |
IronMills e' um sub-atributo de IronAndSteelMills |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1873-1873 |
SteelMills e' um sub-atributo de IronAndSteelMills |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31033-31033 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31032-31032 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31031-31031 |
|