| Ambulating
| |
| 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 11026-11028 | |
| (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 11024-11024 | |
| (subclass Ambulating BodyMotion) | Merge.kif 11021-11021 | |
| (subclass Ambulating IntentionalProcess) | Merge.kif 11022-11022 | |
| (subclass Ambulating Translocation) | Merge.kif 11023-11023 |
| appearance as argument number 2 |
|
|
| (subclass Running Ambulating) | Merge.kif 11035-11035 | |
| (subclass Walking Ambulating) | Merge.kif 11030-11030 | |
| (termFormat ChineseLanguage Ambulating "走动") | domainEnglishFormat.kif 7149-7149 | |
| (termFormat ChineseTraditionalLanguage Ambulating "走動") | domainEnglishFormat.kif 7148-7148 | |
| (termFormat EnglishLanguage Ambulating "ambulating") | domainEnglishFormat.kif 7147-7147 |
| antecedent |
|
|
| (=> (and (instance ?A Ambulating) (subProcess ?S1 ?A) (instance ?S1 Stepping) (subProcess ?S2 ?A) (instance ?S2 Stepping) (equal ?S1START (BeginFn (WhenFn ?S1))) (equal ?S2START (BeginFn (WhenFn ?S2))) (not (or (before ?S1START ?S2START) (before ?S2START ?S1START)))) (equal ?S1 ?S2)) |
Mid-level-ontology.kif 496-509 | |
| (=> (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 4317-4331 | |
| (=> (and (instance ?AMBULATE Ambulating) (agent ?AMBULATE ?AGENT)) (attribute ?AGENT Standing)) |
Merge.kif 17801-17805 | |
| (=> (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 482-494 | |
| (=> (and (instance ?AMBULATE Ambulating) (instance ?STEP Stepping) (subProcess ?STEP ?AMBULATE) (agent ?AMBULATE ?AGENT)) (agent ?STEP ?AGENT)) |
Mid-level-ontology.kif 511-517 | |
| (=> (and (instance ?AMBULATE Ambulating) (instance ?STEP Stepping) (subProcess ?STEP ?AMBULATE) (agent ?STEP ?AGENT)) (agent ?AMBULATE ?AGENT)) |
Mid-level-ontology.kif 519-525 |
| consequent |
|
|
| (=> (and (instance ?GRP MarchingBand) (instance ?MP MusicalPerformance) (agent ?MP ?GRP) (instance ?OD Outdoors) (eventLocated ?MP ?OD)) (exists (?AMB) (and (instance ?AMB Ambulating) (subProcess ?AMB ?MP)))) |
Music.kif 984-994 |
|
|
|