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 | 子類 運動隊 and 一群人 |
appearance as argument number 2 |
(subclass BaseballTeam SportsTeam) | Sports.kif 750-750 | 子類 棒球隊 and 運動隊 |
(subclass BasketballTeam SportsTeam) | Sports.kif 503-503 | 子類 BasketballTeam and 運動隊 |
(subclass CarRacingTeam SportsTeam) | Sports.kif 513-513 | 子類 CarRacingTeam and 運動隊 |
(subclass FootballTeam SportsTeam) | Sports.kif 843-843 | 子類 足球隊 and 運動隊 |
(subclass LacrosseTeam SportsTeam) | Sports.kif 511-511 | 子類 LacrosseTeam and 運動隊 |
(subclass MotorcycleRacingTeam SportsTeam) | Sports.kif 514-514 | 子類 MotorcycleRacingTeam and 運動隊 |
(subclass RugbyTeam SportsTeam) | Sports.kif 509-509 | 子類 RugbyTeam and 運動隊 |
(subclass SoccerTeam SportsTeam) | Sports.kif 507-507 | 子類 SoccerTeam and 運動隊 |
(subclass VolleyballTeam SportsTeam) | Sports.kif 505-505 | 子類 VolleyballTeam and 運動隊 |
(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 |