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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ambulating
Ambulating(ambulating)
ambulating, canter, crawl, creep, formicate, gallop, pace, prance, scramble, sway, swing, 走动, 走動

VerbNet: run-51.3.2|canter, run-51.3.2|creep, run-51.3.2|creep, run-51.3.2|gallop, run-51.3.2|pace, run-51.3.2|scramble, body_internal_motion-49|sway, body_internal_motion-49|sway,


appearance as argument number 1
-------------------------


(documentation Ambulating ChineseLanguage "这是 Animal 为了从一点移动到另一点用脚完成的任何 BodyMotion。") Merge.kif 15224-15225
(documentation Ambulating EnglishLanguage "Any BodyMotion which is accomplished by means of the legs of an Animal for the purpose of moving from one point to another.") Merge.kif 15220-15222
(documentation Ambulating JapaneseLanguage "ある所から別の所に移動する目的で Animal の脚に よって達成される任意の BodyMotion。") Merge.kif 15227-15228
(externalImage Ambulating "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1e/ 2005_World_Championships_in_Athletics_4.jpg.JPG/ 180px-2005_World_Championships_in_Athletics_4.jpg.JPG") pictureList.kif 1027-1027 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1e/ 2005_World_Championships_in_Athletics_4.jpg.JPG/ 180px-2005_World_Championships_in_Athletics_4.jpg.JPG" is a URL depicting ambulating
(partition Ambulating Walking Running) Merge.kif 15218-15218 Ambulating is exhaustively partitioned into walking and running
(subclass Ambulating BodyMotion) Merge.kif 15215-15215 Ambulating is a subclass of body motion
(subclass Ambulating IntentionalProcess) Merge.kif 15216-15216 Ambulating is a subclass of intentional process
(subclass Ambulating Translocation) Merge.kif 15217-15217 Ambulating is a subclass of translocation

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


(subclass Running Ambulating) Merge.kif 15241-15241 Running is a subclass of ambulating
(subclass Walking Ambulating) Merge.kif 15230-15230 Walking is a subclass of ambulating
(termFormat ChineseLanguage Ambulating "走动") domainEnglishFormat.kif 7147-7147 "走动" is the printable form of ambulating in ChineseLanguage
(termFormat ChineseTraditionalLanguage Ambulating "走動") domainEnglishFormat.kif 7146-7146 "走動" is the printable form of ambulating in ChineseTraditionalLanguage
(termFormat EnglishLanguage Ambulating "ambulating") domainEnglishFormat.kif 7145-7145 "ambulating" is the printable form of ambulating in english language

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 ?A Biped)
        (instance ?W Ambulating)
        (agent ?W ?A))
    (modalAttribute
        (exists (?L1 ?L2)
            (and
                (instance ?L1 Leg)
                (instance ?L2 Leg)
                (part ?L1 ?A)
                (part ?L2 ?A)
                (instrument ?W ?L1)
                (instrument ?W ?L2))) Likely))
Mid-level-ontology.kif 4885-4899
(=>
    (and
        (instance ?AMBULATE Ambulating)
        (agent ?AMBULATE ?AGENT))
    (attribute ?AGENT Standing))
Merge.kif 22839-22843
(=>
    (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
(=>
    (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 ?GRP MarchingBand)
        (instance ?MP MusicalPerformance)
        (agent ?MP ?GRP))
    (and
        (instance ?OD Outdoors)
        (eventLocated ?MP ?OD)
        (exists (?AMB)
            (and
                (instance ?AMB Ambulating)
                (subProcess ?AMB ?MP)))))
Music.kif 983-994


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners