|
|
   Marathon
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Marathon EnglishLanguage "RunningARace on Foot for 26.2 Miles. Note that this is different from just running 26.2 miles alone even if competing with oneself for time.") | Sports.kif 276-278 | |
| (subclass Marathon RunningARace) | Sports.kif 275-275 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Marathon "marathon") | Sports.kif 279-279 |
| antecedent |
|
|
| (=> (and (instance ?M Marathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 26.2)) |
Sports.kif 281-288 |
|
|
|