Ambulating - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3006-3007
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11206-11208
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1769-1770
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1026-1026
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11204-11204	Ambulating is exhaustively partitioned into walking and running
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11201-11201	Ambulating is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11202-11202	Ambulating is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11203-11203	Ambulating is a subclass of translocation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11215-11215	Running is a subclass of ambulating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11210-11210	Walking is a subclass of ambulating
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7147-7147	Walking is a subclass of ambulating
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7146-7146	Walking is a subclass of ambulating
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7145-7145	Walking is a subclass of ambulating

antecedent

No TPTP formula. May not be expressible in strict first order.	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 the other processSTART is equal to the beginning of the time of existence of the other process and the third processSTART is equal to 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 the other process is equal to the third process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4477-4493	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 the entity is not equal to 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18167-18171	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 480-492	If a process is an instance of ambulating and a time interval is equal to 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 the other process is not equal to the third process
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.

Music.kif 986-996

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