Rotating - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Rotating EnglishLanguage "Motion that begins and ends at the same point, because the trajectory of the Motion is circular.")	Mid-level-ontology.kif 15029-15030
(externalImage Rotating "http://upload.wikimedia.org/wikipedia/commons/0/ 02/ Rotating_Sphere.gif")	pictureList.kif 6832-6832
(externalImage Rotating "http://upload.wikimedia.org/wikipedia/commons/4/ 49/ Rotation_illustration.png")	pictureList.kif 7771-7771
(externalImage Rotating "http://upload.wikimedia.org/wikipedia/commons/5/ 54/ Flight_dynamics_with_text.png")	pictureList.kif 7772-7772
(externalImage Rotating "http://upload.wikimedia.org/wikipedia/commons/6/ 61/ AxialTiltObliquity.png")	pictureList.kif 7773-7773
(subclass Rotating Motion)	Mid-level-ontology.kif 15028-15028	subclass Rotating and Motion

appearance as argument number 2

(subclass CentrifugalMotion Rotating)	Mid-level-ontology.kif 15069-15069	subclass CentrifugalMotion and Rotating
(subclass CentripetalMotion Rotating)	Mid-level-ontology.kif 15084-15084	subclass CentripetalMotion and Rotating
(subclass ScrollWheelRotating Rotating)	ComputerInput.kif 1680-1680	subclass ScrollWheelRotating and Rotating
(subclass Tremor Rotating)	Mid-level-ontology.kif 15045-15045	subclass Tremor and Rotating
(termFormat ChineseLanguage Rotating "旋转")	domainEnglishFormat.kif 50414-50414
(termFormat ChineseTraditionalLanguage Rotating "旋轉")	domainEnglishFormat.kif 50413-50413
(termFormat EnglishLanguage Rotating "rotating")	domainEnglishFormat.kif 50412-50412

appearance as argument number 3

(domain RotationFn 1 Rotating)

Cars.kif 2090-2090

domain RotationFn, 1 and Rotating

antecedent

(=> (and (instance ?BP BrakePad) (instance ?BR BrakeRotor) (instance ?R Rotating) (patient ?R ?BR) (instance ?F Friction) (resource ?F ?BP) (patient ?F ?BR)) (not (patient ?R ?BP)))	Cars.kif 617-627	instance Object and BrakePad instance Entity and BrakeRotor instance Process and Rotating patient Process and Entity instance Process and Friction resource Process and Object patient Process and Entity patient Process and Object
(=> (and (instance ?BS BrakeShoe) (instance ?BD BrakeDrum) (instance ?R Rotating) (patient ?R ?BD) (instance ?F Friction) (resource ?F ?BS) (patient ?F ?BD)) (not (patient ?R ?BS)))	Cars.kif 639-649	instance Object and BrakeShoe instance Entity and BrakeDrum instance Process and Rotating patient Process and Entity instance Process and Friction resource Process and Object patient Process and Entity patient Process and Object
(=> (and (instance ?R Ratchet) (instance ?A AttachingDevice) (instance ?RO1 Rotating) (attribute ?RO1 ?DIR1) (instance ?RO2 Rotating) (attribute ?RO2 ?DIR2) (instance ?DIR1 RotationalAttribute) (instance ?DIR2 RotationalAttribute) (not (equal ?RO1 ?RO2)) (causes ?RO1 ?RO2) (patient ?RO1 Ratchet) (patient ?RO2 ?A)) (equal ?DIR1 ?DIR2))	Cars.kif 4908-4923	instance Entity and Ratchet instance Entity and AttachingDevice instance EntityO1 and Rotating attribute EntityO1 and Attribute instance EntityO2 and Rotating attribute EntityO2 and Attribute instance Attribute and RotationalAttribute instance Attribute and RotationalAttribute equal EntityO1 and EntityO2 causes EntityO1 and EntityO2 patient EntityO1 and Ratchet patient EntityO2 and Entity equal Attribute and Attribute
(=> (and (instance ?R Rotating) (patient ?R ?A)) (exists (?L) (and (holdsDuring (BeginFn (WhenFn ?R)) (located ?A ?L)) (holdsDuring (EndFn (WhenFn ?R)) (located ?A ?L)))))	Mid-level-ontology.kif 15032-15043	instance Process and Rotating patient Process and Entity entity holdsDuring BeginFn WhenFn Process and located Entity and entity holdsDuring EndFn WhenFn Process and located Entity and entity
(=> (and (instance ?SH1 Shaft) (instance ?SH2 Shaft) (not (equal ?SH1 ?SH2)) (instance ?R1 Rotating) (patient ?R1 ?SH1) (instance ?R2 Rotating) (patient ?R2 ?SH2) (causes ?R1 ?R2) (instance ?CV CVJoint) (connectedEngineeringComponents ?R1 ?CV) (connectedEngineeringComponents ?R2 ?CV) (holdsDuring (WhenFn ?R1) (equal ?SH1 (RotationFn ?N ?T)))) (holdsDuring (WhenFn ?R2) (equal ?SH2 (RotationFn ?N ?T))))	Cars.kif 2101-2120	instance Entity and Shaft instance Entity and Shaft equal Entity and Entity instance EngineeringComponent and Rotating patient EngineeringComponent and Entity instance EngineeringComponent and Rotating patient EngineeringComponent and Entity causes EngineeringComponent and EngineeringComponent instance EngineeringComponent and CVJoint connectedEngineeringComponents EngineeringComponent and EngineeringComponent connectedEngineeringComponents EngineeringComponent and EngineeringComponent holdsDuring WhenFn EngineeringComponent and equal Entity and RotationFn entity and entity holdsDuring WhenFn EngineeringComponent and equal Entity and RotationFn entity and entity
(=> (and (instance ?T Tornado) (instance ?R Rotating) (instance ?A Air) (instance ?TRAN Translocation) (subProcess ?R ?T) (subProcess ?TRAN ?R) (patient ?TRAN ?A) (direction ?TRAN Horizontal)) (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE) (and (instance ?G GeographicArea) (eventLocated ?T ?G) (part ?FUNNEL ?A) (attribute ?FUNNEL ConeSegment) (top ?TOP ?FUNNEL) (bottom ?BOTTOM ?FUNNEL) (instance ?C Cloud) (bottom ?BASE ?C) (meetsSpatially ?TOP ?BASE) (meetsSpatially ?BOTTOM ?G))))	Weather.kif 1254-1275	instance Process and Tornado instance Process and Rotating instance Object and Air instance ProcessRAN and Translocation subProcess Process and Process subProcess ProcessRAN and Process patient ProcessRAN and Object direction ProcessRAN and Horizontal Object SelfConnectedObject, ProcessOP, SelfConnectedObject, SelfConnectedObject and SelfConnectedObject instance Object and GeographicArea eventLocated Process and Object part SelfConnectedObject and Object attribute SelfConnectedObject and ConeSegment top ProcessOP and SelfConnectedObject bottom SelfConnectedObject and SelfConnectedObject instance SelfConnectedObject and Cloud bottom SelfConnectedObject and SelfConnectedObject meetsSpatially ProcessOP and SelfConnectedObject meetsSpatially SelfConnectedObject and Object

consequent

(=> (and (instance ?C Crankshaft) (instance ?I IntermittentCombustionEngine) (part ?I ?C)) (hasPurpose ?C (exists (?E ?R) (and (instance ?E Explosion) (instance ?R Rotating) (patient ?R ?C) (eventLocated ?R ?I) (causes ?E ?R)))))	Cars.kif 349-361	instance Object and Crankshaft instance Object and IntermittentCombustionEngine part Object and Object hasPurpose Object and entity entity instance entity and Explosion instance entity and Rotating patient entity and Object eventLocated entity and Object causes entity and entity
(=> (and (instance ?EG EngineGovernor) (instance ?E Engine) (connectedEngineeringComponents ?EG ?E) (governorSpeed ?E ?S)) (hasPurpose ?EG (not (exists (?R ?P ?M) (and (instance ?P Device) (part ?P ?E) (instance ?R Rotating) (holdsDuring (WhenFn ?R) (and (measure ?P ?M) (greaterThan ?M ?S))))))))	Cars.kif 2909-2925	instance EngineeringComponent and EngineGovernor instance EngineeringComponent and Engine connectedEngineeringComponents EngineeringComponent and EngineeringComponent governorSpeed EngineeringComponent and FunctionQuantity hasPurpose EngineeringComponent and entity entity and entity instance entity and Device part entity and EngineeringComponent instance entity and Rotating holdsDuring WhenFn entity and measure entity and entity greaterThan entity and FunctionQuantity
(=> (and (instance ?FB FanBelt) (instance ?EF EngineFan) (instance ?A Automobile) (part ?FB ?A) (part ?EF ?A) (instance ?M Motion) (patient ?M ?FB)) (hasPurpose ?FB (exists (?M2) (and (instance ?M2 Rotating) (causes ?M ?M2) (patient ?M2 ?EF)))))	Cars.kif 2715-2729	instance Object and FanBelt instance Object and EngineFan instance Object and Automobile part Object and Object part Object and Object instance Process and Motion patient Process and Object hasPurpose Object and Process instance Process and Rotating causes Process and Process patient Process and Object
(=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?R) (and (instance ?R Rotating) (patient ?R ?HR) (subProcess ?R ?K))))	Cars.kif 4275-4288	instance Object and Reel instance Process and Keeping instance Object and CorpuscularObject attribute Object and LongAndThin attribute Object and Pliable instrument Process and Object patient Process and Object Process instance Process and Rotating patient Process and Object subProcess Process and Process
(=> (and (instance ?L Lathe) (instance ?OBJ Object) (instrument ?PROC ?L) (patient ?PROC ?OBJ)) (exists (?R) (and (instance ?R Rotating) (subProcess ?PROC ?R) (patient ?R ?OBJ) (agent ?R ?L))))	Economy.kif 4883-4894	instance Agent and Lathe instance Entity and Object instrument Process and Agent patient Process and Entity Process instance Process and Rotating subProcess Process and Process patient Process and Entity agent Process and Agent
(=> (and (instance ?T Transportation) (instance ?W Wheel) (instance ?A Automobile) (part ?W ?A) (instrument ?T ?A) (instance ?AB AntilockBrake) (instance ?D Decelerating) (instrument ?D ?AB) (part ?AB ?W)) (hasPurpose ?AB (exists (?R) (and (instance ?R Rotating) (during ?R ?D)))))	Cars.kif 1293-1308	instance Process and Transportation instance Object and Wheel instance Object and Automobile part Object and Object instrument Process and Object instance ObjectB and AntilockBrake instance Process and Decelerating instrument Process and ObjectB part ObjectB and Object hasPurpose ObjectB and entity instance entity and Rotating during entity and Process
(=> (axis ?AXIS ?OBJ) (exists (?R) (and (instance ?R Rotating) (part ?AXIS ?OBJ) (experiencer ?R ?OBJ) (not (exists (?R2) (and (instance ?R2 Rotating) (subProcess ?R2 ?R) (experiencer ?R2 ?AXIS)))))))	Mid-level-ontology.kif 15055-15067	axis Agent and Agent Process instance Process and Rotating part Agent and Agent experiencer Process and Agent Process instance Process and Rotating subProcess Process and Process experiencer Process and Agent
(=> (instance ?AT AutomobileTransmission) (hasPurpose ?AT (exists (?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3) (and (instance ?C Crankshaft) (instance ?D Driveshaft) (instance ?A Automobile) (part ?D ?A) (part ?AT ?A) (part ?C ?A) (connectedEngineeringComponents ?C ?AT) (connectedEngineeringComponents ?D ?AT) (instance ?R1 Rotating) (instance ?R2 Rotating) (instance ?R3 Rotating) (instance ?R4 Rotating) (patient ?R1 ?C) (patient ?R2 ?C) (patient ?R3 ?D) (patient ?R4 ?D) (causes ?R1 ?R3) (causes ?R2 ?R4) (not (equal ?R1 ?R2)) (holdsDuring ?R1 (measure ?C (RotationFn ?N1 MinuteDuration))) (holdsDuring ?R2 (measure ?C (RotationFn ?N1 MinuteDuration))) (holdsDuring ?R3 (measure ?D (RotationFn ?N2 MinuteDuration))) (holdsDuring ?R4 (measure ?D (RotationFn ?N3 MinuteDuration))) (not (equal ?N2 ?N3))))))	Cars.kif 2333-2367	instance Physical and AutomobileTransmission hasPurpose Physical and entity entity, entity, entity, entity, entity, entity, entity, entity and entity instance entity and Crankshaft instance entity and Driveshaft instance entity and Automobile part entity and entity part Physical and entity part entity and entity connectedEngineeringComponents entity and Physical connectedEngineeringComponents entity and Physical instance entity and Rotating instance entity and Rotating instance entity and Rotating instance entity and Rotating patient entity and entity patient entity and entity patient entity and entity patient entity and entity causes entity and entity causes entity and entity equal entity and entity holdsDuring entity and measure entity and RotationFn entity and MinuteDuration holdsDuring entity and measure entity and RotationFn entity and MinuteDuration holdsDuring entity and measure entity and RotationFn entity and MinuteDuration holdsDuring entity and measure entity and RotationFn entity and MinuteDuration equal entity and entity
(=> (instance ?C Cam) (hasPurpose ?C (exists (?R) (and (instance ?R Rotating) (patient ?R ?C)))))	Cars.kif 1635-1641	instance Physical and Cam hasPurpose Physical and entity instance entity and Rotating patient entity and Physical
(=> (instance ?C Camshaft) (hasPurpose ?C (exists (?R) (and (instance ?R Rotating) (patient ?R ?C)))))	Cars.kif 1648-1654	instance Physical and Camshaft hasPurpose Physical and entity instance entity and Rotating patient entity and Physical
(=> (instance ?CM CentrifugalMotion) (exists (?R ?A ?O1 ?O2) (and (instance ?R Rotating) (axis ?A ?O1) (origin ?CM ?A) (experiencer ?R ?O1) (experiencer ?CM ?O2) (causes ?R ?CM))))	Mid-level-ontology.kif 15073-15082	instance Process and CentrifugalMotion Process Object, Agent and Agent instance Process and Rotating axis Object and Agent origin Process and Object experiencer Process and Agent experiencer Process and Agent causes Process and Process
(=> (instance ?CM CentripetalMotion) (exists (?R ?A ?O1 ?O2) (and (instance ?R Rotating) (axis ?A ?O1) (destination ?CM ?A) (experiencer ?R ?O1) (experiencer ?CM ?O2) (causes ?R ?CM))))	Mid-level-ontology.kif 15087-15096	instance Process and CentripetalMotion Process Object, Agent and Agent instance Process and Rotating axis Object and Agent destination Process and Object experiencer Process and Agent experiencer Process and Agent causes Process and Process
(=> (instance ?D Distributor) (hasPurpose ?D (exists (?SP ?S ?O ?R ?E) (and (instance ?E Engine) (instance ?SP SparkPlug) (instance ?S Spark) (part ?O ?D) (part ?D ?E) (part ?SP ?E) (instance ?R Rotating) (causes ?R ?S)))))	Cars.kif 2261-2273	instance Physical and Distributor hasPurpose Physical and entity entity, entity, entity and entity instance entity and Engine instance entity and SparkPlug instance entity and Spark part entity and Physical part Physical and entity part entity and entity instance entity and Rotating causes entity and entity
(=> (instance ?D Driveshaft) (hasPurpose ?D (exists (?R1 ?R2 ?W ?A) (and (instance ?A Automobile) (instance ?W Wheel) (part ?D ?A) (part ?W ?A) (instance ?R1 Rotating) (patient ?R1 ?D) (patient ?R2 ?W) (causes ?R1 ?R2)))))	Cars.kif 2312-2324	instance Physical and Driveshaft hasPurpose Physical and entity entity, entity and entity instance entity and Automobile instance entity and Wheel part Physical and entity part entity and entity instance entity and Rotating patient entity and Physical patient entity and entity causes entity and entity
(=> (instance ?D Screwdriver) (hasPurpose ?D (exists (?R ?S) (and (instance ?R Rotating) (instrument ?R ?D) (patient ?R ?S) (instance ?S Screw)))))	Mid-level-ontology.kif 4673-4681	instance Physical and Screwdriver hasPurpose Physical and entity entity instance entity and Rotating instrument entity and Physical patient entity and entity instance entity and Screw
(=> (instance ?EC EngineCranking) (exists (?EM ?E ?S ?R1 ?C ?R2) (and (instance ?EM ElectricalMotor) (instance ?E InternalCombustionEngine) (instance ?S Shaft) (instance ?C Crankshaft) (part ?S ?EM) (subProcess ?R1 ?EC) (instance ?R1 Rotating) (patient ?R ?S) (instance ?R2 Rotating) (patient ?R2 ?C) (part ?C ?E) (causes ?R1 ?R2))))	Cars.kif 2202-2217	instance Process and EngineCranking Object Object, Object, Process, Object and Process instance Object and ElectricalMotor instance Object and InternalCombustionEngine instance Object and Shaft instance Object and Crankshaft part Object and Object subProcess Process and Process instance Process and Rotating patient Process and Object instance Process and Rotating patient Process and Object part Object and Object causes Process and Process
(=> (instance ?F Flywheel) (hasPurpose ?F (exists (?R1 ?R2) (and (instance ?R1 Rotating) (instance ?R2 Rotating) (patient ?R1 ?F) (causes ?R1 ?R2)))))	Cars.kif 2226-2234	instance Physical and Flywheel hasPurpose Physical and entity entity instance entity and Rotating instance entity and Rotating patient entity and Physical causes entity and entity
(=> (instance ?FWD FourWheelDriveVehicle) (hasPurpose ?FWD (forall (?W) (and (part ?W ?FWD) (exists (?E ?C ?R1 ?R2) (and (instance ?E Engine) (part ?E ?FWD) (instance ?C Crankshaft) (part ?C ?E) (instance ?R1 Rotating) (patient ?R1 ?C) (instance ?R2 Rotating) (patient ?R2 ?W) (causes ?R1 ?R2)))))))	Cars.kif 4569-4585	instance Physical and FourWheelDriveVehicle hasPurpose Physical and entity part entity and Physical entity entity, entity and entity instance entity and Engine part entity and Physical instance entity and Crankshaft part entity and entity instance entity and Rotating patient entity and entity instance entity and Rotating patient entity and entity causes entity and entity
(=> (instance ?HINGE Hinge) (hasPurpose ?HINGE (exists (?OBJ1 ?OBJ2) (and (connects ?HINGE ?OBJ1 ?OBJ2) (or (capability Rotating patient ?OBJ1) (capability Rotating patient ?OBJ2))))))	Mid-level-ontology.kif 12990-12998	instance Physical and Hinge hasPurpose Physical and entity entity connects Physical, entity and entity capability Rotating, patient and entity capability Rotating, patient and entity
(=> (instance ?P Pulley) (hasPurpose ?P (exists (?P2 ?D ?R1 ?R2) (and (instance ?P2 Pulley) (not (equal ?P ?P2)) (instance ?D Drivebelt) (instance ?R1 Rotating) (instance ?R2 Rotating) (connectedEngineeringComponents ?P ?D) (connectedEngineeringComponents ?P2 ?D) (patient ?R1 ?P) (patient ?R2 ?P2) (causes ?R1 ?R2)))))	Cars.kif 2280-2295	instance Physical and Pulley hasPurpose Physical and Physical entity, entity and entity instance Physical and Pulley equal Physical and Physical instance entity and Drivebelt instance entity and Rotating instance entity and Rotating connectedEngineeringComponents Physical and entity connectedEngineeringComponents Physical and entity patient entity and Physical patient entity and Physical causes entity and entity
(=> (instance ?R Rotor) (capability Rotating instrument ?R))	engineering.kif 781-783	instance Object and Rotor capability Rotating, instrument and Object
(=> (instance ?T Tachometer) (hasPurpose ?T (exists (?R ?M ?O) (and (instance ?R Rotating) (patient ?R ?O) (instance ?M Measuring) (instrument ?M ?T) (patient ?M ?O)))))	Cars.kif 3993-4002	instance Physical and Tachometer hasPurpose Physical and entity entity and entity instance entity and Rotating patient entity and entity instance entity and Measuring instrument entity and Physical patient entity and entity
(=> (instance ?T Tornado) (exists (?R ?A) (and (instance ?R Rotating) (instance ?A Air) (instance ?TRAN Translocation) (subProcess ?R ?T) (subProcess ?TRAN ?R) (patient ?TRAN ?A) (direction ?TRAN Horizontal))))	Weather.kif 1242-1252	instance Process and Tornado Process Entity instance Process and Rotating instance Entity and Air instance ProcessRAN and Translocation subProcess Process and Process subProcess ProcessRAN and Process patient ProcessRAN and Entity direction ProcessRAN and Horizontal
(=> (instance ?TWD TwoWheelDriveVehicle) (hasPurpose ?TWD (exists (?W1 ?W2) (and (part ?W1 ?TWD) (part ?W2 ?TWD) (not (equal ?W1 ?W2)) (exists (?E ?C ?R1 ?R2 ?R3) (and (instance ?E Engine) (part ?E ?TWD) (instance ?C Crankshaft) (part ?C ?E) (instance ?R1 Rotating) (patient ?R1 ?C) (instance ?R2 Rotating) (patient ?R2 ?W1) (causes ?R1 ?R2) (patient ?R3 ?W2) (causes ?R1 ?R3) (not (exists (?W3 ?R4) (and (not (equal ?W1 ?W3)) (not (equal ?W2 ?W3)) (part ?W3 ?TWD) (instance ?R4 Rotating) (patient ?R4 ?W3) (causes ?R1 ?R4))))))))))	Cars.kif 4592-4624	instance Physical and TwoWheelDriveVehicle hasPurpose Physical and entity entity part entity and Physical part entity and Physical equal entity and entity entity entity, entity, entity and entity instance entity and Engine part entity and Physical instance entity and Crankshaft part entity and entity instance entity and Rotating patient entity and entity instance entity and Rotating patient entity and entity causes entity and entity patient entity and entity causes entity and entity entity entity equal entity and entity equal entity and entity part entity and Physical instance entity and Rotating patient entity and entity causes entity and entity
(=> (instance ?W Wrench) (hasPurpose ?W (exists (?R ?AD) (and (instance ?R Rotating) (instance ?AD AttachingDevice) (patient ?R ?AD) (instrument ?R ?W)))))	Cars.kif 4124-4132	instance Physical and Wrench hasPurpose Physical and entity entity instance entity and Rotating instance entity and AttachingDevice patient entity and entity instrument entity and Physical

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: