No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1884-1884 |
TextileMills e' um sub-atributo de TextileIndustry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1885-1885 |
TextileProductMills e' um sub-atributo de TextileIndustry |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57734-57734 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57733-57733 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57732-57732 |
|