No TPTP formula. May not be expressible in strict first order. |
naics.kif 10638-10638 |
危险废物收集 是 垃圾收集 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10645-10645 |
其他废物收集 是 垃圾收集 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10631-10631 |
固体废物收集 是 垃圾收集 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62295-62295 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62294-62294 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62293-62293 |
|