Running(running) | ![]() | abscond, absquatulate, bolt, break_away, bunk, clip, dart, dash, decamp, escape, fartlek, flash, flee, fly, fly_the_coop, go_off, head_for_the_hills, hightail_it, jog, lam, make_off, romp, run, run_away, run_off, running, scarper, scat, scoot, scud, shoot, sprint, take_flight, take_to_the_woods, trot, turn_tail |
appearance as argument number 1 |
![]() |
(documentation Running ChineseLanguage "这是相对较快的 Ambulating,即是每一步以没有任何一只脚 在一段时间内和地面有接触的方式移动。") | chinese_format.kif 3010-3011 | |
(documentation Running EnglishLanguage "Ambulating relatively quickly, i.e. moving in such a way that, with each step, neither foot is in contact with the ground for a period of time.") | Merge.kif 11292-11294 | |
(documentation Running JapaneseLanguage "Ambulating は比較的迅速に、すなわち、各ステップで、 どちらの足も一定期間地面に接触しないような方法で移動する。") | japanese_format.kif 1773-1774 | |
(subclass Running Ambulating) | Merge.kif 11290-11290 | Running is a subclass of ambulating |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Running "赛跑") | domainEnglishFormat.kif 50616-50616 | |
(termFormat ChineseTraditionalLanguage Running "賽跑") | domainEnglishFormat.kif 50615-50615 | |
(termFormat EnglishLanguage Running "running") | domainEnglishFormat.kif 50614-50614 |
appearance as argument number 3 |
![]() |
(partition Ambulating Walking Running) | Merge.kif 11279-11279 | Ambulating is exhaustively partitioned into walking and running |
antecedent |
![]() |
(=> (and (instance ?WALK Walking) (instance ?RUN Running) (agent ?WALK ?AGENT) (agent ?RUN ?AGENT) (holdsDuring (WhenFn ?WALK) (measure ?AGENT (SpeedFn ?LENGTH1 ?TIME))) (holdsDuring (WhenFn ?RUN) (measure ?AGENT (SpeedFn ?LENGTH2 ?TIME)))) (greaterThan ?LENGTH2 ?LENGTH1)) |
Merge.kif 11296-11304 |
|
consequent |
![]() |
(=> (and (instance ?RR RunningARace) (agent ?RR ?H)) (exists (?R) (and (instance ?R Running) (agent ?R ?H) (subProcess ?R ?RR)))) |
Sports.kif 277-285 |
|
(=> (instance ?TRACK RunningTrack) (hasPurpose ?TRACK (exists (?RUN ?HUMAN) (and (instance ?HUMAN Human) (instance ?RUN Running) (agent ?RUN ?HUMAN) (path ?RUN ?TRACK))))) |
Mid-level-ontology.kif 27704-27712 |
|
![]() |
![]() |