HalfMarathon - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - HalfMarathon

HalfMarathon(half-marathon)

appearance as argument number 1

(subclass HalfMarathon RunningARace)

Sports.kif 290-290

Half-marathon is a subclass of running a race

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

If a motion is an instance of half-marathon and an agent is an agent of the motion and a transitway is path along which the motion occurs and the distance of the transitway is a real number mile(s),
then the real number is equal to 13.1

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners