| TeamSport(team sport)
| | team_sport |
| appearance as argument number 1 |
|
|
| (documentation TeamSport EnglishLanguage "Any Sport which is played by SportsTeams, e.g. Baseball and Football.") | Mid-level-ontology.kif 7225-7226 | |
| (externalImage TeamSport "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Rugby_union_scrummage.jpg") | pictureList.kif 8756-8756 | |
| (subclass TeamSport Sport) | Mid-level-ontology.kif 7224-7224 | Team sport is a subclass of sport |
| appearance as argument number 2 |
|
|
| (subclass Baseball TeamSport) | Sports.kif 490-490 | Baseball is a subclass of team sport |
| (subclass Basketball TeamSport) | Sports.kif 654-654 | Basketball is a subclass of team sport |
| (subclass Football TeamSport) | Sports.kif 662-662 | Football is a subclass of team sport |
| (termFormat ChineseLanguage TeamSport "团队运动") | domainEnglishFormat.kif 57077-57077 | |
| (termFormat ChineseTraditionalLanguage TeamSport "團隊運動") | domainEnglishFormat.kif 57076-57076 | |
| (termFormat EnglishLanguage TeamSport "team sport") | domainEnglishFormat.kif 57075-57075 |
| antecedent |
|
|
| (=> (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 7228-7236 |
|
| consequent |
|
|
| (=> (and (instance ?SP SportsPlay) (realization ?P ?SP)) (exists (?S) (and (instance ?S TeamSport) (instance ?P Maneuver) (subProcess ?P ?S)))) |
Mid-level-ontology.kif 14269-14277 |
|
|
|
|