Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Pitching(pitching) |  | delivery, overhand_pitch, passed_ball, pitch, pitching, spitball, spitter |
| appearance as argument number 1 |
|
|
| (subclass Pitching Throwing) | Mid-level-ontology.kif 18708-18708 | Pitching is a subclass of throwing |
| (subclass Pitching GameShot) | Mid-level-ontology.kif 18709-18709 | Pitching is a subclass of game shot |
| (documentation Pitching EnglishLanguage "Throwing a Ball to the batter in a game of Baseball or softball.") | Mid-level-ontology.kif 18710-18711 | Pitching is a subclass of game shot |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?PITCH Pitching) (patient ?PITCH ?BALL)) (instance ?BALL Ball)) |
Mid-level-ontology.kif 18713-18717 | If X is an instance of pitching and Y is a patient of X, then Y is an instance of ball |
| (=> (and (instance ?G Baseball) (instance ?P Pitching) (subProcess ?P ?G)) (exists (?M) (and (instance ?M PitchersMound) (origin ?P ?M)))) |
Sports.kif 688-696 | If X is an instance of baseball, Y is an instance of pitching, and Y is a subprocess of X, then there exists Z such that Z is an instance of pitchers mound and Y originates at Z |
|