|
|
  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 est un sous-attribut de AmusementGamblingAndRecreationIndustries |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11546-11546 | AllOtherAmusementAndRecreationIndustries est un sous-attribut de OtherAmusementAndRecreationIndustries |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11540-11540 | BowlingCenters est un sous-attribut de OtherAmusementAndRecreationIndustries |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11533-11533 | FitnessAndRecreationalSportsCenters est un sous-attribut de OtherAmusementAndRecreationIndustries |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11513-11513 | GolfCoursesAndCountryClubs est un sous-attribut de OtherAmusementAndRecreationIndustries |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11527-11527 | Marinas est un sous-attribut de OtherAmusementAndRecreationIndustries |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11520-11520 | SkiingFacilities est un sous-attribut 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 |
|
|
|