Rotating - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18360-18361
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6830-6830
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7768-7768
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7769-7769
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7770-7770
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18359-18359	Rotating 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 18400-18400	Centrifugal motion is a subclass of rotating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18416-18416	Centripetal motion is a subclass of rotating
No TPTP formula. May not be expressible in strict first order.	Food.kif 3060-3060	Churning butter is a subclass of rotating
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1665-1665	Scroll wheel rotating is a subclass of rotating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18376-18376	Tremor is a subclass of rotating
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50519-50519	Tremor is a subclass of rotating
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50518-50518	Tremor is a subclass of rotating
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50517-50517	Tremor is a subclass of rotating

appearance as argument number 3

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

Cars.kif 2087-2087

The number 1 argument of rotation fn is an instance of rotating

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 617-627	If an object is an instance of brake pad and an entity is an instance of brake rotor and a process is an instance of rotating and the entity is a patient of the process and another process is an instance of friction and the object is a resource for the other process and the entity is a patient of the other process, then the object is not a patient of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 639-649	If an object is an instance of brake shoe and an entity is an instance of brake drum and a process is an instance of rotating and the entity is a patient of the process and another process is an instance of friction and the object is a resource for the other process and the entity is a patient of the other process, then the object is not a patient of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4988-5003	If an entity is an instance of ratchet and another entity is an instance of attaching device and the entityO1 is an instance of rotating and an attribute is an attribute of the entityO1 and the entityO2 is an instance of rotating and another attribute is an attribute of the entityO2 and the attribute is an instance of rotational attribute and the other attribute is an instance of rotational attribute and the entityO1 is not equal to the entityO2 and the entityO1 causes the entityO2 and ratchet is a patient of the entityO1 and the other entity is a patient of the entityO2, then the attribute is equal to the other attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18363-18374	If a process is an instance of rotating and an entity is a patient of the process, then there exists another entity such that the entity is located at the other entity holds during the beginning of the time of existence of the process and the entity is located at the other entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2098-2117	If an entity is an instance of shaft and another entity is an instance of shaft and the entity is not equal to the other entity and an engineering component is an instance of rotating and the entity is a patient of the engineering component and another engineering component is an instance of rotating and the other entity is a patient of the other engineering component and the engineering component causes the other engineering component and a third engineering component is an instance of C.V. joint and the engineering component is connected to the third engineering component and the other engineering component is connected to the third engineering component and the entity is equal to the rotation of a third entity during a fourth entity holds during the time of existence of the engineering component, then the other entity is equal to the rotation of the third entity during the fourth entity holds during the time of existence of the other engineering component
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1633-1654	If a process is an instance of tornado and another process is an instance of rotating and an object is an instance of air and the processRAN is an instance of translocation and the other process is a subprocess of the process and the processRAN is a subprocess of the other process and the object is a patient of the processRAN and entities in the process the processRAN are moving horizontal, then there exist another object, a self connected object,, , the processOP,, , a third self connected object,, , a fourth self connected object and a fifth self connected object such that the other object is an instance of geographic area and the process is located at the other object and the self connected object is a part of the object and cone segment is an attribute of the self connected object and the top of the self connected object is the processOP and the bottom of the self connected object is the third self connected object and the fourth self connected object is an instance of cloud and the bottom of the fourth self connected object is the fifth self connected object and the processOP meets the fifth self connected object and the third self connected object meets the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 349-361	If an object is an instance of crankshaft and another object is an instance of intermittent combustion engine and the other object is a part of the object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of explosion and the other entity is an instance of rotating and the object is a patient of the other entity and the other entity is located at the other object and the entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2914-2932	If an engineering component is an instance of governor and another engineering component is an instance of engine and the engineering component is connected to the other engineering component and the maximum speed allowed by the other engineering component is a real number miles per hour(s), then the engineering component has the purpose there don't exist an entity, another entity and a third entity such that the other entity is an instance of device and the other entity is a part of the other engineering component and the entity is an instance of rotating and the measure of the other entity is the third entity miles per hour(s) and the third entity is greater than the real number holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2714-2728	If an object is an instance of fan belt and another object is an instance of engine fan and a third object is an instance of automobile and the object is a part of the third object and the other object is a part of the third object and a process is an instance of motion and the object is a patient of the process, then the object has the purpose there exists the process2 such that the process2 is an instance of rotating and the process causes the process2 and the other object is a patient of the process2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4362-4375	If an object is an instance of reel and a process is an instance of keeping and another object is an instance of corpuscular object and long and thin is an attribute of the other object and pliable is an attribute of the other object and the object is an instrument for the process and the other object is a patient of the process, then there exists another process such that the other process is an instance of rotating and the object is a patient of the other process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6215-6226	If an agent is an instance of lathe and an entity is an instance of object and the agent is an instrument for a process and the entity is a patient of the process, then there exists another process such that the other process is an instance of rotating and the process is a subprocess of the other process and the entity 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.	Cars.kif 1292-1307	If a process is an instance of transportation and an object is an instance of wheel and another object is an instance of automobile and the object is a part of the other object and the other object is an instrument for the process and the other objectB is an instance of antilock brake and another process is an instance of decelerating and the other objectB is an instrument for the other process and the other objectB is a part of the object, then the other objectB has the purpose there exists an entity such that the entity is an instance of rotating and the entity takes place during the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18386-18398	If an agent is an axis of another agent, then there exists a process such that the process is an instance of rotating and the other agent is a part of the agent and the agent experiences the process and there doesn't exist the process2 such that the process2 is an instance of rotating and the process2 is a subprocess of the process and the other agent experiences the process2
No TPTP formula. May not be expressible in strict first order.	engineering.kif 865-875	If a real number is the gearRatio between a gear and another gear, then there exist the real number1 and the real number2 such that the real number1 is an instance of rotating and the gear is a patient of the real number1 and the real number2 is an instance of rotating and the other gear is a patient of the real number2 and the real number1 causes the real number2 and the real number1 is not equal to the real number2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2330-2364	If a physical is an instance of transmission, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity,, , a eighth entity,, , a ninth entity and a tenth entity such that the entity is an instance of crankshaft and the other entity is an instance of driveshaft and the third entity is an instance of automobile and the other entity is a part of the third entity and the physical is a part of the third entity and the entity is a part of the third entity and the entity is connected to the physical and the other entity is connected to the physical and the fourth entity is an instance of rotating and the sixth entity is an instance of rotating and the seventh entity is an instance of rotating and the eighth entity is an instance of rotating and the entity is a patient of the fourth entity and the entity is a patient of the sixth entity and the other entity is a patient of the seventh entity and the other entity is a patient of the eighth entity and the fourth entity causes the seventh entity and the sixth entity causes the eighth entity and the fourth entity is not equal to the sixth entity and the measure of the entity is the rotation of the fifth entity during minute duration holds during the fourth entity and the measure of the entity is the rotation of the fifth entity during minute duration holds during the sixth entity and the measure of the other entity is the rotation of the ninth entity during minute duration holds during the seventh entity and the measure of the other entity is the rotation of the tenth entity during minute duration holds during the eighth entity and the ninth entity is not equal to the tenth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1646-1652	If a physical is an instance of cam, then the physical has the purpose there exists an entity such that the entity is an instance of rotating and the physical is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1659-1665	If a physical is an instance of camshaft, then the physical has the purpose there exists an entity such that the entity is an instance of rotating and the physical is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 3065-3074	If a physical is an instance of churning butter, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of milk and the other entity is an instance of rotating and the entity is a patient of the other entity and the third entity is a result of the other entity and the third entity is an instance of butter
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18405-18414	If a process is an instance of centrifugal motion, then there exist another process, an object,, , an agent and another agent such that the other process is an instance of rotating and the agent is an axis of the object and the process originates at the object and the agent experiences the other process and the other agent experiences the process and the other process causes the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18420-18429	If a process is an instance of centripetal motion, then there exist another process, an object,, , an agent and another agent such that the other process is an instance of rotating and the agent is an axis of the object and the process ends up at the object and the agent experiences the other process and the other agent experiences the process and the other process causes the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2258-2270	If a physical is an instance of distributor, 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 fifth entity is an instance of engine and the entity is an instance of spark plug and the other entity is an instance of spark and the third entity is a part of the physical and the physical is a part of the fifth entity and the entity is a part of the fifth entity and the fourth entity is an instance of rotating and the fourth entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2309-2321	If a physical is an instance of driveshaft, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the fourth entity is an instance of automobile and the third entity is an instance of wheel and the physical is a part of the fourth entity and the third entity is a part of the fourth entity and the entity is an instance of rotating and the physical is a patient of the 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.	Mid-level-ontology.kif 4191-4199	If a physical is an instance of screwdriver, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of rotating 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 screw
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2199-2214	If a process is an instance of engine cranking, then there exist an object, another object,, , a third object,, , another process,, , a fourth object and a third process such that the object is an instance of electrical motor and the other object is an instance of internal combustion engine and the third object is an instance of shaft and the fourth object is an instance of crankshaft and the third object is a part of the object and the other process is a subprocess of the process and the other process is an instance of rotating and the third object is a patient of the other process and the third process is an instance of rotating and the fourth object is a patient of the third process and the fourth object is a part of the other object and the other process causes the third process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2223-2231	If a physical is an instance of flywheel, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of rotating and the other entity is an instance of rotating and the physical is a patient of the entity and the entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4649-4665	If a physical is an instance of four wheel drive, then the physical has the purpose for all an entity the entity is a part of the physical and there exist another entity, a third entity,, , a fourth entity and a fifth entity such that the other entity is an instance of engine and the other entity is a part of the physical and the third entity is an instance of crankshaft and the third entity is a part of the other entity and the fourth entity is an instance of rotating and the third entity is a patient of the fourth entity and the fifth entity is an instance of rotating and the entity is a patient of the fifth entity and the fourth entity causes the fifth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16132-16140	If a physical is an instance of hinge, then the physical has the purpose there exist an entity and another entity such that the physical connects the entity and the other entity and the entity is capable of doing rotating as a patient or the other entity is capable of doing rotating as a patient
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2277-2292	If a physical is an instance of pulley, then the physical has the purpose there exist the physical2, another entity,, , a third entity and a fourth entity such that the physical2 is an instance of pulley and the physical is not equal to the physical2 and the other entity is an instance of drivebelt and the third entity is an instance of rotating and the fourth entity is an instance of rotating and the physical is connected to the other entity and the physical2 is connected to the other entity and the physical is a patient of the third entity and the physical2 is a patient of the fourth entity and the third entity causes the fourth entity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1096-1098	If an object is an instance of rotor, then the object is capable of doing rotating as a instrument
No TPTP formula. May not be expressible in strict first order.	engineering.kif 907-912	If an entity is an instance of shaft, then there exists a process such that the process is an instance of rotating and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4080-4089	If a physical is an instance of tachometer, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of rotating and the third entity is a patient of the entity and the other entity is an instance of measuring and the physical is an instrument for the other entity and the third entity is a patient of the other entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: