| 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 642-644 | |
| (externalImage Stepping "http://upload.wikimedia.org/wikipedia/commons/a/ ad/ Walking_Man.JPG") | pictureList.kif 2740-2740 | |
| (subclass Stepping BodyMotion) | Mid-level-ontology.kif 641-641 | subclass Stepping and BodyMotion |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Stepping "步进") | domainEnglishFormat.kif 55219-55219 | |
| (termFormat ChineseTraditionalLanguage Stepping "步進") | domainEnglishFormat.kif 55218-55218 | |
| (termFormat EnglishLanguage Stepping "stepping") | domainEnglishFormat.kif 55217-55217 |
| antecedent |
|
|
| (=> (and (instance ?A Ambulating) (subProcess ?S1 ?A) (instance ?S1 Stepping) (subProcess ?S2 ?A) (instance ?S2 Stepping) (equal ?S1-START (BeginFn (WhenFn ?S1))) (equal ?S2-START (BeginFn (WhenFn ?S2))) (not (or (before ?S1-START ?S2-START) (before ?S2-START ?S1-START)))) (equal ?S1 ?S2)) |
Mid-level-ontology.kif 675-688 |
|
| (=> (and (instance ?AMBULATE Ambulating) (instance ?STEP Stepping) (subProcess ?STEP ?AMBULATE) (agent ?AMBULATE ?AGENT)) (agent ?STEP ?AGENT)) |
Mid-level-ontology.kif 691-697 | |
| (=> (and (instance ?AMBULATE Ambulating) (instance ?STEP Stepping) (subProcess ?STEP ?AMBULATE) (agent ?STEP ?AGENT)) (agent ?AMBULATE ?AGENT)) |
Mid-level-ontology.kif 700-706 |
| 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 660-672 |
|
|
|
|