No TPTP formula. May not be expressible in strict first order. |
naics.kif 3643-3643 |
TireManufacturingExceptRetreading e' um sub-atributo de TireManufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3650-3650 |
TireRetreading e' um sub-atributo de TireManufacturing |
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 |
|