No TPTP formula. May not be expressible in strict first order. |
naics.kif 12379-12379 |
住房计划管理 是 住房计划管理城市规划和社区发展 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12386-12386 |
城市规划和社区和农村发展管理 是 住房计划管理城市规划和社区发展 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5502-5502 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5501-5501 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5500-5500 |
|