VerbNet: run-51.3.2|canter, run-51.3.2|creep, run-51.3.2|creep, run-51.3.2|gallop, run-51.3.2|pace, run-51.3.2|scramble, body_internal_motion-49|sway, body_internal_motion-49|sway,
| Ambulating
| | VerbNet: run-51.3.2|canter, run-51.3.2|creep, run-51.3.2|creep, run-51.3.2|gallop, run-51.3.2|pace, run-51.3.2|scramble, body_internal_motion-49|sway, body_internal_motion-49|sway, |
| appearance as argument number 1 |
|
|
| (documentation Ambulating ChineseLanguage "这是 Animal 为了从一点移动到另一点用脚完成的任何 BodyMotion。") | chinese_format.kif 3006-3007 | |
| (documentation Ambulating EnglishLanguage "Any BodyMotion which is accomplished by means of the legs of an Animal for the purpose of moving from one point to another.") | Merge.kif 10391-10393 | |
| (externalImage Ambulating "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1e/ 2005_World_Championships_in_Athletics_4.jpg.JPG/ 180px-2005_World_Championships_in_Athletics_4.jpg.JPG") | pictureList.kif 1027-1027 | |
| (partition Ambulating Walking Running) | Merge.kif 10389-10389 | |
| (subclass Ambulating BodyMotion) | Merge.kif 10386-10386 | |
| (subclass Ambulating IntentionalProcess) | Merge.kif 10387-10387 | |
| (subclass Ambulating Translocation) | Merge.kif 10388-10388 |
| appearance as argument number 2 |
|
|
| (subclass Running Ambulating) | Merge.kif 10400-10400 | |
| (subclass Walking Ambulating) | Merge.kif 10395-10395 | |
| (termFormat ChineseLanguage Ambulating "走动") | domainEnglishFormat.kif 7147-7147 | |
| (termFormat ChineseTraditionalLanguage Ambulating "走動") | domainEnglishFormat.kif 7146-7146 | |
| (termFormat EnglishLanguage Ambulating "ambulating") | domainEnglishFormat.kif 7145-7145 |
| antecedent |
|
|
| (=> (and (instance ?A Ambulating) (subProcess ?S1 ?A) (instance ?S1 Stepping) (subProcess ?S2 ?A) (instance ?S2 Stepping) (equal ?S1-START (BeginFn (WhenFn ?S1))) (equal ?S2-START (BeginFn (WhenFn ?S2))) (not (or (before ?S1-START ?S2-START) (before ?S2-START ?S1-START)))) (equal ?S1 ?S2)) |
Mid-level-ontology.kif 675-688 | |
| (=> (and (instance ?A Biped) (instance ?W Ambulating) (agent ?W ?A)) (modalAttribute (exists (?L1 ?L2) (and (instance ?L1 Leg) (instance ?L2 Leg) (part ?L1 ?A) (part ?L2 ?A) (instrument ?W ?L1) (instrument ?W ?L2))) Likely)) |
Mid-level-ontology.kif 4885-4899 | |
| (=> (and (instance ?AMBULATE Ambulating) (agent ?AMBULATE ?AGENT)) (attribute ?AGENT Standing)) |
Merge.kif 16731-16735 | |
| (=> (and (instance ?AMBULATE Ambulating) (equal ?DURATION (WhenFn ?AMBULATE))) (exists (?STEP1 ?STEPN) (and (instance ?STEP1 Stepping) (instance ?STEPN Stepping) (subProcess ?STEP1 ?AMBULATE) (subProcess ?STEPN ?AMBULATE) (starts (WhenFn ?STEP1) ?DURATION) (finishes (WhenFn ?STEPN) ?DURATION) (not (equal ?STEP1 ?STEPN))))) |
Mid-level-ontology.kif 660-672 | |
| (=> (and (instance ?AMBULATE Ambulating) (instance ?STEP Stepping) (subProcess ?STEP ?AMBULATE) (agent ?AMBULATE ?AGENT)) (agent ?STEP ?AGENT)) |
Mid-level-ontology.kif 691-697 | |
| (=> (and (instance ?AMBULATE Ambulating) (instance ?STEP Stepping) (subProcess ?STEP ?AMBULATE) (agent ?STEP ?AGENT)) (agent ?AMBULATE ?AGENT)) |
Mid-level-ontology.kif 700-706 |
| consequent |
|
|
| (=> (and (instance ?GRP MarchingBand) (instance ?MP MusicalPerformance) (agent ?MP ?GRP)) (and (instance ?OD Outdoors) (eventLocated ?MP ?OD) (exists (?AMB) (and (instance ?AMB Ambulating) (subProcess ?AMB ?MP))))) |
Music.kif 977-988 |
|
|
|