No TPTP formula. May not be expressible in strict first order. |
naics.kif 1097-1097 |
建立发展和总承包 是 施工 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1152-1152 |
重型建筑 是 施工 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1215-1215 |
特殊贸易承包商 是 施工 的 subAttribute |
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 |
|