| 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 ist eine teilkategorie von Sport |
| appearance as argument number 2 |
|
|
| 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 |
|
|
|
|