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 42722-42722 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42721-42721 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42720-42720 |