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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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。") chinese_format.kif 3006-3007
(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 10414-10416
(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
(partition Ambulating Walking Running) Merge.kif 10412-10412 Ambulating is exhaustively partitioned into walking and running
(subclass Ambulating BodyMotion) Merge.kif 10409-10409 Ambulating is a subclass of body motion
(subclass Ambulating IntentionalProcess) Merge.kif 10410-10410 Ambulating is a subclass of intentional process
(subclass Ambulating Translocation) Merge.kif 10411-10411 Ambulating is a subclass of translocation

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


(subclass Running Ambulating) Merge.kif 10423-10423 Running is a subclass of ambulating
(subclass Walking Ambulating) Merge.kif 10418-10418 Walking is a subclass of ambulating
(termFormat ChineseLanguage Ambulating "走动") domainEnglishFormat.kif 7147-7147
(termFormat ChineseTraditionalLanguage Ambulating "走動") domainEnglishFormat.kif 7146-7146
(termFormat EnglishLanguage Ambulating "ambulating") domainEnglishFormat.kif 7145-7145

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 ?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 16748-16752
(=>
    (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
(=>
    (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 ?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 977-988


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