| TeamSport
| |
| appearance as argument number 1 |
|
|
| (documentation TeamSport EnglishLanguage "Any Sport which is played by SportsTeams, e.g. Baseball and Football.") | Mid-level-ontology.kif 7245-7246 | |
| (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 7244-7244 |
| appearance as argument number 2 |
|
|
| (subclass Baseball TeamSport) | Sports.kif 490-490 | |
| (subclass Basketball TeamSport) | Sports.kif 654-654 | |
| (subclass Football TeamSport) | Sports.kif 662-662 | |
| (termFormat ChineseLanguage TeamSport "团队运动") | domainEnglishFormat.kif 57109-57109 | |
| (termFormat ChineseTraditionalLanguage TeamSport "團隊運動") | domainEnglishFormat.kif 57108-57108 | |
| (termFormat EnglishLanguage TeamSport "team sport") | domainEnglishFormat.kif 57107-57107 |
| 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 7248-7256 |
| consequent |
|
|
| (=> (and (instance ?SP SportsPlay) (realization ?P ?SP)) (exists (?S) (and (instance ?S TeamSport) (instance ?P Maneuver) (subProcess ?P ?S)))) |
Mid-level-ontology.kif 14243-14251 |
|
|
|