| No TPTP formula. May not be expressible in strict first order. |
naics.kif 1254-1254 |
干墙抹灰声学和绝缘承包商 是 砌体干砌墙保温和瓷砖承包商 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 1247-1247 |
砖石和石材承包商 是 砌体干砌墙保温和瓷砖承包商 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 1262-1262 |
瓷砖大理石水磨石和马赛克承包商 是 砌体干砌墙保温和瓷砖承包商 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36401-36401 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36400-36400 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36399-36399 |
|
MasonryDrywallInsulationAndTileContractors