Pushing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Pushing

Pushing(pushing)

force, jam, jostle, nose, nudge, obtrude, poke_at, press, pressing, pressure, prod, push, push_aside, push_away, push_out, push_up, shove, thrust_out

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19162-19163
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19164-19164	Pushing is a subclass of motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19187-19187	Pulling is disjoint from pushing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19165-19165	Pulling is disjoint from pushing

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2569-2587	If the idle speed of an internal combustion engine is the rotation of a real number miles per hour(s) 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 miles per hour(s) during the time duration holds during the time of existence of the process, then the statement the entity is greater than the real number 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 the other object and the object is a part of the other object, then the object has the 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 1549-1572	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 an unit of measure is an instance of unit of length 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 equal the other object and 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 real number the unit of measure(s) and the distance between the process3 and the process4 is another real number the unit of measure(s), 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 19167-19185	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 there exist a third entity, a fourth entity and a fifth entity such that the distance between the agentLOC and the other entity is the fifth entity the fourth entity(s) and the distance between the agentLOC and the object is the third entity the fourth entity(s) and the third entity is greater than the fifth 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 2551-2567	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.	Mid-level-ontology.kif 10473-10494	If equal the per of a real number kilogram force(s) and another real number square millimeter(s) Vickers pyramid number(s) and The Vickers Hardness of a kind of substance is, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of a kind of substance and the other entity is an instance of pushing and the other entity ends up at the entity and the third entity is an instance of diamond and the third entity is square pyramid and the third entity is a patient of the other entity and the fourth entity is a result of the other entity and the fourth entity is an instance of hole and the fourth entity is a part of the entity and the fifth entity is a surface of the fourth entity and the other real number square millimeter(s) is a total area of the fifth entity and the measure of the other entity is the real number kilogram force(s) has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10397-10420	If equal a real number pound force(s) and The Janka Hardness of a kind of botanical tree is, then the statement 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 a kind of botanical tree and the other entity is a part of the entity and the other entity is an instance of wood and the third entity is an instance of pushing and the third entity ends up at the other entity and the fourth entity is an instance of ball and steel is made of the fourth entity and the fourth entity is a patient of the third entity and the radius of the fourth entity is 5.64 millimeter(s) and the fifth entity is a result of the third entity and the fifth entity is an instance of hole and the fifth entity is a part of the other entity and the sixth entity is a surface of the other entity and the distance between the sixth entity and the fifth entity is 5.64 millimeter(s) and the measure of the third entity is the real number pound force(s) has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1568-1576	If a physical is an instance of brake caliper, then the physical has the 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 has the 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 2524-2539	If a physical is an instance of gas pedal, then the physical has the 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 3905-3925	If a physical is an instance of rocker arm, then the physical has the 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 3.0 is open source software produced by Articulate Software and its partners