Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rotating
Rotating

VerbNet: modes_of_being_with_motion-47.3|bob, modes_of_being_with_motion-47.3|wave, roll-51.3.1|whirl, modes_of_being_with_motion-47.3|wave, roll-51.3.1|rotate, body_internal_motion-49|gyrate, body_internal_motion-49|wiggle, body_internal_motion-49|wiggle, other_cos-45.4|loop, roll-51.3.1|whirl, body_internal_motion-49|gyrate, roll-51.3.1|rotate, body_internal_motion-49|sway, roll-51.3.1|rotate, body_internal_motion-49|sway, body_internal_motion-49|gyrate, body_internal_motion-49|gyrate, body_internal_motion-49|sway, roll-51.3.1|whirl, roll-51.3.1|turn, roll-51.3.1|turn, roll-51.3.1|whirl, roll-51.3.1|whirl, modes_of_being_with_motion-47.3|wave, roll-51.3.1|whirl, roll-51.3.1|whirl, body_internal_motion-49|wiggle,


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 15054-15055
(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 15053-15053

appearance as argument number 2
-------------------------


(subclass CentrifugalMotion Rotating) Mid-level-ontology.kif 15094-15094
(subclass CentripetalMotion Rotating) Mid-level-ontology.kif 15109-15109
(subclass ScrollWheelRotating Rotating) ComputerInput.kif 1680-1680
(subclass Tremor Rotating) Mid-level-ontology.kif 15070-15070
(termFormat ChineseLanguage Rotating "旋转") domainEnglishFormat.kif 50384-50384
(termFormat ChineseTraditionalLanguage Rotating "旋轉") domainEnglishFormat.kif 50383-50383
(termFormat EnglishLanguage Rotating "rotating") domainEnglishFormat.kif 50382-50382

appearance as argument number 3
-------------------------


(domain RotationFn 1 Rotating) Cars.kif 2090-2090

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
(=>
    (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
(=>
    (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 4907-4922
(=>
    (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 15057-15068
(=>
    (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

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
(=>
    (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
(=>
    (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
(=>
    (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 4274-4287
(=>
    (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
(=>
    (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
(=>
    (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 15080-15092
(=>
    (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 ?C Cam)
    (hasPurpose ?C
        (exists (?R)
            (and
                (instance ?R Rotating)
                (patient ?R ?C)))))
Cars.kif 1635-1641
(=>
    (instance ?C Camshaft)
    (hasPurpose ?C
        (exists (?R)
            (and
                (instance ?R Rotating)
                (patient ?R ?C)))))
Cars.kif 1648-1654
(=>
    (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 15098-15107
(=>
    (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 15112-15121
(=>
    (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 ?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 ?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 ?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 ?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 ?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 4568-4584
(=>
    (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 13015-13023
(=>
    (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 ?R Rotor)
    (capability Rotating instrument ?R))
engineering.kif 781-783
(=>
    (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 3992-4001
(=>
    (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 4591-4623
(=>
    (instance ?W Wrench)
    (hasPurpose ?W
        (exists (?R ?AD)
            (and
                (instance ?R Rotating)
                (instance ?AD AttachingDevice)
                (patient ?R ?AD)
                (instrument ?R ?W)))))
Cars.kif 4123-4131
(=>
    (instance ?WC WheelChock)
    (hasPurpose ?WC
        (exists (?W ?T)
            (and
                (instance ?W Wheel)
                (holdsDuring ?T
                    (and
                        (meetsSpatially ?WC ?W)
                        (not
                            (exists (?R)
                                (and
                                    (instance ?R Rotating)
                                    (patient ?R ?W))))))))))
Cars.kif 4294-4307

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