|
|
   Stepping
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Stepping EnglishLanguage "The BodyMotion of extending one foot forward and then bringing the other foot to the same lateral position as the first leg.") | Mid-level-ontology.kif 476-478 | |
| (externalImage Stepping "http://upload.wikimedia.org/wikipedia/commons/a/ ad/ Walking_Man.JPG") | pictureList.kif 2739-2739 | |
| (subclass Stepping BodyMotion) | Mid-level-ontology.kif 475-475 | 步进 是 身体运动 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Stepping "步进") | domainEnglishFormat.kif 55328-55328 | |
| (termFormat ChineseTraditionalLanguage Stepping "步進") | domainEnglishFormat.kif 55327-55327 | |
| (termFormat EnglishLanguage Stepping "stepping") | domainEnglishFormat.kif 55326-55326 |
| 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 494-507 |
|
| (=> (and (instance ?AMBULATE Ambulating) (instance ?STEP Stepping) (subProcess ?STEP ?AMBULATE) (agent ?AMBULATE ?AGENT)) (agent ?STEP ?AGENT)) |
Mid-level-ontology.kif 509-515 | |
| (=> (and (instance ?AMBULATE Ambulating) (instance ?STEP Stepping) (subProcess ?STEP ?AMBULATE) (agent ?STEP ?AGENT)) (agent ?AMBULATE ?AGENT)) |
Mid-level-ontology.kif 517-523 |
| consequent |
|
|
| (=> (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 480-492 |
|
|
|
