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

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


s__documentation(s__Ambulating,s__ChineseLanguage,'"这是 Animal 为了从一点移动到另一点用脚完成的任何 BodyMotion。"')

chinese_format.kif 3006-3007
s__documentation(s__Ambulating,s__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
s__externalImage(s__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
s__partition__3(s__Ambulating,s__Walking,s__Running)

Merge.kif 10698-10698 Ambulating is exhaustively partitioned into walking and running
s__subclass(s__Ambulating,s__BodyMotion)

s__instance(s__Ambulating,s__SetOrClass)

s__instance(s__BodyMotion,s__SetOrClass)

Merge.kif 10695-10695 Ambulating is a subclass of body motion
s__instance(s__Ambulating,s__SetOrClass)

s__subclass(s__Ambulating,s__IntentionalProcess)

s__instance(s__IntentionalProcess,s__SetOrClass)

Merge.kif 10696-10696 Ambulating is a subclass of intentional process
s__instance(s__Ambulating,s__SetOrClass)

s__instance(s__Translocation,s__SetOrClass)

s__subclass(s__Ambulating,s__Translocation)

Merge.kif 10697-10697 Ambulating is a subclass of translocation

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


s__instance(s__Running,s__SetOrClass)

s__instance(s__Ambulating,s__SetOrClass)

s__subclass(s__Running,s__Ambulating)

Merge.kif 10709-10709 Running is a subclass of ambulating
s__instance(s__Ambulating,s__SetOrClass)

s__subclass(s__Walking,s__Ambulating)

s__instance(s__Walking,s__SetOrClass)

Merge.kif 10704-10704 Walking is a subclass of ambulating
s__termFormat(s__ChineseLanguage,s__Ambulating,'"走动"')

domainEnglishFormat.kif 7149-7149
s__termFormat(s__ChineseTraditionalLanguage,s__Ambulating,'"走動"')

domainEnglishFormat.kif 7148-7148
s__termFormat(s__EnglishLanguage,s__Ambulating,'"ambulating"')

domainEnglishFormat.kif 7147-7147

antecedent
-------------------------


( ! [V__S1START,V__A,V__S1,V__S2START,V__S2] :
   (((s__instance(V__S1START,s__TimePoint) &
         s__instance(V__S2START,s__TimePoint))
       =>
       (((s__instance(V__A,s__Ambulating) &
             s__subProcess(V__S1,V__A)
           &
           s__instance(V__S1,s__Stepping) &
           s__subProcess(V__S2,V__A)
         &
         s__instance(V__S2,s__Stepping) &
         (V__S1START = s__BeginFn(s__WhenFn(V__S1)))
     &
     (V__S2START = s__BeginFn(s__WhenFn(V__S2)))
&
~((s__before(V__S1START,V__S2START)
   |
   s__before(V__S2START,V__S1START))))
=>
((V__S1 = V__S2)))))
)
)

Mid-level-ontology.kif 472-485
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4284-4298
( ! [V__AGENT,V__AMBULATE] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__AMBULATE,s__Ambulating) &
             s__agent(V__AMBULATE,V__AGENT))
         =>
         (s__attribute(V__AGENT,s__Standing)))))
   )
)

Merge.kif 17344-17348
( ! [V__AMBULATE,V__DURATION] :
   ((s__instance(V__DURATION,s__TimeInterval) =>
       (((s__instance(V__AMBULATE,s__Ambulating) &
             (V__DURATION = s__WhenFn(V__AMBULATE)))
         =>
         (( ? [V__STEP1, V__STEPN] :
             ((s__instance(V__STEP1,s__Stepping) &
                 s__instance(V__STEPN,s__Stepping) &
                 s__subProcess(V__STEP1,V__AMBULATE)
               &
               s__subProcess(V__STEPN,V__AMBULATE)
             &
             s__starts(s__WhenFn(V__STEP1)
          ,V__DURATION)
         &
         s__finishes(s__WhenFn(V__STEPN)
      ,V__DURATION)
     &
     ~((V__STEP1 = V__STEPN)))))))))
)
)

Mid-level-ontology.kif 458-470
( ! [V__AGENT,V__AMBULATE,V__STEP] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__AMBULATE,s__Ambulating) &
             s__instance(V__STEP,s__Stepping) &
             s__subProcess(V__STEP,V__AMBULATE)
           &
           s__agent(V__AMBULATE,V__AGENT))
       =>
       (s__agent(V__STEP,V__AGENT)))))
)
)

Mid-level-ontology.kif 487-493
( ! [V__AGENT,V__AMBULATE,V__STEP] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__AMBULATE,s__Ambulating) &
             s__instance(V__STEP,s__Stepping) &
             s__subProcess(V__STEP,V__AMBULATE)
           &
           s__agent(V__STEP,V__AGENT))
       =>
       (s__agent(V__AMBULATE,V__AGENT)))))
)
)

Mid-level-ontology.kif 495-501

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


( ! [V__MP,V__OD,V__GRP] :
   (((s__instance(V__GRP,s__MarchingBand) &
         s__instance(V__MP,s__MusicalPerformance) &
         s__agent(V__MP,V__GRP))
     =>
     ((s__instance(V__OD,s__Outdoors) &
         s__eventLocated(V__MP,V__OD)
       &
       ( ? [V__AMB] :
         ((s__instance(V__AMB,s__Ambulating) &
             s__subProcess(V__AMB,V__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