No TPTP formula. May not be expressible in strict first order. |
naics.kif 10718-10718 |
子屬性 所有其他雜項廢物管理服務 and 所有其他廢物管理服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10711-10711 |
子屬性 化糞池及相關服務 and 所有其他廢物管理服務 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6948-6948 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6947-6947 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6946-6946 |
|