No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1774-1774 |
子屬性 林業和伐木業 and 木材業 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1777-1777 |
子屬性 木材膠合板木製品和木板批發商 and 木材業 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1776-1776 |
子屬性 木製品 and 木材業 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1775-1775 |
子屬性 木製品製造業 and 木材業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35297-35297 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35296-35296 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35295-35295 |
|