No TPTP formula. May not be expressible in strict first order. |
naics.kif 3643-3643 |
Tire manufacturing except retreading is a subattribute of tire manufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3650-3650 |
Tire retreading is a subattribute of tire manufacturing |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58180-58180 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58179-58179 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58178-58178 |
|