No TPTP formula. May not be expressible in strict first order. |
naics.kif 7401-7401 |
AllOtherSpecialtyFoodStores est un sous-attribut de OtherSpecialtyFoodStores |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7388-7388 |
BakedGoodsStores est un sous-attribut de OtherSpecialtyFoodStores |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7394-7394 |
ConfectioneryAndNutStores est un sous-attribut de OtherSpecialtyFoodStores |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43506-43506 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43505-43505 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43504-43504 |
|