Coach![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Coach EnglishLanguage "Any occupation that involves training an athlete or a sports team.") | Mid-level-ontology.kif 22387-22388 | |
(externalImage Coach "http://articulatesoftware.com/SUMOpictures/people/ faces/ faces_6/ coach.png") | pictureList.kif 353-353 | |
(instance Coach SkilledOccupation) | Mid-level-ontology.kif 22386-22386 | Coach est une instance de SkilledOccupation |
(subAttribute Coach SportsManager) | Sports.kif 532-532 | Coach est un sous-attribut de SportsManager |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Coach "教练") | domainEnglishFormat.kif 15321-15321 | |
(termFormat ChineseTraditionalLanguage Coach "教練") | domainEnglishFormat.kif 15320-15320 | |
(termFormat EnglishLanguage Coach "coach") | domainEnglishFormat.kif 15319-15319 |
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 536-545 |
|
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 553-563 |
![]() |
![]() |