No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1732-1732 |
CopperOreMining e' um sub-atributo de CopperOreAndNickelOreMining |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1803-1803 |
NickelOreMining e' um sub-atributo de CopperOreAndNickelOreMining |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17262-17262 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17261-17261 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17260-17260 |
|