No TPTP formula. May not be expressible in strict first order. |
naics.kif 7401-7401 |
AllOtherSpecialtyFoodStores e' um sub-atributo de OtherSpecialtyFoodStores |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7388-7388 |
BakedGoodsStores e' um sub-atributo de OtherSpecialtyFoodStores |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7394-7394 |
ConfectioneryAndNutStores e' um sub-atributo 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 |
|