Pushing - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Pushing,s__EnglishLanguage,'"Pushing describes the exertion of force so as to cause or tend to cause motion away from the agent."')

Mid-level-ontology.kif 15179-15180

s__instance(s__Motion,s__SetOrClass)

s__instance(s__Pushing,s__SetOrClass)

s__subclass(s__Pushing,s__Motion)

Mid-level-ontology.kif 15181-15181

Pushing is a subclass of motion

appearance as argument number 2

s__disjoint(s__Pulling,s__Pushing)	Mid-level-ontology.kif 15201-15201	Pulling is disjoint from pushing
s__termFormat(s__EnglishLanguage,s__Pushing,'"pushing"')	Mid-level-ontology.kif 15182-15182

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2572-2588	If the idle speed of an internal combustion engine is the rotation of a rotating during a time duration and an object is an instance of automobile and a process is an instance of gas pedal and the process is an instance of pushing and the process ends up at another object and the internal combustion engine is a part of the object and the other object is a part of the object and a third object is an instance of Crankshaft and the third object is a part of the internal combustion engine and the measure of the third object is the rotation of an entity during the time duration holds during the time of existence of the process, then the statement the entity is greater than the rotating has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	If an object is an instance of brake pedal and a process is an instance of pushing and another object is an instance of vehicle and the process ends up at the object and the process is located at 2 and the object is a part of the other object, then the object purpose there exist an entity and another entity such that the entity is an instance of wearing friction surface and the other entity is an instance of friction and the entity is an instrument for the other entity and the process causes the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1714-1734	If an object is an instance of lever and a process is an instance of pushing and a physical is an instance of motion and the process ends up at another object and one end of the object is the other object and one end of the object is a third object and the other object is not equal to the third object and the other object is located at the process1 holds during immediately before the time of existence of the physical and the other object is located at the process2 holds during immediately after the time of existence of the physical and the third object is located at the process3 holds during immediately before the time of existence of the physical and the third object is located at the process4 holds during immediately after the time of existence of the physical and the distance between the process1 and the process2 is a length measure and the distance between the process3 and the process4 is another length measure, then the other length measure is greater than the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15184-15199	If a time interval is an instance of pushing and the time interval originates at an object and an agent is an agent of the time interval and the agent is located at the agentLOC holds during the beginning of the time interval and the time interval ends up at another entity, then the distance between the agentLOC and the other entity is a third entity and the distance between the agentLOC and the object is a fourth entity and the fourth entity is greater than the third entity holds during immediately after the beginning of the time interval

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2554-2570	If the measure of an object is a function quantity holds during a time position and the idle speed of an internal combustion engine is the function quantity and another object is an instance of automobile and the internal combustion engine is a part of the other object and the object is a part of the internal combustion engine, then the statement there don't exist an entity and another entity such that the entity takes place during the time position and the entity is an instance of pushing and the entity ends up at the other entity and the other entity is a part of the other object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1558-1566	If a physical is an instance of BrakeCaliper, then the physical purpose there exist an entity and another entity such that the entity is an instance of pushing and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of wearing friction surface
No TPTP formula. May not be expressible in strict first order.	Cars.kif 685-691	If a physical is an instance of brake pedal, then the physical purpose there exists an entity such that the entity is an instance of pushing and the entity ends up at the physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2527-2542	If a physical is an instance of gas pedal, then the physical purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of pushing and the other entity is an instance of transfer and the third entity is an instance of fuel and the fourth entity is an instance of engine and the fifth entity is an instance of automobile and the physical is a part of the fifth entity and the fourth entity is a part of the fifth entity and the entity ends up at the physical and the other entity ends up at the fourth entity and the third entity is a patient of the other entity and the entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3817-3837	If a physical is an instance of rocker arm, then the physical purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of pushing and the other entity is an instance of cam and the third entity is an instance of pushing and the fourth entity is an instance of valve and the fifth entity is an instance of opening and the sixth entity is an instance of four stroke engine and the physical is a part of the sixth entity and the other entity is a part of the sixth entity and the fourth entity is a part of the sixth entity and the other entity is an instrument for the entity and the entity ends up at the physical and the physical is an instrument for the third entity and the third entity ends up at the fourth entity and the entity causes the third entity and the third entity causes the fifth entity and the fourth entity is a patient of the fifth entity

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: