No TPTP formula. May not be expressible in strict first order. |
naics.kif 12379-12379 |
子屬性 住房計劃管理 and 住房計劃管理城市規劃和社區發展 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12386-12386 |
子屬性 城市規劃和社區和農村發展管理 and 住房計劃管理城市規劃和社區發展 |
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 |
|