No TPTP formula. May not be expressible in strict first order. |
naics.kif 11742-11742 |
子屬性 汽車排氣系統維修 and 汽車機電維修 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11749-11749 |
子屬性 汽車變速箱維修 and 汽車機電維修 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11735-11735 |
子屬性 一般汽車維修 and 汽車機電維修 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11756-11756 |
子屬性 其他汽車機電維修 and 汽車機電維修 |
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 |
|