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 49640-49640 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49639-49639 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49638-49638 |
|