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 7563-7564 | |
(externalImage TeamSport "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Rugby_union_scrummage.jpg") | pictureList.kif 8751-8751 | |
(subclass TeamSport Sport) | Mid-level-ontology.kif 7562-7562 |
appearance as argument number 2 |
(subclass Baseball TeamSport) | Sports.kif 604-604 | |
(subclass Basketball TeamSport) | Sports.kif 768-768 | |
(subclass Cricket TeamSport) | Sports.kif 93-93 | |
(subclass Dodgeball TeamSport) | Sports.kif 128-128 | |
(subclass FootballUS TeamSport) | Sports.kif 807-807 | |
(subclass Handball TeamSport) | Sports.kif 122-122 | |
(subclass Hockey TeamSport) | Sports.kif 118-118 | |
(subclass IceHockey TeamSport) | Sports.kif 120-120 | |
(subclass Netball TeamSport) | Sports.kif 153-153 | |
(subclass Rugby TeamSport) | Sports.kif 124-124 | |
(subclass Soccer TeamSport) | Sports.kif 156-156 | |
(subclass Volleyball TeamSport) | Sports.kif 241-241 | |
(termFormat ChineseLanguage TeamSport "团队运动") | domainEnglishFormat.kif 57173-57173 | |
(termFormat ChineseTraditionalLanguage TeamSport "團隊運動") | domainEnglishFormat.kif 57172-57172 | |
(termFormat EnglishLanguage TeamSport "team sport") | domainEnglishFormat.kif 57171-57171 |
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 7566-7574 |
consequent |
(=> (and (instance ?SP SportsPlay) (realization ?P ?SP)) (exists (?S) (and (instance ?S TeamSport) (instance ?P Maneuver) (subProcess ?P ?S)))) |
Mid-level-ontology.kif 16670-16678 |