| 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 7536-7537 | |
| (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 7535-7535 | TeamSport e' uma sub-classe de Esporte |
| appearance as argument number 2 |
|
|
| (subclass Baseball TeamSport) | Sports.kif 604-604 | Baseball e' uma sub-classe de TeamSport |
| (subclass Basketball TeamSport) | Sports.kif 768-768 | Basketball e' uma sub-classe de TeamSport |
| (subclass Cricket TeamSport) | Sports.kif 93-93 | Cricket e' uma sub-classe de TeamSport |
| (subclass Dodgeball TeamSport) | Sports.kif 128-128 | Dodgeball e' uma sub-classe de TeamSport |
| (subclass FootballUS TeamSport) | Sports.kif 807-807 | FootballUS e' uma sub-classe de TeamSport |
| (subclass Handball TeamSport) | Sports.kif 122-122 | Handball e' uma sub-classe de TeamSport |
| (subclass Hockey TeamSport) | Sports.kif 118-118 | Hockey e' uma sub-classe de TeamSport |
| (subclass IceHockey TeamSport) | Sports.kif 120-120 | IceHockey e' uma sub-classe de TeamSport |
| (subclass Netball TeamSport) | Sports.kif 153-153 | Netball e' uma sub-classe de TeamSport |
| (subclass Rugby TeamSport) | Sports.kif 124-124 | Rugby e' uma sub-classe de TeamSport |
| (subclass Soccer TeamSport) | Sports.kif 156-156 | Soccer e' uma sub-classe de TeamSport |
| (subclass Volleyball TeamSport) | Sports.kif 241-241 | Volleyball e' uma sub-classe de TeamSport |
| (termFormat ChineseLanguage TeamSport "团队运动") | domainEnglishFormat.kif 57171-57171 | |
| (termFormat ChineseTraditionalLanguage TeamSport "團隊運動") | domainEnglishFormat.kif 57170-57170 | |
| (termFormat EnglishLanguage TeamSport "team sport") | domainEnglishFormat.kif 57169-57169 |
| 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 7539-7547 |
|
| consequent |
|
|
| (=> (and (instance ?SP SportsPlay) (realization ?P ?SP)) (exists (?S) (and (instance ?S TeamSport) (instance ?P Maneuver) (subProcess ?P ?S)))) |
Mid-level-ontology.kif 16643-16651 |
|
|
|