TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Marathon RunningARace)	Sports.kif 287-287	Marathon is a subclass of running a race
(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 288-290	Marathon is a subclass of running a race

appearance as argument number 2

(termFormat EnglishLanguage Marathon "marathon")

antecedent

(=>
    (and
        (instance ?M Marathon)
        (agent ?M ?H)
        (path ?M ?P)
        (distanceOnPath
            (MeasureFn ?N Mile) ?P))
    (equal ?N 26.2))

If X is an instance of marathon, Y is an agent of X, Z is path along which X occurs, and the distance of Z is W mile(s), then equal W and 26.2