No TPTP formula. May not be expressible in strict first order. |
naics.kif 7368-7368 |
FishAndSeafoodMarkets e' um sub-atributo de SpecialtyFoodStores |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7375-7375 |
FruitAndVegetableMarkets e' um sub-atributo de SpecialtyFoodStores |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7361-7361 |
MeatMarkets e' um sub-atributo de SpecialtyFoodStores |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7382-7382 |
OtherSpecialtyFoodStores e' um sub-atributo de SpecialtyFoodStores |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54584-54584 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54583-54583 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54582-54582 |
|