No TPTP formula. May not be expressible in strict first order. |
naics.kif 11238-11238 |
其他社区住房服务 是 社区住房服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11231-11231 |
临时避难所 是 社区住房服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16098-16098 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16097-16097 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16096-16096 |
|