|
|
   SportsTeam
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SportsTeam GroupOfPeople) | Mid-level-ontology.kif 8731-8731 | Sports team is a subclass of group of people |
| (documentation SportsTeam EnglishLanguage "A GroupOfPeople who habitually play a Sport together, either as an occupation or as a leisure activity.") | Mid-level-ontology.kif 8732-8733 | Sports team is a subclass of group of people |
| (externalImage SportsTeam "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Thai_national_football_team_squad_Asian_Games_2006.jpg") | pictureList.kif 1501-1501 | Sports team is a subclass of group of people |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?TEAM SportsTeam) (exists (?SPORT) (and (subclass ?SPORT Sport) (capability ?SPORT agent ?TEAM)))) |
Mid-level-ontology.kif 8735-8740 | If X is an instance of sports team, then there exists Y such that Y is a subclass of sport and X is capable of doing Y as a agent |
| consequent |
|
|
| (=> (and (instance ?L SportsLeague) (member ?M ?L)) (instance ?M SportsTeam)) |
Mid-level-ontology.kif 8202-8206 | If X is an instance of sports league and Y is a member of X, then Y is an instance of sports team |
| (=> (instance ?S TeamSport) (exists (?T1 ?T2) (and (contestParticipant ?S ?T1) (contestParticipant ?S ?T2) (instance ?T1 SportsTeam) (instance ?T2 SportsTeam) (not (equal ?T1 ?T2))))) |
Mid-level-ontology.kif 8746-8754 | If X is an instance of team sport, then All of the following hold: (1) there exist Y (2) Z such that Y participates in X (3) Z participates in X (4) Y is an instance of sports team (5) Z is an instance of sports team (6) equal Y (7) Z |
| (=> (and (occupiesPosition ?H ?P ?O) (instance ?P SportsPosition)) (instance ?O SportsTeam)) |
Mid-level-ontology.kif 20867-20871 | If X holds the position of Y in Z and Y is an instance of sports position, then Z is an instance of sports team |
| (=> (instance ?PASS FootballPass) (exists (?THROW ?B ?TEAM ?M1 ?M2) (and (subProcess ?THROW ?PASS) (instance ?THROW Throwing) (agent ?THROW ?M1) (destination ?THROW ?M2) (patient ?THROW ?B) (instance ?B Football) (instance ?TEAM SportsTeam) (member ?M1 ?TEAM) (member ?M2 ?TEAM) (not (equal ?M1 ?M2))))) |
Sports.kif 840-853 | If X is an instance of football pass, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is a subprocess of X (3) Y is an instance of throwing (4) V is an agent of Y (5) Y ends up at U (6) Z is a patient of Y (7) Z is an instance of foot ball (8) W is an instance of sports team (9) V is a member of W (10) U is a member of W (11) equal V (12) U |
|
|
|
