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 | RunningARace は Racing の subclass では %n |
appearance as argument number 2 |
(subclass HalfMarathon RunningARace) | Sports.kif 290-290 | HalfMarathon は RunningARace の subclass では %n |
(subclass Marathon RunningARace) | Sports.kif 275-275 | Marathon は RunningARace の subclass では %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 |
|