No TPTP formula. May not be expressible in strict first order. |
naics.kif 7913-7913 |
FuelDealers est un sous-attribut de DirectSellingEstablishments |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7939-7939 |
OtherDirectSellingEstablishments est un sous-attribut de DirectSellingEstablishments |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19746-19746 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19745-19745 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19744-19744 |
|