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 483-485 | |
(externalImage Stepping "http://upload.wikimedia.org/wikipedia/commons/a/ ad/ Walking_Man.JPG") | pictureList.kif 2739-2739 | |
(subclass Stepping BodyMotion) | Mid-level-ontology.kif 482-482 | Stepping est une sous-classe de mouvement du corps |
appearance as argument number 2 |
(termFormat ChineseLanguage Stepping "步进") | domainEnglishFormat.kif 55326-55326 | |
(termFormat ChineseTraditionalLanguage Stepping "步進") | domainEnglishFormat.kif 55325-55325 | |
(termFormat EnglishLanguage Stepping "stepping") | domainEnglishFormat.kif 55324-55324 |
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 ?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 ?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 |
|