| Coach
| |
| appearance as argument number 1 |
|
|
| (documentation Coach EnglishLanguage "Any occupation that involves training an athlete or a sports team.") | Mid-level-ontology.kif 20797-20798 | |
| (externalImage Coach "http://articulatesoftware.com/SUMOpictures/people/ faces/ faces_6/ coach.png") | pictureList.kif 353-353 | |
| (instance Coach SkilledOccupation) | Mid-level-ontology.kif 20796-20796 | Coach ist ein fall von SkilledOccupation %n{nicht} |
| (subAttribute Coach SportsManager) | Sports.kif 520-520 | Coach ist ein teilattribut von SportsManager |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Coach "教练") | domainEnglishFormat.kif 15312-15312 | |
| (termFormat ChineseTraditionalLanguage Coach "教練") | domainEnglishFormat.kif 15311-15311 | |
| (termFormat EnglishLanguage Coach "coach") | domainEnglishFormat.kif 15310-15310 |
| antecedent |
|
|
| (=> (attribute ?COACH Coach) (exists (?ATHLETE ?GAME ?EDUCATION) (and (instance ?ATHLETE Human) (instance ?GAME Game) (instance ?EDUCATION EducationalProcess) (agent ?EDUCATION ?COACH) (patient ?EDUCATION ?ATHLETE) (refers ?EDUCATION ?GAME)))) |
Sports.kif 524-533 |
|
| consequent |
|
|
| (=> (coaches ?COACH ?PLAYER) (and (attribute ?COACH Coach) (exists (?GAME ?EDUCATION) (and (instance ?GAME Game) (instance ?EDUCATION EducationalProcess) (agent ?EDUCATION ?COACH) (patient ?EDUCATION ?PLAYER) (refers ?EDUCATION ?GAME))))) |
Sports.kif 541-551 |
|
|
|
|