(=> (instance ?TEAM SportsTeam) (exists (?SPORT) (and (subclass ?SPORT Sport) (capability ?SPORT agent ?TEAM)))) |
Mid-level-ontology.kif 7555-7560 | |
(subclass SportsTeam GroupOfPeople) | Mid-level-ontology.kif 7551-7551 | |
(subclass BasketballTeam SportsTeam) | Sports.kif 503-503 | |
(subclass VolleyballTeam SportsTeam) | Sports.kif 505-505 | |
(subclass SoccerTeam SportsTeam) | Sports.kif 507-507 | |
(subclass RugbyTeam SportsTeam) | Sports.kif 509-509 | |
(subclass LacrosseTeam SportsTeam) | Sports.kif 511-511 | |
(subclass CarRacingTeam SportsTeam) | Sports.kif 513-513 | |
(subclass MotorcycleRacingTeam SportsTeam) | Sports.kif 514-514 | |
(subclass BaseballTeam SportsTeam) | Sports.kif 750-750 | |
(subclass FootballTeam SportsTeam) | Sports.kif 843-843 |