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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ambulating

Sigma KEE - Ambulating
Ambulating

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 10700-10702
(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 10698-10698
(subclass Ambulating BodyMotion) Merge.kif 10695-10695
(subclass Ambulating IntentionalProcess) Merge.kif 10696-10696
(subclass Ambulating Translocation) Merge.kif 10697-10697

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


(subclass Running Ambulating) Merge.kif 10709-10709
(subclass Walking Ambulating) Merge.kif 10704-10704
(termFormat ChineseLanguage Ambulating "走动") domainEnglishFormat.kif 7149-7149
(termFormat ChineseTraditionalLanguage Ambulating "走動") domainEnglishFormat.kif 7148-7148
(termFormat EnglishLanguage Ambulating "ambulating") domainEnglishFormat.kif 7147-7147

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 472-485
(=>
    (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 4284-4298
(=>
    (and
        (instance ?AMBULATE Ambulating)
        (agent ?AMBULATE ?AGENT))
    (attribute ?AGENT Standing))
Merge.kif 17344-17348
(=>
    (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 458-470
(=>
    (and
        (instance ?AMBULATE Ambulating)
        (instance ?STEP Stepping)
        (subProcess ?STEP ?AMBULATE)
        (agent ?AMBULATE ?AGENT))
    (agent ?STEP ?AGENT))
Mid-level-ontology.kif 487-493
(=>
    (and
        (instance ?AMBULATE Ambulating)
        (instance ?STEP Stepping)
        (subProcess ?STEP ?AMBULATE)
        (agent ?STEP ?AGENT))
    (agent ?AMBULATE ?AGENT))
Mid-level-ontology.kif 495-501

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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