No TPTP formula. May not be expressible in strict first order. |
naics.kif 11805-11805 |
子屬性 所有其他汽車維修和保養 and 其他汽車維修和保養 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11791-11791 |
子屬性 汽車換油和潤滑車間 and 其他汽車維修和保養 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11799-11799 |
子屬性 洗車 and 其他汽車維修和保養 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42764-42764 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42763-42763 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42762-42762 |
|