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 11177-11179 | |
(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 11175-11175 | Ambulating is exhaustively partitioned into walking and running |
(subclass Ambulating BodyMotion) | Merge.kif 11172-11172 | Ambulating is a subclass of body motion |
(subclass Ambulating IntentionalProcess) | Merge.kif 11173-11173 | Ambulating is a subclass of intentional process |
(subclass Ambulating Translocation) | Merge.kif 11174-11174 | Ambulating is a subclass of translocation |
appearance as argument number 2 |
(subclass Running Ambulating) | Merge.kif 11186-11186 | Running is a subclass of ambulating |
(subclass Walking Ambulating) | Merge.kif 11181-11181 | Walking is a subclass of ambulating |
(termFormat ChineseLanguage Ambulating "走动") | domainEnglishFormat.kif 7140-7140 | |
(termFormat ChineseTraditionalLanguage Ambulating "走動") | domainEnglishFormat.kif 7139-7139 | |
(termFormat EnglishLanguage Ambulating "ambulating") | domainEnglishFormat.kif 7138-7138 |
antecedent |
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 |
|