No TPTP formula. May not be expressible in strict first order. |
naics.kif 7913-7913 |
FuelDealers e' um sub-atributo de DirectSellingEstablishments |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7939-7939 |
OtherDirectSellingEstablishments e' um sub-atributo 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 |
|