Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BaseballRun(baseball run) |  | drive_in, run, tally |
| appearance as argument number 1 |
|
|
| (subclass BaseballRun BaseballHit) | Sports.kif 728-728 | Baseball run is a subclass of baseball hit |
| (subclass BaseballRun Score) | Sports.kif 729-729 | Baseball run is a subclass of score |
| (documentation BaseballRun EnglishLanguage "A Score in Baseball. It consists of hitting the ball with the bat and then touching all four bases of the diamond before being tagged with the ball by a member of the opposite team.") | Sports.kif 730-732 | Baseball run is a subclass of score |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?R BaseballRun) (agent ?R ?A)) (exists (?T ?H) (and (instance ?T Touching) (subProcess ?T ?R) (agent ?T ?A) (patient ?T ?H) (instance ?H HomeBase)))) |
Sports.kif 650-660 | If X is an instance of baseball run and Y is an agent of X, then there exist Z, W such that Z is an instance of touching, Z is a subprocess of X, Y is an agent of Z, W is a patient of Z, and W is an instance of home base |
| (=> (instance ?HR BaseballRun) (exists (?T1 ?T2 ?T3 ?T4 ?B1 ?B2 ?B3 ?B4) (and (instance ?T1 Touching) (instance ?T2 Touching) (instance ?T3 Touching) (instance ?T4 Touching) (instance ?B1 BaseballBase) (instance ?B2 BaseballBase) (instance ?B3 BaseballBase) (instance ?B4 BaseballBase) (not (equal ?B1 ?B2)) (not (equal ?B1 ?B3)) (not (equal ?B1 ?B4)) (not (equal ?B2 ?B3)) (not (equal ?B2 ?B4)) (not (equal ?B3 ?B4)) (subProcess ?T1 ?HR) (subProcess ?T2 ?HR) (subProcess ?T3 ?HR) (subProcess ?T4 ?HR)))) |
Sports.kif 737-758 | If X is an instance of baseball run, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U,, , T,, , S (2) R such that Y is an instance of touching (3) Z is an instance of touching (4) W is an instance of touching (5) V is an instance of touching (6) U is an instance of baseball base (7) T is an instance of baseball base (8) S is an instance of baseball base (9) R is an instance of baseball base (10) equal U (11) T (12) equal U (13) S (14) equal U (15) R (16) equal T (17) S (18) equal T (19) R (20) equal S (21) R (22) Y is a subprocess of X (23) Z is a subprocess of X (24) W is a subprocess of X (25) V is a subprocess of X |
|