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 11165-11167 | |
(documentation Ambulating JapaneseLanguage "ある所から別の所に移動する目的で Animal の脚に よって達成される任意の BodyMotion。") | japanese_format.kif 1769-1770 | |
(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 1026-1026 | |
(partition Ambulating Walking Running) | Merge.kif 11163-11163 | 走动 详尽无遗地 partition 成 步行 和 赛跑 |
(subclass Ambulating BodyMotion) | Merge.kif 11160-11160 | 走动 是 身体运动 的 subclass |
(subclass Ambulating IntentionalProcess) | Merge.kif 11161-11161 | 走动 是 有意图过程 的 subclass |
(subclass Ambulating Translocation) | Merge.kif 11162-11162 | 走动 是 易位 的 subclass |
appearance as argument number 2 |
(subclass Running Ambulating) | Merge.kif 11174-11174 | 赛跑 是 走动 的 subclass |
(subclass Walking Ambulating) | Merge.kif 11169-11169 | 步行 是 走动 的 subclass |
(termFormat ChineseLanguage Ambulating "走动") | domainEnglishFormat.kif 7140-7140 | |
(termFormat ChineseTraditionalLanguage Ambulating "走動") | domainEnglishFormat.kif 7139-7139 | |
(termFormat EnglishLanguage Ambulating "ambulating") | domainEnglishFormat.kif 7138-7138 |
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 501-514 |
|
(=> (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 4411-4425 | |
(=> (and (instance ?AMBULATE Ambulating) (agent ?AMBULATE ?AGENT)) (attribute ?AGENT Standing)) |
Merge.kif 18085-18089 | |
(=> (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 487-499 | |
(=> (and (instance ?AMBULATE Ambulating) (instance ?STEP Stepping) (subProcess ?STEP ?AMBULATE) (agent ?AMBULATE ?AGENT)) (agent ?STEP ?AGENT)) |
Mid-level-ontology.kif 516-522 | |
(=> (and (instance ?AMBULATE Ambulating) (instance ?STEP Stepping) (subProcess ?STEP ?AMBULATE) (agent ?STEP ?AGENT)) (agent ?AMBULATE ?AGENT)) |
Mid-level-ontology.kif 524-530 |
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 986-996 |