HalfMarathon |
appearance as argument number 1 |
(subclass HalfMarathon RunningARace) | Sports.kif 290-290 | HalfMarathon è una sottoclasse di RunningARace |
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 |
|