Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Coach(coach)
|  | baseball_coach, baseball_manager, basketball_coach, batting_coach, coach, football_coach, handler, hockey_coach, line_coach, manager, pitching_coach, tennis_coach |
| appearance as argument number 1 |
|
|
| (instance Coach SkilledOccupation) | Mid-level-ontology.kif 23011-23011 | Coach is an instance of skilled occupation |
| (documentation Coach EnglishLanguage "Any occupation that involves training an athlete or a sports team.") | Mid-level-ontology.kif 23012-23013 | Coach is an instance of skilled occupation |
| (subAttribute Coach SportsManager) | Sports.kif 546-546 | Coach is a subattribute of sports manager |
| (externalImage Coach "http://articulatesoftware.com/SUMOpictures/people/ faces/ faces_6/ coach.png") | pictureList.kif 353-353 | Coach is a subattribute of sports manager |
| appearance as argument number 2 |
|
|
| 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 550-559 | If coach is an attribute of X, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of human (3) Z is an instance of game (4) W is an instance of educational process (5) X is an agent of W (6) Y is a patient of W (7) W includes a reference to Z |
| 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 567-577 | If X coaches Y, then coach is an attribute of X and there exist Z, W such that Z is an instance of game, W is an instance of educational process, X is an agent of W, Y is a patient of W, and W includes a reference to Z |
|