| (=> (instance ?TEAM SportsTeam) (exists (?SPORT) (and (subclass ?SPORT Sport) (capability ?SPORT agent ?TEAM)))) |
Mid-level-ontology.kif 7528-7533 | |
| (subclass SportsTeam GroupOfPeople) | Mid-level-ontology.kif 7524-7524 | |
| (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 |
|
|