moves - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - moves

moves

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2991-2993
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11105-11108
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1751-1753
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11102-11102	The number 1 argument of moves is an instance of motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11103-11103	The number 2 argument of moves is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11100-11100	moves is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11101-11101	moves is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11110-11110	moves is a subrelation of involved in event

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 682-682
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11123-11123	changes location is a subrelation of moves
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39055-39055	changes location is a subrelation of moves
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39054-39054	changes location is a subrelation of moves
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39053-39053	changes location is a subrelation of moves

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12034-12045	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of extension and a kind of muscleC is an instrument for the motion and another kind of muscleC moves during the motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of animal, then the other kind of muscleC is capable of doing flexion as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12021-12032	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of flexion and a kind of muscleC is an instrument for the motion and another kind of muscleC moves during the motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of animal, then the other kind of muscleC is capable of doing extension as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11186-11208	If an object is an instance of antacid and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and another object is an instance of stomach and the other object is a part of the agent and the other object contains a third object and the third object is an instance of fluid holds during immediately before the time of existence of the motion and the other object contains a fourth object and the fourth object is an instance of fluid holds during immediately after the time of existence of the motion and pH measure the third object and a real number and pH measure the fourth object and another real number, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11247-11269	If an object is an instance of PPI and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and another object is an instance of stomach and the other object is a part of the agent and the other object contains a third object and the third object is an instance of fluid holds during immediately before the time of existence of the motion and the other object contains a fourth object and the fourth object is an instance of fluid holds during immediately after the time of existence of the motion and pH measure the third object and a real number and pH measure the fourth object and another real number, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11926-11942	If an object is an instance of body segment and another object is an instance of body segment 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.	Medicine.kif 3957-3967	If a motion is an instance of muscular contraction and an object moves during the motion and the object is an instance of voluntary muscle or the object is an instance of heart muscle, then there exists another object such that the other object is an instance of troponin and the other object is a resource for the motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11402-11425	If an object is an instance of antidiuretic and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and a time interval is an instance of urination and an entity is a result of the time interval and the agent is an agent of the time interval and another time interval is an instance of urination and the time interval is not equal to the other time interval and another entity is a result of the other time interval and the agent is an agent of the other time interval and the time interval happens earlier than the motion and the motion happens earlier than the other time interval and an unit of measure is an instance of unit of volume and the measure of the time interval is a real number the unit of measure(s) and the measure of the other time interval is another real number the unit of measure(s), then the statement the real number is greater than the other real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11372-11393	If an object is an instance of diuretic and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and a time interval is an instance of urination and an entity is a result of the time interval and the agent is an agent of the time interval and another time interval is an instance of urination and another entity is a result of the other time interval and the agent is an agent of the other time interval and the time interval happens earlier than the motion and the motion happens earlier than the other time interval and an unit of measure is an instance of unit of volume and the measure of the time interval is a real number the unit of measure(s) and the measure of the other time interval is another real number the unit of measure(s), then the statement the other real number is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11996-12006	If a motion is an instance of extension and an object moves during the motion, then there exist another object and the other objectC such that the other object is an instance of muscle and the other objectC is an instance of muscular contraction and the other object is an instrument for the motion and the other object is connected to the object and the other objectC is a subprocess of the motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11983-11994	If a motion is an instance of flexion and an agent is an agent of the motion and an object moves during the motion, then there doesn't exist another motion such that the other motion is an instance of extension and the time of existence of the other motion is equal to the time of existence of the motion and the agent is an agent of the other motion and the object moves during the other motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11956-11966	If a motion is an instance of flexion and an object moves during the motion, then there exist another object and the other objectC such that the other object is an instance of muscle and the other objectC is an instance of muscular contraction and the other object is an instrument for the motion and the other object is connected to the object and the other objectC is a subprocess of the motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11233-11239	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.	Merge.kif 11175-11180	If a motion is an instance of motion and an object moves during the motion and the motion ends up at an entity, then the object is located at the entity holds during the end of the time of existence of the motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11159-11164	If a motion is an instance of motion and an object moves during the motion and the motion originates at another object, then the object is located at the other object holds during the beginning of the time of existence of the motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9824-9834	If an object is an instance of poison and a motion is an instance of ingesting and the object moves during the motion and an agent experiences the motion, then there exists a process such that the process is an instance of damaging and the agent experiences the process and the motion causes the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9848-9859	If an object is an instance of poison and a motion is an instance of ingesting and the object moves during the motion and an agent experiences the motion, then the statement blindness is an attribute of the agent holds during after the time of existence of the motion has the modal force of possibility

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11926-11942	If an object is an instance of body segment and another object is an instance of body segment 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 11311-11323	If a process is an instance of swelling and an agent experiences the process, then there exist a motion, an object and another object such that the motion is an instance of transfer and the other object is an instance of liquid and the object is an instance of body part and the object is a part of the agent and the motion ends up at the object and the other object moves during the motion and the motion is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11983-11994	If a motion is an instance of flexion and an agent is an agent of the motion and an object moves during the motion, then there doesn't exist another motion such that the other motion is an instance of extension and the time of existence of the other motion is equal to the time of existence of the motion and the agent is an agent of the other motion and the object moves during the other motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6803-6815	If a process is an instance of infecting and an agent experiences the process, then there exist a motion, another process and another agent such that the motion is an instance of translocation and the other agent moves during the motion and the other agent is an instance of organism and the other process is an instance of replication and the other agent experiences the other process and the motion is a subprocess of the process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33488-33508	If a motion is an instance of moving away from and an object is an instance of object and an entity is an instance of object and the object is a patient of the motion and the entity is a patient of the motion, then there exist the entity, a real number,, , another real number and another entity such that the real number is an instance of real number and the other real number is an instance of real number and the object moves during the motion and the distance between the object and the entity is the real number the other entity(s) holds during the beginning of the time of existence of the motion and the distance between the object and the entity is the other real number the other entity(s) holds during the end of the time of existence of the motion and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33515-33535	If a motion is an instance of moving towards and an object is an instance of object and an entity is an instance of object and the entity is a patient of the motion and the object is a patient of the motion, then there exist the entity, a real number and another real number such that the real number is an instance of real number and the other real number is an instance of real number and the object moves during the motion and the distance between the object and the entity is the real number another entity(s) holds during the beginning of the time of existence of the motion and the distance between the object and the entity is the other real number the other entity(s) holds during the end of the time of existence of the motion and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 2049-2064	If a motion is an instance of abducting, then there exist an object, another object,, , a third object and a process such that the object is an instance of body part and the other object is an instance of organism and the third object is an instance of torso and the object is not equal to the third object and the process is a subprocess of moving away from and the object is a patient of the process and the third object is a patient of the process and the object is a part of the other object and the third object is a part of the other object and organism experiences the motion and the object moves during the motion
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 2073-2089	If a motion is an instance of adducting, then there exist an object, another object,, , a third object and a process such that the object is an instance of body part and the other object is an instance of organism and the third object is an instance of torso and the object is not equal to the third object and the process is an instance of moving towards and the process is a subprocess of the motion and the object is a patient of the process and the third object is a patient of the process and the object is a part of the other object and the third object is a part of the other object and organism experiences the motion and the object moves during the motion
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 480-492	If a motion is an instance of blood circulation, then there exist an object, another object,, , a third object and a fourth object such that the object is an instance of animal and the fourth object is an instance of blood and the fourth object moves during the motion and the third object is an instance of artery and the other object is an instance of vein and the third object is a part of the object and the other object is a part of the object and the third object is path along which the motion occurs and the other object is path along which the motion occurs
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 538-554	If a physical is an instance of cannula, then the physical has the purpose there exist an entity, another entity,, , the other entityBJ and a fourth entity such that the other entity is an instance of organism and the entity is an instance of motion and the other entityBJ moves during the entity and the fourth entity is outside to the other entity and the physical is path along which the entity occurs and the entity originates at the fourth entity and the entity ends up at the other entity or the entity originates at the other entity and the entity ends up at the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11357-11370	If a physical is an instance of diuretic, then the physical has the purpose there exist an entity, another entity,, , a third entity and the other entityOC such that the third entity is an instance of human and the entity is an instance of removing and the other entity is an instance of liquid and the third entity experiences the entity and the other entity moves during the entity and the other entity originates at the third entity and the third entity doesn't contain the other entityOC and the entity ends up at the other entityOC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4168-4170	If an object is an instance of furniture, then the object is capable of doing translocation as a moves
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12091-12100	If a physical is an instance of heart, then the physical has the purpose there exist an entity, the physicalB and a third entity such that the physicalB is an instance of heart beat and the entity is an instance of liquid motion and the third entity is an instance of blood and the third entity moves during the entity and the physicalB causes the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11141-11146	If a motion is an instance of motion, then there exists an object such that the object is an instance of object and the object moves during the motion

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