|
|
  MultifamilyHousingConstruction
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1124-1128 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1122-1122 | 子屬性 多戶住房建設 and 住宅建築建造 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39135-39135 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39134-39134 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39133-39133 |
|
|
|