No TPTP formula. May not be expressible in strict first order. |
naics.kif 9673-9673 |
子屬性 房地產估價師辦公室 and 與房地產有關的活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9680-9680 |
子屬性 與房地產有關的其他活動 and 與房地產有關的活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9653-9653 |
子屬性 房地產物業經理 and 與房地產有關的活動 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5376-5376 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5375-5375 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5374-5374 |
|