| 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 18993-18994 | |
| (externalImage Rotating "http://upload.wikimedia.org/wikipedia/commons/0/ 02/ Rotating_Sphere.gif") | pictureList.kif 6830-6830 | |
| (externalImage Rotating "http://upload.wikimedia.org/wikipedia/commons/4/ 49/ Rotation_illustration.png") | pictureList.kif 7768-7768 | |
| (externalImage Rotating "http://upload.wikimedia.org/wikipedia/commons/5/ 54/ Flight_dynamics_with_text.png") | pictureList.kif 7769-7769 | |
| (externalImage Rotating "http://upload.wikimedia.org/wikipedia/commons/6/ 61/ AxialTiltObliquity.png") | pictureList.kif 7770-7770 | |
| (subclass Rotating Motion) | Mid-level-ontology.kif 18992-18992 |
| appearance as argument number 2 |
|
|
| (subclass CentrifugalMotion Rotating) | Mid-level-ontology.kif 19033-19033 | |
| (subclass CentripetalMotion Rotating) | Mid-level-ontology.kif 19049-19049 | |
| (subclass ChurningButter Rotating) | Food.kif 3067-3067 | |
| (subclass ScrollWheelRotating Rotating) | ComputerInput.kif 1665-1665 | |
| (subclass Tremor Rotating) | Mid-level-ontology.kif 19009-19009 | |
| (termFormat ChineseLanguage Rotating "旋转") | domainEnglishFormat.kif 50490-50490 | |
| (termFormat ChineseTraditionalLanguage Rotating "旋轉") | domainEnglishFormat.kif 50489-50489 | |
| (termFormat EnglishLanguage Rotating "rotating") | domainEnglishFormat.kif 50488-50488 |
| appearance as argument number 3 |
|
|
| (domain RotationFn 1 Rotating) | Cars.kif 2087-2087 |
| 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 4988-5003 | |
| (=> (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 18996-19007 | |
| (=> (and (instance ?R Rotating) (patient ?R ?TRACK) (instance ?TRACK ContinuousTrack)) (exists (?COLL ?MEM ?TREAD ?R2) (and (instance ?COLL Collection) (member ?MEM ?COLL) (instance ?MEM Wheel) (memberCount ?MEM ?I) (greaterThan ?I 2) (part ?COLL ?TRACK) (part ?TREAD ?TRACK) (instance ?TREAD CorpuscularObject) (shape ?TREAD LongAndThin) (attribute ?TREAD Pliable) (located ?COLL ?TREAD) (instance ?R2 Rotating) (causes ?R2 ?R)))) |
Military.kif 193-212 | |
| (=> (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 2098-2117 | |
| (=> (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 2167-2188 |
| 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 2914-2932 | |
| (=> (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 2714-2728 | |
| (=> (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 4362-4375 | |
| (=> (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 6398-6409 | |
| (=> (and (instance ?R Rotating) (patient ?R ?TRACK) (instance ?TRACK ContinuousTrack)) (exists (?COLL ?MEM ?TREAD ?R2) (and (instance ?COLL Collection) (member ?MEM ?COLL) (instance ?MEM Wheel) (memberCount ?MEM ?I) (greaterThan ?I 2) (part ?COLL ?TRACK) (part ?TREAD ?TRACK) (instance ?TREAD CorpuscularObject) (shape ?TREAD LongAndThin) (attribute ?TREAD Pliable) (located ?COLL ?TREAD) (instance ?R2 Rotating) (causes ?R2 ?R)))) |
Military.kif 193-212 | |
| (=> (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 19019-19031 | |
| (=> (gearRatio ?G1 ?G2 ?R) (exists (?R1 ?R2) (and (instance ?R1 Rotating) (patient ?R1 ?G1) (instance ?R2 Rotating) (patient ?R2 ?G2) (causes ?R1 ?R2) (not (equal ?R1 ?R2))))) |
engineering.kif 865-875 | |
| (=> (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 2330-2364 | |
| (=> (instance ?C Cam) (hasPurpose ?C (exists (?R) (and (instance ?R Rotating) (patient ?R ?C))))) |
Cars.kif 1646-1652 | |
| (=> (instance ?C Camshaft) (hasPurpose ?C (exists (?R) (and (instance ?R Rotating) (patient ?R ?C))))) |
Cars.kif 1659-1665 | |
| (=> (instance ?C ChurningButter) (hasPurpose ?C (exists (?M ?R ?B) (and (instance ?M Milk) (instance ?R Rotating) (patient ?R ?M) (result ?R ?B) (instance ?B Butter))))) |
Food.kif 3072-3081 | |
| (=> (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 19038-19047 | |
| (=> (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 19053-19062 | |
| (=> (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 2258-2270 | |
| (=> (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 2309-2321 | |
| (=> (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 4641-4649 | |
| (=> (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 ?R1 ?S) (instance ?R2 Rotating) (patient ?R2 ?C) (part ?C ?E) (causes ?R1 ?R2)))) |
Cars.kif 2199-2214 | |
| (=> (instance ?F Flywheel) (hasPurpose ?F (exists (?R1 ?R2) (and (instance ?R1 Rotating) (instance ?R2 Rotating) (patient ?R1 ?F) (causes ?R1 ?R2))))) |
Cars.kif 2223-2231 | |
| (=> (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 4649-4665 | |
| (=> (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 16649-16657 | |
| (=> (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 2277-2292 | |
| (=> (instance ?R Rotor) (capability Rotating instrument ?R)) |
engineering.kif 1096-1098 | |
| (=> (instance ?S Shaft) (exists (?R) (and (instance ?R Rotating) (patient ?R ?S)))) |
engineering.kif 907-912 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|