No TPTP formula. May not be expressible in strict first order. |
naics.kif 7048-7048 |
NewCarDealers est un sous-attribut de AutomobileDealers |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7054-7054 |
UsedCarDealers est un sous-attribut de AutomobileDealers |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9216-9216 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9215-9215 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9214-9214 |
|