| SportsTeam(运动队)
| |
| appearance as argument number 1 |
|
|
| (documentation SportsTeam EnglishLanguage "A GroupOfPeople who habitually play a Sport together, either as an occupation or as a leisure activity.") | Mid-level-ontology.kif 7552-7553 | |
| (externalImage SportsTeam "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Thai_national_football_team_squad_Asian_Games_2006.jpg") | pictureList.kif 1501-1501 | |
| (subclass SportsTeam GroupOfPeople) | Mid-level-ontology.kif 7551-7551 | 运动队 是 一群人 的 subclass |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?TEAM SportsTeam) (exists (?SPORT) (and (subclass ?SPORT Sport) (capability ?SPORT agent ?TEAM)))) |
Mid-level-ontology.kif 7555-7560 |
| consequent |
|
|
| (=> (and (instance ?L SportsLeague) (member ?M ?L)) (instance ?M SportsTeam)) |
Mid-level-ontology.kif 7050-7054 | |
| (=> (and (occupiesPosition ?H ?P ?O) (instance ?P SportsPosition)) (instance ?O SportsTeam)) |
Mid-level-ontology.kif 18960-18964 | |
| (=> (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 828-841 |
|
| (=> (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 7566-7574 |
|
|
|