No TPTP formula. May not be expressible in strict first order. |
naics.kif 1122-1122 |
子屬性 多戶住房建設 and 住宅建築建造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1115-1115 |
子屬性 單戶住房建設 and 住宅建築建造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49642-49642 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49641-49641 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49640-49640 |
|