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 43508-43508 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43507-43507 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43506-43506 |
|