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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ambulating
  Entity

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 11177-11179
(documentation Ambulating JapaneseLanguage "ある所から別の所に移動する目的で Animal の脚に よって達成される任意の BodyMotion。") japanese_format.kif 1769-1770
(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 1026-1026
(partition Ambulating Walking Running) Merge.kif 11175-11175 O conceito Ambulating e' completamente decomposto em Andar + Running
(subclass Ambulating BodyMotion) Merge.kif 11172-11172 Ambulating e' uma sub-classe de Movimento do Corpo
(subclass Ambulating IntentionalProcess) Merge.kif 11173-11173 Ambulating e' uma sub-classe de Processo Intencional
(subclass Ambulating Translocation) Merge.kif 11174-11174 Ambulating e' uma sub-classe de Translocation

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


(subclass Running Ambulating) Merge.kif 11186-11186 Running e' uma sub-classe de Ambulating
(subclass Walking Ambulating) Merge.kif 11181-11181 Andar e' uma sub-classe de Ambulating
(termFormat ChineseLanguage Ambulating "走动") domainEnglishFormat.kif 7140-7140
(termFormat ChineseTraditionalLanguage Ambulating "走動") domainEnglishFormat.kif 7139-7139
(termFormat EnglishLanguage Ambulating "ambulating") domainEnglishFormat.kif 7138-7138

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 494-507
(=>
    (and
        (instance ?A Biped)
        (instance ?W Ambulating)
        (agent ?W ?A))
    (modalAttribute
        (exists (?L1 ?L2)
            (and
                (instance ?L1 Leg)
                (instance ?L2 Leg)
                (not
                    (equal ?L1 ?L2))
                (part ?L1 ?A)
                (part ?L2 ?A)
                (instrument ?W ?L1)
                (instrument ?W ?L2))) Likely))
Mid-level-ontology.kif 4404-4420
(=>
    (and
        (instance ?AMBULATE Ambulating)
        (agent ?AMBULATE ?AGENT))
    (attribute ?AGENT Standing))
Merge.kif 18142-18146
(=>
    (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 480-492
(=>
    (and
        (instance ?AMBULATE Ambulating)
        (instance ?STEP Stepping)
        (subProcess ?STEP ?AMBULATE)
        (agent ?AMBULATE ?AGENT))
    (agent ?STEP ?AGENT))
Mid-level-ontology.kif 509-515
(=>
    (and
        (instance ?AMBULATE Ambulating)
        (instance ?STEP Stepping)
        (subProcess ?STEP ?AMBULATE)
        (agent ?STEP ?AGENT))
    (agent ?AMBULATE ?AGENT))
Mid-level-ontology.kif 517-523

consequent
-------------------------


(=>
    (and
        (instance ?GRP MarchingBand)
        (instance ?MP MusicalPerformance)
        (agent ?MP ?GRP)
        (instance ?OD Outdoors)
        (eventLocated ?MP ?OD))
    (exists (?AMB)
        (and
            (instance ?AMB Ambulating)
            (subProcess ?AMB ?MP))))
Music.kif 986-996


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