No TPTP formula. May not be expressible in strict first order. |
naics.kif 11805-11805 |
所有其他汽车维修和保养 是 其他汽车维修和保养 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11791-11791 |
汽车换油和润滑车间 是 其他汽车维修和保养 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11799-11799 |
洗车 是 其他汽车维修和保养 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42762-42762 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42761-42761 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42760-42760 |
|