|
|
  AutomotiveBodyPaintInteriorAndGlassRepair
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11765-11768 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11763-11763 | AutomotiveBodyPaintInteriorAndGlassRepair est un sous-attribut de AutomotiveRepairAndMaintenance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11770-11770 | AutomotiveBodyPaintAndInteriorRepairAndMaintenance est un sous-attribut de AutomotiveBodyPaintInteriorAndGlassRepair |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11778-11778 | AutomotiveGlassReplacementShops est un sous-attribut de AutomotiveBodyPaintInteriorAndGlassRepair |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9240-9240 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9239-9239 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9238-9238 |
|
|
|