No TPTP formula. May not be expressible in strict first order. |
naics.kif 10306-10306 |
子屬性 行政和支持服務 and 行政和支持以及廢物管理和補救服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10619-10619 |
子屬性 廢物管理和補救服務 and 行政和支持以及廢物管理和補救服務 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5538-5538 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5537-5537 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5536-5536 |
|