No TPTP formula. May not be expressible in strict first order. |
naics.kif 9627-9627 |
子屬性 小型家庭和自助存儲單元的出租人 and 房地產出租人 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9619-9619 |
子屬性 非住宅建築的出租人,除了小型家具 and 房地產出租人 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9634-9634 |
子屬性 其他房地產的出租人 and 房地產出租人 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9612-9612 |
子屬性 居所和住宅的出租人 and 房地產出租人 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34133-34133 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34132-34132 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34131-34131 |
|