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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rotating
Rotating

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 16540-16541
(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 7770-7770
(externalImage Rotating "http://upload.wikimedia.org/wikipedia/commons/5/ 54/ Flight_dynamics_with_text.png") pictureList.kif 7771-7771
(externalImage Rotating "http://upload.wikimedia.org/wikipedia/commons/6/ 61/ AxialTiltObliquity.png") pictureList.kif 7772-7772
(subclass Rotating Motion) Mid-level-ontology.kif 16539-16539

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


(subclass CentrifugalMotion Rotating) Mid-level-ontology.kif 16580-16580
(subclass CentripetalMotion Rotating) Mid-level-ontology.kif 16596-16596
(subclass ScrollWheelRotating Rotating) ComputerInput.kif 1694-1694
(subclass Tremor Rotating) Mid-level-ontology.kif 16556-16556
(termFormat ChineseLanguage Rotating "旋转") domainEnglishFormat.kif 50469-50469
(termFormat ChineseTraditionalLanguage Rotating "旋轉") domainEnglishFormat.kif 50468-50468
(termFormat EnglishLanguage Rotating "rotating") domainEnglishFormat.kif 50467-50467

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


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

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 4930-4945
(=>
    (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 16543-16554
(=>
    (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 2114-2133
(=>
    (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 1650-1671

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
            (MeasureFn ?S MilesPerHour)))
    (hasPurpose ?EG
        (not
            (exists (?R ?P ?M)
                (and
                    (instance ?P Device)
                    (part ?P ?E)
                    (instance ?R Rotating)
                    (holdsDuring
                        (WhenFn ?R)
                        (and
                            (measure ?P
                                (MeasureFn ?M MilesPerHour))
                            (greaterThan ?M ?S))))))))
Cars.kif 2930-2948
(=>
    (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 2730-2744
(=>
    (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 4304-4317
(=>
    (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 4886-4897
(=>
    (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 1292-1307
(=>
    (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 16566-16578
(=>
    (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 2346-2380
(=>
    (instance ?C Cam)
    (hasPurpose ?C
        (exists (?R)
            (and
                (instance ?R Rotating)
                (patient ?R ?C)))))
Cars.kif 1639-1645
(=>
    (instance ?C Camshaft)
    (hasPurpose ?C
        (exists (?R)
            (and
                (instance ?R Rotating)
                (patient ?R ?C)))))
Cars.kif 1652-1658
(=>
    (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 16585-16594
(=>
    (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 16600-16609
(=>
    (instance ?CS CyclonicStorm)
    (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 560-570
(=>
    (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 2274-2286
(=>
    (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 2325-2337
(=>
    (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 4072-4080
(=>
    (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 2215-2230
(=>
    (instance ?F Flywheel)
    (hasPurpose ?F
        (exists (?R1 ?R2)
            (and
                (instance ?R1 Rotating)
                (instance ?R2 Rotating)
                (patient ?R1 ?F)
                (causes ?R1 ?R2)))))
Cars.kif 2239-2247
(=>
    (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 4591-4607
(=>
    (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 14440-14448
(=>
    (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 2293-2308
(=>
    (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 4022-4031
(=>
    (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 4614-4646
(=>
    (instance ?W Wrench)
    (hasPurpose ?W
        (exists (?R ?AD)
            (and
                (instance ?R Rotating)
                (instance ?AD AttachingDevice)
                (patient ?R ?AD)
                (instrument ?R ?W)))))
Cars.kif 4153-4161

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