Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Stepping
Stepping(stepping)
step, step_on, tread_on

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 is a subclass of body motion

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners