No TPTP formula. May not be expressible in strict first order. |
naics.kif 10306-10306 |
行政和支持服务 是 行政和支持以及废物管理和补救服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10619-10619 |
废物管理和补救服务 是 行政和支持以及废物管理和补救服务 的 subAttribute |
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 |
|