No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1884-1884 |
子屬性 紡織廠 and 紡織工業 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1885-1885 |
子屬性 紡織產品廠 and 紡織工業 |
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 |
|