|
|
   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 |
| appearance as argument number 2 |
|
|
| (subclass BaseballTeam SportsTeam) | Sports.kif 750-750 | |
| (subclass BasketballTeam SportsTeam) | Sports.kif 503-503 | |
| (subclass CarRacingTeam SportsTeam) | Sports.kif 513-513 | |
| (subclass FootballTeam SportsTeam) | Sports.kif 843-843 | |
| (subclass LacrosseTeam SportsTeam) | Sports.kif 511-511 | |
| (subclass MotorcycleRacingTeam SportsTeam) | Sports.kif 514-514 | |
| (subclass RugbyTeam SportsTeam) | Sports.kif 509-509 | |
| (subclass SoccerTeam SportsTeam) | Sports.kif 507-507 | |
| (subclass VolleyballTeam SportsTeam) | Sports.kif 505-505 | |
| (termFormat ChineseLanguage SportsTeam "运动队") | domainEnglishFormat.kif 54786-54786 | |
| (termFormat ChineseTraditionalLanguage SportsTeam "運動隊") | domainEnglishFormat.kif 54785-54785 | |
| (termFormat EnglishLanguage SportsTeam "sports team") | domainEnglishFormat.kif 54784-54784 |
| 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 |
|
|
|
