|
|
  LimitedServiceEatingPlaces
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11644-11646 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11642-11642 | LimitedServiceEatingPlaces e' um sub-atributo de FoodServicesAndDrinkingPlaces |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11655-11655 | Cafeterias e' um sub-atributo de LimitedServiceEatingPlaces |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11648-11648 | LimitedServiceRestaurants e' um sub-atributo de LimitedServiceEatingPlaces |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11661-11661 | SnackAndNonalcoholicBeverageBars e' um sub-atributo de LimitedServiceEatingPlaces |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34451-34451 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34450-34450 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34449-34449 |
|
|
|