|
|
  ResidentialPropertyManagers
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9661-9664 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9659-9659 | 住宅物业经理 是 房地产物业经理 的 subAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49670-49670 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49669-49669 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49668-49668 |
|
|
|