Ambulating - Sigma Knowledge base Browser

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 11303-11305
(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 11301-11301	Ambulating is exhaustively partitioned into walking and running
(subclass Ambulating BodyMotion)	Merge.kif 11298-11298	Ambulating is a subclass of body motion
(subclass Ambulating IntentionalProcess)	Merge.kif 11299-11299	Ambulating is a subclass of intentional process
(subclass Ambulating Translocation)	Merge.kif 11300-11300	Ambulating is a subclass of translocation

appearance as argument number 2

(subclass Running Ambulating)	Merge.kif 11312-11312	Running is a subclass of ambulating
(subclass Walking Ambulating)	Merge.kif 11307-11307	Walking is a subclass of ambulating
(termFormat ChineseLanguage Ambulating "走动")	domainEnglishFormat.kif 7141-7141	Walking is a subclass of ambulating
(termFormat ChineseTraditionalLanguage Ambulating "走動")	domainEnglishFormat.kif 7140-7140	Walking is a subclass of ambulating
(termFormat EnglishLanguage Ambulating "ambulating")	domainEnglishFormat.kif 7139-7139	Walking is a subclass of ambulating

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	If a process is an instance of ambulating and another process is a subprocess of the process and the other process is an instance of stepping and a third process is a subprocess of the process and the third process is an instance of stepping and equal the other processSTART and the beginning of the time of existence of the other process and equal the third processSTART and the beginning of the time of existence of the third process and the other processSTART happens before the third processSTART and the third processSTART happens before the other processSTART, then equal the other process and the third process
(=> (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 4854-4870	If an agent is an instance of biped and a process is an instance of ambulating and the agent is an agent of the process, then the statement there exist an entity and another entity such that the entity is an instance of leg and the other entity is an instance of leg and equal the entity and the other entity and the entity is a part of the agent and the other entity is a part of the agent and the entity is an instrument for the process and the other entity is an instrument for the process has the modal force of likely
(=> (and (instance ?AMBULATE Ambulating) (agent ?AMBULATE ?AGENT)) (attribute ?AGENT Standing))	Merge.kif 18271-18275	If a process is an instance of ambulating and an agent is an agent of the process, then standing is an attribute of the agent
(=> (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	If a process is an instance of ambulating and equal a time interval and the time of existence of the process, then there exist another process and a third process such that the other process is an instance of stepping and the third process is an instance of stepping and the other process is a subprocess of the process and the third process is a subprocess of the process and the time of existence of the other process starts the time interval and the time of existence of the third process finishes the time interval and equal the other process and the third process
(=> (and (instance ?AMBULATE Ambulating) (instance ?STEP Stepping) (subProcess ?STEP ?AMBULATE) (agent ?AMBULATE ?AGENT)) (agent ?STEP ?AGENT))	Mid-level-ontology.kif 509-515	If a process is an instance of ambulating and another process is an instance of stepping and the other process is a subprocess of the process and an agent is an agent of the process, then the agent is an agent of the other process
(=> (and (instance ?AMBULATE Ambulating) (instance ?STEP Stepping) (subProcess ?STEP ?AMBULATE) (agent ?STEP ?AGENT)) (agent ?AMBULATE ?AGENT))	Mid-level-ontology.kif 517-523	If a process is an instance of ambulating and another process is an instance of stepping and the other process is a subprocess of the process and an agent is an agent of the other process, then the agent is an agent of the process

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 988-998

If an agent is an instance of marching band and a process is an instance of musical performance and the agent is an agent of the process and an object is an instance of outdoors and the process is located at the object,
then there exists another process such that the other process is an instance of ambulating and the other process is a subprocess of the process

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

KB Term:			Term intersection

English Word: