|
|
  OfficesOfRealEstateAppraisers
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9675-9678 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9673-9673 | 子屬性 房地產估價師辦公室 and 與房地產有關的活動 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41838-41838 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41837-41837 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41836-41836 |
|
|
|