|
|
   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 472-474 | |
| (externalImage Stepping "http://upload.wikimedia.org/wikipedia/commons/a/ ad/ Walking_Man.JPG") | pictureList.kif 2740-2740 | |
| (subclass Stepping BodyMotion) | Mid-level-ontology.kif 471-471 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Stepping "步进") | domainEnglishFormat.kif 55305-55305 | |
| (termFormat ChineseTraditionalLanguage Stepping "步進") | domainEnglishFormat.kif 55304-55304 | |
| (termFormat EnglishLanguage Stepping "stepping") | domainEnglishFormat.kif 55303-55303 |
| 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 490-503 | |
| (=> (and (instance ?AMBULATE Ambulating) (instance ?STEP Stepping) (subProcess ?STEP ?AMBULATE) (agent ?AMBULATE ?AGENT)) (agent ?STEP ?AGENT)) |
Mid-level-ontology.kif 505-511 | |
| (=> (and (instance ?AMBULATE Ambulating) (instance ?STEP Stepping) (subProcess ?STEP ?AMBULATE) (agent ?STEP ?AGENT)) (agent ?AMBULATE ?AGENT)) |
Mid-level-ontology.kif 513-519 |
| 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 476-488 |
|
|
|
