Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Stepping BodyMotion) Mid-level-ontology.kif 465-465 Stepping is a subclass of body motion
(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 466-468 Stepping is a subclass of body motion
(externalImage Stepping "http://upload.wikimedia.org/wikipedia/commons/a/ ad/ Walking_Man.JPG") pictureList.kif 2738-2738 Stepping is a subclass of body motion

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Stepping "stepping") domainEnglishFormat.kif 55321-55321
(termFormat ChineseTraditionalLanguage Stepping "步進") domainEnglishFormat.kif 55322-55322
(termFormat ChineseLanguage Stepping "步进") domainEnglishFormat.kif 55323-55323

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 484-497 If All of the following hold: (1) X is an instance of ambulating (2) Y is a subprocess of X (3) Y is an instance of stepping (4) Z is a subprocess of X (5) Z is an instance of stepping (6) equal W and the beginning of the time of existence of Y (7) equal V and the beginning of the time of existence of Z (8) ~{ W happens before V } and ~{ V happens before W }, then equal Y and Z
(=>
    (and
        (instance ?AMBULATE Ambulating)
        (instance ?STEP Stepping)
        (subProcess ?STEP ?AMBULATE)
        (agent ?AMBULATE ?AGENT))
    (agent ?STEP ?AGENT))		 Mid-level-ontology.kif 499-505 If X is an instance of ambulating, Y is an instance of stepping, Y is a subprocess of X, and Z is an agent of X, then Z is an agent of Y
(=>
    (and
        (instance ?AMBULATE Ambulating)
        (instance ?STEP Stepping)
        (subProcess ?STEP ?AMBULATE)
        (agent ?STEP ?AGENT))
    (agent ?AMBULATE ?AGENT))		 Mid-level-ontology.kif 507-513 If X is an instance of ambulating, Y is an instance of stepping, Y is a subprocess of X, and Z is an agent of Y, then Z is an agent of X

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 470-482 If X is an instance of ambulating and equal Y and the time of existence of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of stepping (3) W is an instance of stepping (4) Z is a subprocess of X (5) W is a subprocess of X (6) the time of existence of Z starts Y (7) the time of existence of W finishes Y (8) equal Z (9) W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners