No TPTP formula. May not be expressible in strict first order. |
naics.kif 1097-1097 |
子屬性 建立發展和總承包 and 施工 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1152-1152 |
子屬性 重型建築 and 施工 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1215-1215 |
子屬性 特殊貿易承包商 and 施工 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16788-16788 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16787-16787 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16786-16786 |
|