No TPTP formula. May not be expressible in strict first order. |
naics.kif 11742-11742 |
汽车排气系统维修 是 汽车机电维修 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11749-11749 |
汽车变速箱维修 是 汽车机电维修 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11735-11735 |
一般汽车维修 是 汽车机电维修 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11756-11756 |
其他汽车机电维修 是 汽车机电维修 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9264-9264 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9263-9263 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9262-9262 |
|