Sigma KB Term Intersection

(=> (instance ?TEAM SportsTeam) (exists (?SPORT) (and (subclass ?SPORT Sport) (capability ?SPORT agent ?TEAM))))	Mid-level-ontology.kif 7528-7533	オブジェクトは SportsTeam の instance では %n 工程工程はスポーツの subclass では %n オブジェクトは工程を agent として行う capable では %n
(subclass SportsTeam GroupOfPeople)	Mid-level-ontology.kif 7524-7524	SportsTeam は GroupOfPeople の subclass では %n
(subclass BasketballTeam SportsTeam)	Sports.kif 503-503	BasketballTeam は SportsTeam の subclass では %n
(subclass VolleyballTeam SportsTeam)	Sports.kif 505-505	VolleyballTeam は SportsTeam の subclass では %n
(subclass SoccerTeam SportsTeam)	Sports.kif 507-507	SoccerTeam は SportsTeam の subclass では %n
(subclass RugbyTeam SportsTeam)	Sports.kif 509-509	RugbyTeam は SportsTeam の subclass では %n
(subclass LacrosseTeam SportsTeam)	Sports.kif 511-511	LacrosseTeam は SportsTeam の subclass では %n
(subclass CarRacingTeam SportsTeam)	Sports.kif 513-513	CarRacingTeam は SportsTeam の subclass では %n
(subclass MotorcycleRacingTeam SportsTeam)	Sports.kif 514-514	MotorcycleRacingTeam は SportsTeam の subclass では %n
(subclass BaseballTeam SportsTeam)	Sports.kif 750-750	BaseballTeam は SportsTeam の subclass では %n
(subclass FootballTeam SportsTeam)	Sports.kif 843-843	FootballTeam は SportsTeam の subclass では %n