|
|
  OtherAmusementAndRecreationIndustries
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11509-11511 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11507-11507 | OtherAmusementAndRecreationIndustries e' um sub-atributo de AmusementGamblingAndRecreationIndustries |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11546-11546 | AllOtherAmusementAndRecreationIndustries e' um sub-atributo de OtherAmusementAndRecreationIndustries |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11540-11540 | BowlingCenters e' um sub-atributo de OtherAmusementAndRecreationIndustries |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11533-11533 | FitnessAndRecreationalSportsCenters e' um sub-atributo de OtherAmusementAndRecreationIndustries |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11513-11513 | GolfCoursesAndCountryClubs e' um sub-atributo de OtherAmusementAndRecreationIndustries |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11527-11527 | Marinas e' um sub-atributo de OtherAmusementAndRecreationIndustries |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11520-11520 | SkiingFacilities e' um sub-atributo de OtherAmusementAndRecreationIndustries |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42720-42720 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42719-42719 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42718-42718 |
|
|
|