| 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 272-274 | |
| (documentation RunningARace EnglishLanguage "RunningARace on Foot for 13.1 Miles.") | Sports.kif 303-304 | |
| (subclass RunningARace Racing) | Sports.kif 271-271 | Running a race is a subclass of racing |
| appearance as argument number 2 |
|
|
| (subclass HalfMarathon RunningARace) | Sports.kif 302-302 | Half_marathon is a subclass of running a race |
| (subclass Marathon RunningARace) | Sports.kif 287-287 | Marathon is a subclass of running a race |
| (termFormat EnglishLanguage RunningARace "running a race") | Sports.kif 275-275 | 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 277-285 |
|
|
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