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 7524-7525 | |
(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 7523-7523 | 运动队 是 一群人 的 subclass |
appearance as argument number 2 |
antecedent |
(=> (instance ?TEAM SportsTeam) (exists (?SPORT) (and (subclass ?SPORT Sport) (capability ?SPORT agent ?TEAM)))) |
Mid-level-ontology.kif 7527-7532 |
consequent |
(=> (and (instance ?L SportsLeague) (member ?M ?L)) (instance ?M SportsTeam)) |
Mid-level-ontology.kif 7022-7026 | |
(=> (and (occupiesPosition ?H ?P ?O) (instance ?P SportsPosition)) (instance ?O SportsTeam)) |
Mid-level-ontology.kif 18932-18936 | |
(=> (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 7538-7546 |