Marathon - Sigma Knowledge base Browser

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	Marathon is a subclass of running a race

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