(=> (instance ?TEAM SportsTeam) (exists (?SPORT) (and (subclass ?SPORT Sport) (capability ?SPORT agent ?TEAM)))) |
Mid-level-ontology.kif 7527-7532 | |
(subclass Sport Game) | Merge.kif 13399-13399 | |
(subclass Archery Sport) | Sports.kif 89-89 | |
(subclass Badminton Sport) | Sports.kif 91-91 | |
(subclass Curling Sport) | Sports.kif 95-95 | |
(subclass CycleRacing Sport) | Sports.kif 97-97 | |
(subclass Diving Sport) | Sports.kif 103-103 | |
(subclass IceSkating Sport) | Sports.kif 112-112 | |
(subclass Fencing Sport) | Sports.kif 114-114 | |
(subclass FigureSkating Sport) | Sports.kif 116-116 | |
(subclass Lacrosse Sport) | Sports.kif 126-126 | |
(subclass MartialArts Sport) | Sports.kif 133-133 | |
(subclass SwimmingSport Sport) | Sports.kif 184-184 | |
(subclass SquashSport Sport) | Sports.kif 186-186 | |
(subclass ShootingSport Sport) | Sports.kif 188-188 | |
(subclass SailingSport Sport) | Sports.kif 198-198 | |
(subclass Surfing Sport) | Sports.kif 207-207 | |
(subclass KiteSurfing Sport) | Sports.kif 221-221 | |
(subclass Caving Sport) | Sports.kif 226-226 | |
(subclass Skateboarding Sport) | Sports.kif 229-229 | |
(subclass Rafting Sport) | Sports.kif 232-232 | |
(subclass FishingSport Sport) | Sports.kif 236-236 | |
(subclass TableTennis Sport) | Sports.kif 239-239 | |
(subclass Wrestling Sport) | Sports.kif 243-243 | |
(subclass HorseRacing Sport) | Sports.kif 245-245 | |
(subclass RockClimbing Sport) | Sports.kif 496-496 | |
(subclass Boxing Sport) | Sports.kif 585-585 | |
(subclass Gymnastics Sport) | Sports.kif 600-600 | |
(subclass Bodybuilding Sport) | Sports.kif 772-772 | |
(subclass Tennis Sport) | Sports.kif 852-852 | |
(subclass Golf Sport) | Sports.kif 889-889 | |
(subclass Skiing Sport) | Sports.kif 1062-1062 | |
(subclass Bowling Sport) | Sports.kif 1103-1103 | |
(subclass Equitation Sport) | Sports.kif 1182-1182 | |
(subclass WaterSport Sport) | Sports.kif 1207-1207 | |
(subclass Racquetball Sport) | Sports.kif 1318-1318 | |
(subclass OlympicGames Sport) | Sports.kif 1337-1337 | |
(subclass TeamSport Sport) | Mid-level-ontology.kif 7534-7534 | |
(subclass Racing Sport) | Mid-level-ontology.kif 7548-7548 |