| No TPTP formula. May not be expressible in strict first order. |
naics.kif 11722-11722 |
子屬性 汽車維修和保養 and 維修和保養 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 11851-11851 |
子屬性 除汽車和電子維修和保養外的商業和工業機械和設備 and 維修和保養 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 11812-11812 |
子屬性 電子和精密設備的維修和保養 and 維修和保養 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 11859-11859 |
子屬性 個人和家庭用品的維修和保養 and 維修和保養 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49496-49496 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49495-49495 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49494-49494 |
|
RepairAndMaintenance