(=> (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 |
(subclass BasketballTeam SportsTeam) | Sports.kif 503-503 | BasketballTeam 是 运动队 的 subclass |
(subclass VolleyballTeam SportsTeam) | Sports.kif 505-505 | VolleyballTeam 是 运动队 的 subclass |
(subclass SoccerTeam SportsTeam) | Sports.kif 507-507 | SoccerTeam 是 运动队 的 subclass |
(subclass RugbyTeam SportsTeam) | Sports.kif 509-509 | RugbyTeam 是 运动队 的 subclass |
(subclass LacrosseTeam SportsTeam) | Sports.kif 511-511 | LacrosseTeam 是 运动队 的 subclass |
(subclass CarRacingTeam SportsTeam) | Sports.kif 513-513 | CarRacingTeam 是 运动队 的 subclass |
(subclass MotorcycleRacingTeam SportsTeam) | Sports.kif 514-514 | MotorcycleRacingTeam 是 运动队 的 subclass |
(subclass BaseballTeam SportsTeam) | Sports.kif 750-750 | 棒球队 是 运动队 的 subclass |
(subclass FootballTeam SportsTeam) | Sports.kif 843-843 | 足球队 是 运动队 的 subclass |