Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RunningARace
RunningARace

appearance as argument number 1
-------------------------


(documentation RunningARace EnglishLanguage "Racing on Foot that involves Running. Note that this is different from a Walking race, which would be Racing that mandates no gait that is Running.") Sports.kif 260-262
(documentation RunningARace EnglishLanguage "RunningARace on Foot for 13.1 Miles.") Sports.kif 291-292
(subclass RunningARace Racing) Sports.kif 259-259 RunningARaceRacingsubclass では %n

appearance as argument number 2
-------------------------


(subclass HalfMarathon RunningARace) Sports.kif 290-290 HalfMarathonRunningARacesubclass では %n
(subclass Marathon RunningARace) Sports.kif 275-275 MarathonRunningARacesubclass では %n
(termFormat EnglishLanguage RunningARace "running a race") Sports.kif 263-263

antecedent
-------------------------


(=>
    (and
        (instance ?RR RunningARace)
        (agent ?RR ?H))
    (exists (?R)
        (and
            (instance ?R Running)
            (agent ?R ?H)
            (subProcess ?R ?RR))))
Sports.kif 265-273


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