| 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 643-645 | |
| (externalImage Stepping "http://upload.wikimedia.org/wikipedia/commons/a/ ad/ Walking_Man.JPG") | pictureList.kif 2740-2740 | externalImage Stepping and "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Walking_Man.JPG" |
| (subclass Stepping BodyMotion) | Mid-level-ontology.kif 642-642 | subclass Stepping and 動作 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Stepping "stepping") | domainEnglishFormat.kif 9645-9645 | termFormat EnglishLanguage, Stepping and "stepping" |
| 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 676-689 | |
| (=> (and (instance ?AMBULATE Ambulating) (instance ?STEP Stepping) (subProcess ?STEP ?AMBULATE) (agent ?AMBULATE ?AGENT)) (agent ?STEP ?AGENT)) |
Mid-level-ontology.kif 692-698 | |
| (=> (and (instance ?AMBULATE Ambulating) (instance ?STEP Stepping) (subProcess ?STEP ?AMBULATE) (agent ?STEP ?AGENT)) (agent ?AMBULATE ?AGENT)) |
Mid-level-ontology.kif 701-707 |
| 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 661-673 |
|
|
|