![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(subclass HalfMarathon RunningARace) | Sports.kif 290-290 |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage HalfMarathon "half-marathon") | Sports.kif 293-293 |
antecedent |
![]() |
(=> (and (instance ?M HalfMarathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 13.1)) |
Sports.kif 295-302 |
![]() |
![]() |