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 302-302

Half_marathon is a subclass of running a race

appearance as argument number 2

(termFormat EnglishLanguage HalfMarathon "half_marathon")

Sports.kif 305-305

antecedent

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

Sports.kif 307-314

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 equal the real number and 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