No TPTP formula. May not be expressible in strict first order. |
naics.kif 7368-7368 |
FishAndSeafoodMarkets est un sous-attribut de SpecialtyFoodStores |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7375-7375 |
FruitAndVegetableMarkets est un sous-attribut de SpecialtyFoodStores |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7361-7361 |
MeatMarkets est un sous-attribut de SpecialtyFoodStores |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7382-7382 |
OtherSpecialtyFoodStores est un sous-attribut de SpecialtyFoodStores |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54582-54582 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54581-54581 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54580-54580 |
|