No TPTP formula. May not be expressible in strict first order. |
naics.kif 2589-2589 |
子屬性 鋸木廠 and 鋸木廠和木材保護 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2595-2595 |
子屬性 木材保存 and 鋸木廠和木材保護 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51431-51431 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51430-51430 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51429-51429 |
|