No TPTP formula. May not be expressible in strict first order. |
naics.kif 7048-7048 |
NewCarDealers e' um sub-atributo de AutomobileDealers |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7054-7054 |
UsedCarDealers e' um sub-atributo 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 |
|