TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3002-3003
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10972-10973
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1053-1053
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10970-10970	Body motion is a subclass of motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11014-11014	Ambulating is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11036-11036	Chewing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4275-4275	Crawling is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11059-11059	Dancing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19346-19346	Dismounting is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 438-438	Dodging is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12584-12584	Ducking is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1358-1358	Emotional bodily movement behavior is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10131-10131	Extension is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19286-19286	Eye motion is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10107-10107	Flexion is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12852-12852	Gesture is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10223-10223	HeartBeat is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12560-12560	Inclining is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 978-978	Indicating is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 536-536	Jumping is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19232-19232	KneelingDown is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19207-19207	Lying down is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 458-458	Mounting is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10062-10062	MuscleRelaxing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10040-10040	MuscularContraction is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5402-5402	Scratching is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19316-19316	Shrugging is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19252-19252	Sitting down is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 550-550	Somersaulting is a subclass of body motion

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10089-10105	If an object is an instance of BodySegment and another object is an instance of BodySegment and the object is connected to the other object and a motion is an instance of body motion and the object moves during the motion, then the statement there doesn't exist the motion2 such that the motion2 is an instance of body motion and the other object moves during the motion2 and the time of existence of the motion2 takes place during the time of existence of the motion has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9935-9941	If an object is an instance of muscle and a process is an instance of body motion and the object is an instrument for the process and the process is an instance of intentional process, then the object is an instance of VoluntaryMuscle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10986-10992	If a motion is an instance of body motion and an object moves during the motion, then the object is an instance of body part and the object is a patient of the motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7850-7864	If a process is an instance of recreation or exercise and the processM is an instrument for the process and the processM is an instance of ergometer and an agent experiences the process and the processOW is an instance of rowing and the processMOT is a subprocess of the process and a class is a subclass of body motion and the processMOT is an instance of the class, then there exists the processOWMOT such that the processOWMOT is an instance of the class and the processOWMOT is a subprocess of the process and the agent is an agent of the processOWMOT
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10995-11000	If a process is an instance of body motion, then there exists an agent such that the agent is an instance of organism and the agent is an agent of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29644-29655	If an agent is an instance of agent and Motionless is an attribute of the agent holds during a time interval, then there doesn't exist a process such that the process is an instance of body motion and the process is an instance of intentional process and the agent is an agent of the process and the time of existence of the process takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10089-10105	If an object is an instance of BodySegment and another object is an instance of BodySegment and the object is connected to the other object and a motion is an instance of body motion and the object moves during the motion, then the statement there doesn't exist the motion2 such that the motion2 is an instance of body motion and the other object moves during the motion2 and the time of existence of the motion2 takes place during the time of existence of the motion has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1202-1212	If a process is an instance of pressing lips together and an agent is an agent of the process, then there exist an object and another process such that the object is an instance of lip and the object is a part of the agent and the other process is an instance of body motion and the object is a patient of the other process and the agent is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1523-1533	If a process is an instance of staying still and an agent experiences the process, then there don't exist another process and a third process such that the other process is an instance of body motion and the third process is an instance of translocation and the other process causes the third process and the agent is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6006-6019	If paralysis of the a body part is an attribute of an agent, then there exists an object such that the object is an instance of muscle and the object is a part of the body part and the body part is a part of the agent and there doesn't exist a process such that the process is an instance of body motion and the agent is an agent of the process and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5985-5996	If paralysis is an attribute of an agent, then there exists an object such that the object is an instance of muscle and the object is a part of the agent and there doesn't exist a process such that the process is an instance of body motion and the agent is an agent of the process and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17791-17801	If an agent is an instance of animal, then there exists a process such that the process is an instance of body motion and the agent is an agent of the process or there exists an attribute such that the attribute is an instance of body position and the attribute is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11645-11658	If a physical is an instance of eyelid, then the physical has the purpose there exist the physicalYE, another entity and a third entity such that the third entity is an instance of covering and the third entity is an instance of body motion and the other entity is an instance of human and the other entity experiences the third entity and the physical is an instrument for the third entity and the physicalYE is a patient of the third entity and the physicalYE is an instance of eye and the physicalYE is a part of the other entity and the physical is a part of the other entity

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

KB Term:			Term intersection

English Word: