No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1884-1884 |
Textile mills is a subattribute of textile industry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1885-1885 |
Textile product mills is a subattribute of textile industry |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57736-57736 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57735-57735 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57734-57734 |
|