| (=> (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 | Esporte e' uma sub-classe de Jogo |
| (subclass Archery Sport) | Sports.kif 89-89 | Archery e' uma sub-classe de Esporte |
| (subclass Badminton Sport) | Sports.kif 91-91 | Badminton e' uma sub-classe de Esporte |
| (subclass Curling Sport) | Sports.kif 95-95 | Curling e' uma sub-classe de Esporte |
| (subclass CycleRacing Sport) | Sports.kif 97-97 | CycleRacing e' uma sub-classe de Esporte |
| (subclass Diving Sport) | Sports.kif 103-103 | Diving e' uma sub-classe de Esporte |
| (subclass IceSkating Sport) | Sports.kif 112-112 | IceSkating e' uma sub-classe de Esporte |
| (subclass Fencing Sport) | Sports.kif 114-114 | Fencing e' uma sub-classe de Esporte |
| (subclass FigureSkating Sport) | Sports.kif 116-116 | FigureSkating e' uma sub-classe de Esporte |
| (subclass Lacrosse Sport) | Sports.kif 126-126 | Lacrosse e' uma sub-classe de Esporte |
| (subclass MartialArts Sport) | Sports.kif 133-133 | MartialArts e' uma sub-classe de Esporte |
| (subclass SwimmingSport Sport) | Sports.kif 184-184 | SwimmingSport e' uma sub-classe de Esporte |
| (subclass SquashSport Sport) | Sports.kif 186-186 | SquashSport e' uma sub-classe de Esporte |
| (subclass ShootingSport Sport) | Sports.kif 188-188 | ShootingSport e' uma sub-classe de Esporte |
| (subclass SailingSport Sport) | Sports.kif 198-198 | SailingSport e' uma sub-classe de Esporte |
| (subclass Surfing Sport) | Sports.kif 207-207 | Surfing e' uma sub-classe de Esporte |
| (subclass KiteSurfing Sport) | Sports.kif 221-221 | KiteSurfing e' uma sub-classe de Esporte |
| (subclass Caving Sport) | Sports.kif 226-226 | Caving e' uma sub-classe de Esporte |
| (subclass Skateboarding Sport) | Sports.kif 229-229 | Skateboarding e' uma sub-classe de Esporte |
| (subclass Rafting Sport) | Sports.kif 232-232 | Rafting e' uma sub-classe de Esporte |
| (subclass FishingSport Sport) | Sports.kif 236-236 | FishingSport e' uma sub-classe de Esporte |
| (subclass TableTennis Sport) | Sports.kif 239-239 | TableTennis e' uma sub-classe de Esporte |
| (subclass Wrestling Sport) | Sports.kif 243-243 | Wrestling e' uma sub-classe de Esporte |
| (subclass HorseRacing Sport) | Sports.kif 245-245 | HorseRacing e' uma sub-classe de Esporte |
| (subclass RockClimbing Sport) | Sports.kif 496-496 | RockClimbing e' uma sub-classe de Esporte |
| (subclass Boxing Sport) | Sports.kif 585-585 | Boxing e' uma sub-classe de Esporte |
| (subclass Gymnastics Sport) | Sports.kif 600-600 | Gymnastics e' uma sub-classe de Esporte |
| (subclass Bodybuilding Sport) | Sports.kif 772-772 | Bodybuilding e' uma sub-classe de Esporte |
| (subclass Tennis Sport) | Sports.kif 852-852 | Tennis e' uma sub-classe de Esporte |
| (subclass Golf Sport) | Sports.kif 889-889 | Golf e' uma sub-classe de Esporte |
| (subclass Skiing Sport) | Sports.kif 1062-1062 | Skiing e' uma sub-classe de Esporte |
| (subclass Bowling Sport) | Sports.kif 1103-1103 | Bowling e' uma sub-classe de Esporte |
| (subclass Equitation Sport) | Sports.kif 1182-1182 | Equitation e' uma sub-classe de Esporte |
| (subclass WaterSport Sport) | Sports.kif 1207-1207 | WaterSport e' uma sub-classe de Esporte |
| (subclass Racquetball Sport) | Sports.kif 1318-1318 | Racquetball e' uma sub-classe de Esporte |
| (subclass OlympicGames Sport) | Sports.kif 1337-1337 | OlympicGames e' uma sub-classe de Esporte |
| (subclass TeamSport Sport) | Mid-level-ontology.kif 7534-7534 | TeamSport e' uma sub-classe de Esporte |
| (subclass Racing Sport) | Mid-level-ontology.kif 7548-7548 | Racing e' uma sub-classe de Esporte |
|
|