| 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 | Running a race is a subclass of racing |
| appearance as argument number 2 |
|
|
| (subclass HalfMarathon RunningARace) | Sports.kif 290-290 | Half-marathon is a subclass of running a race |
| (subclass Marathon RunningARace) | Sports.kif 275-275 | Marathon is a subclass of running a race |
| (termFormat EnglishLanguage RunningARace "running a race") | Sports.kif 263-263 | Marathon is a subclass of running a race |
| 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