| Rotating(rotating)
| | bob, brandish, circle, circle_around, circle_round, circular, circulate, eddy, evert, flourish, go_around, gyrate, jiggle, joggle, loop, orbitual, pivot, purl, reel, revolve, revolve_around, rock, roll, rotary, rotary_motion, rotate, rotation, shake, shifting, shifty, spin, spin_around, sway, swirl, transit, turn, turn_over, turned, turnout, twiddle, twirl, wave, whirl, whirlpool, wiggle |
| appearance as argument number 1 |
|
|
| (subclass Rotating Motion) | Mid-level-ontology.kif 19228-19228 | Rotating is a subclass of motion |
| (documentation Rotating EnglishLanguage "Motion that begins and ends at the same point, because the trajectory of the Motion is circular.") | Mid-level-ontology.kif 19229-19230 | Rotating is a subclass of motion |
| (externalImage Rotating "http://upload.wikimedia.org/wikipedia/commons/0/ 02/ Rotating_Sphere.gif") | pictureList.kif 6830-6830 | Rotating is a subclass of motion |
| (externalImage Rotating "http://upload.wikimedia.org/wikipedia/commons/4/ 49/ Rotation_illustration.png") | pictureList.kif 7768-7768 | Rotating is a subclass of motion |
| (externalImage Rotating "http://upload.wikimedia.org/wikipedia/commons/5/ 54/ Flight_dynamics_with_text.png") | pictureList.kif 7769-7769 | Rotating is a subclass of motion |
| (externalImage Rotating "http://upload.wikimedia.org/wikipedia/commons/6/ 61/ AxialTiltObliquity.png") | pictureList.kif 7770-7770 | Rotating is a subclass of motion |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain RotationFn 1 Rotating) | Cars.kif 2087-2087 | The number 1 argument of rotation fn is an instance of rotating |
| (domain fulcrum 1 Rotating) | Mid-level-ontology.kif 1545-1545 | The number 1 argument of fulcrum is an instance of rotating |
| (domain lever 1 Rotating) | Mid-level-ontology.kif 1591-1591 | The number 1 argument of lever is an instance of rotating |
| (domain rotationalAxis 1 Rotating) | Mid-level-ontology.kif 19354-19354 | The number 1 argument of rotationalAxis is an instance of 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 | If All of the following hold: (1) X is an instance of brake pad (2) Y is an instance of brake rotor (3) Z is an instance of rotating (4) Y is a patient of Z (5) W is an instance of friction (6) X is a resource for W (7) Y is a patient of W, then X is not a patient of Z |
| (=> (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 | If All of the following hold: (1) X is an instance of brake shoe (2) Y is an instance of brake drum (3) Z is an instance of rotating (4) Y is a patient of Z (5) W is an instance of friction (6) X is a resource for W (7) Y is a patient of W, then X is not a patient of Z |
| (=> (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) (equal (WhenFn ?R1) (WhenFn ?R2)) (instance ?CV CVJoint) (connectedEngineeringComponents ?SH1 ?CV) (connectedEngineeringComponents ?SH2 ?CV) (holdsDuring (WhenFn ?R1) (equal (MeasureFn ?N RevolutionsPerMinute) (RotationFn ?R1)))) (holdsDuring (WhenFn ?R2) (equal (MeasureFn ?N RevolutionsPerMinute) (RotationFn ?R2)))) |
Cars.kif 2097-2123 | If All of the following hold: (1) X is an instance of shaft (2) Y is an instance of shaft (3) equal X and Y (4) Z is an instance of rotating (5) X is a patient of Z (6) W is an instance of rotating (7) Y is a patient of W (8) Z causes W (9) equal the time of existence of Z and the time of existence of W (10) V is an instance of C.V. joint (11) X is connected to V (12) Y is connected to V (13) equal U revolutions per minute(s) and the rotation of Z during holds during the time of existence of Z, then equal U revolutions per minute(s) and the rotation of W during holds during the time of existence of W |
| (=> (and (instance ?AT AutomobileTransmission) (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 ?G1 Gear) (instance ?G2 Gear) (part ?G1 ?AT) (part ?G2 ?AT) (instance ?CR1 Rotating) (instance ?CR2 Rotating) (instance ?GR1 Rotating) (instance ?GR2 Rotating) (instance ?DR1 Rotating) (instance ?DR2 Rotating) (moves ?CR1 ?C) (moves ?CR2 ?C) (moves ?GR1 ?G1) (moves ?GR2 ?G2) (moves ?DR1 ?D) (moves ?DR2 ?D) (causes ?CR1 ?GR1) (causes ?GR1 ?DR1) (causes ?CR2 ?GR2) (causes ?GR2 ?DR2) (not (equal ?CR1 ?CR2)) (not (equal ?G1 ?G2)) (equal (MeasureFn ?NR1 RevolutionsPerMinute) (RotationFn ?CR1)) (equal (MeasureFn ?NR2 RevolutionsPerMinute) (RotationFn ?CR2)) (equal (MeasureFn ?ND1 RevolutionsPerMinute) (RotationFn ?DR1)) (equal (MeasureFn ?ND2 RevolutionsPerMinute) (RotationFn ?DR2)) (equal ?NR1 ?NR2)) (not (equal ?ND1 ?ND2))) |
Cars.kif 2336-2377 | If All of the following hold: (1) X is an instance of transmission (2) Y is an instance of crankshaft (3) Z is an instance of driveshaft (4) W is an instance of automobile (5) Z is a part of W (6) X is a part of W (7) Y is a part of W (8) Y is connected to X (9) Z is connected to X (10) V is an instance of gear (11) U is an instance of gear (12) V is a part of X (13) U is a part of X (14) T is an instance of rotating (15) S is an instance of rotating (16) R is an instance of rotating (17) Q is an instance of rotating (18) P is an instance of rotating (19) O is an instance of rotating (20) Y moves during T (21) Y moves during S (22) V moves during R (23) U moves during Q (24) Z moves during P (25) Z moves during O (26) T causes R (27) R causes P (28) S causes Q (29) Q causes O (30) equal T and S (31) equal V and U (32) equal N revolutions per minute(s) and the rotation of T during (33) equal M revolutions per minute(s) and the rotation of S during (34) equal L revolutions per minute(s) and the rotation of P during (35) equal K revolutions per minute(s) and the rotation of O during (36) equal N and M, then equal L and K |
| (=> (and (engineIdleSpeed ?E (MeasureFn ?RI RevolutionsPerMinute)) (instance ?A Automobile) (instance ?GP GasPedal) (instance ?P Pushing) (destination ?P ?GP) (part ?E ?A) (part ?GP ?A) (instance ?C Crankshaft) (instance ?R1 Rotating) (moves ?R1 ?C) (during (WhenFn ?R1) (WhenFn ?P)) (part ?C ?E) (equal (MeasureFn ?RA RevolutionsPerMinute) (RotationFn ?R1))) (modalAttribute (greaterThan ?RA ?RI) Likely)) |
Cars.kif 2582-2604 | If All of the following hold: (1) the idle speed of X is Y revolutions per minute(s) (2) Z is an instance of automobile (3) W is an instance of gas pedal (4) V is an instance of pushing (5) V ends up at W (6) X is a part of Z (7) W is a part of Z (8) U is an instance of crankshaft (9) T is an instance of rotating (10) U moves during T (11) the time of existence of T takes place during the time of existence of V (12) U is a part of X (13) equal S revolutions per minute(s) and the rotation of T during, then the statement S is greater than Y has the modal force of likely |
| (=> (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 5005-5020 | If All of the following hold: (1) X is an instance of ratchet (2) Y is an instance of attaching device (3) Z is an instance of rotating (4) W is an attribute of Z (5) V is an instance of rotating (6) U is an attribute of V (7) W is an instance of rotational attribute (8) U is an instance of rotational attribute (9) equal Z and V (10) Z causes V (11) ratchet is a patient of Z (12) Y is a patient of V, then equal W and U |
| (=> (and (verticalAxis ?X PlanetEarth) (instance ?R Rotating) (rotationalAxis ?R ?X) (betweenOnPath NorthPole ?C SouthPole ?X)) (centerOfMass ?C PlanetEarth)) |
Geography.kif 5305-5311 | If X is the verticalAxis of planet earth, Y is an instance of rotating, X is the axis of Y, and Z is between North Pole and South Pole on path X, then Z is the centerOfMass of planet earth |
| (=> (and (instance ?R Rotating) (fulcrum ?R ?F) (lever ?R ?L) (rotationalAxis ?R ?X)) (holdsDuring (WhenFn ?R) (exists (?P) (and (instance ?P PointInSpace) (part ?P ?X) (meetsSpatially ?P ?F) (meetsSpatially ?P ?L))))) |
Mid-level-ontology.kif 1550-1562 | If X is an instance of rotating, Y is the lever of X, lever X and Z, and W is the axis of X, then there exists V such that V is an instance of point in space, V is a part of W, V meets Y, and V meets Z holds during the time of existence of X |
| (=> (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 19232-19243 | If X is an instance of rotating and Y is a patient of X, then there exists Z such that Y is located at Z holds during the beginning of the time of existence of X and Y is located at Z holds during the end of the time of existence of X |
| (=> (and (instance ?R Rotating) (patient ?R ?TRACK) (instance ?TRACK ContinuousTrack)) (exists (?COLL ?MEM ?I ?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 | If X is an instance of rotating, Y is a patient of X, and Y is an instance of Continuous track, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is an instance of collection (3) W is a member of Z (4) W is an instance of wheel (5) V is a member count of W (6) V is greater than 2 (7) Z is a part of Y (8) U is a part of Y (9) U is an instance of corpuscular object (10) U is long and thin (11) pliable is an attribute of U (12) Z is located at U (13) T is an instance of rotating (14) T causes X |
| (=> (and (instance ?V Aircraft) (instance ?R Rotating) (patient ?R ?V) (rotationalAxis ?R ?A) (transverseAxis ?A ?V) (holdsDuring (BeginFn (WhenFn ?R)) (pitch ?V ?X)) (holdsDuring (EndFn (WhenFn ?R)) (pitch ?V ?Y))) (not (equal ?X ?Y))) |
Transportation.kif 3200-3212 | If All of the following hold: (1) X is an instance of aircraft (2) Y is an instance of rotating (3) X is a patient of Y (4) Z is the axis of Y (5) Z is the transverseAxis of X (6) X is heading at W degree from its level of plane axis. holds during the beginning of the time of existence of Y (7) X is heading at V degree from its level of plane axis. holds during the end of the time of existence of Y, then equal W and V |
| (=> (and (instance ?V Aircraft) (instance ?R Rotating) (patient ?R ?V) (rotationalAxis ?R ?A) (verticalAxis ?A ?V) (holdsDuring (BeginFn (WhenFn ?R)) (yaw ?V ?X)) (holdsDuring (EndFn (WhenFn ?R)) (yaw ?V ?Y))) (not (equal ?X ?Y))) |
Transportation.kif 3240-3252 | If All of the following hold: (1) X is an instance of aircraft (2) Y is an instance of rotating (3) X is a patient of Y (4) Z is the axis of Y (5) Z is the verticalAxis of X (6) X is heading at W of its longitudinalAxis. holds during the beginning of the time of existence of Y (7) X is heading at V of its longitudinalAxis. holds during the end of the time of existence of Y, then equal W and V |
| (=> (and (instance ?V Aircraft) (instance ?R Rotating) (patient ?R ?V) (rotationalAxis ?R ?A) (longitudinalAxis ?A ?V) (holdsDuring (BeginFn (WhenFn ?R)) (roll ?V ?X)) (holdsDuring (EndFn (WhenFn ?R)) (roll ?V ?Y))) (not (equal ?X ?Y))) |
Transportation.kif 3282-3294 | If All of the following hold: (1) X is an instance of aircraft (2) Y is an instance of rotating (3) X is a patient of Y (4) Z is the axis of Y (5) Z is the longitudinalAxis of X (6) X is rolling at W of its longitudinalAxis. holds during the beginning of the time of existence of Y (7) X is rolling at V of its longitudinalAxis. holds during the end of the time of existence of Y, then equal W and V |
| (=> (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 2975-2996 | If All of the following hold: (1) X is an instance of tornado (2) Y is an instance of rotating (3) Z is an instance of air (4) W is an instance of translocation (5) Y is a subprocess of X (6) W is a subprocess of Y (7) Z is a patient of W (8) entities in the process W are moving horizontal to, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that V is an instance of geographic area (3) X is located at V (4) U is a part of Z (5) cone segment is an attribute of U (6) the top of U is T (7) the bottom of U is S (8) R is an instance of cloud (9) the bottom of R is Q (10) T meets Q (11) S meets V |
| 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 | If X is an instance of crankshaft, Y is an instance of intermittent combustion engine, and Y is a part of X, then X has the purpose there exist Z, W such that Z is an instance of explosion, W is an instance of rotating, X is a patient of W, W is located at Y, and Z causes W |
| (=> (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 | If All of the following hold: (1) X is an instance of transportation (2) Y is an instance of wheel (3) Z is an instance of automobile (4) Y is a part of Z (5) Z is an instrument for X (6) W is an instance of antilock brake (7) V is an instance of decelerating (8) W is an instrument for V (9) W is a part of Y, then W has the purpose there exists U such that U is an instance of rotating and U takes place during V |
| (=> (instance ?C Cam) (hasPurpose ?C (exists (?R) (and (instance ?R Rotating) (patient ?R ?C))))) |
Cars.kif 1646-1652 | If X is an instance of cam, then X has the purpose there exists Y such that Y is an instance of rotating and X is a patient of Y |
| (=> (instance ?C Camshaft) (hasPurpose ?C (exists (?R) (and (instance ?R Rotating) (patient ?R ?C))))) |
Cars.kif 1659-1665 | If X is an instance of camshaft, then X has the purpose there exists Y such that Y is an instance of rotating and X is a patient of Y |
| (=> (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 2205-2220 | If X is an instance of engine cranking, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of electrical motor (3) Z is an instance of internal combustion engine (4) W is an instance of shaft (5) U is an instance of crankshaft (6) W is a part of Y (7) V is a subprocess of X (8) V is an instance of rotating (9) W is a patient of V (10) T is an instance of rotating (11) U is a patient of T (12) U is a part of Z (13) V causes T |
| (=> (instance ?F Flywheel) (hasPurpose ?F (exists (?R1 ?R2) (and (instance ?R1 Rotating) (instance ?R2 Rotating) (patient ?R1 ?F) (causes ?R1 ?R2))))) |
Cars.kif 2229-2237 | If X is an instance of flywheel, then X has the purpose there exist Y, Z such that Y is an instance of rotating, Z is an instance of rotating, X is a patient of Y, and Y causes Z |
| (=> (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 2264-2276 | If X is an instance of distributor, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that U is an instance of engine (3) Y is an instance of spark plug (4) Z is an instance of spark (5) W is a part of X (6) X is a part of U (7) Y is a part of U (8) V is an instance of rotating (9) V causes Z |
| (=> (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 2283-2298 | If X is an instance of pulley, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of pulley (3) equal X (4) Y (5) Z is an instance of drivebelt (6) W is an instance of rotating (7) V is an instance of rotating (8) X is connected to Z (9) Y is connected to Z (10) X is a patient of W (11) Y is a patient of V (12) W causes V |
| (=> (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 2315-2327 | If X is an instance of driveshaft, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that V is an instance of automobile (3) W is an instance of wheel (4) X is a part of V (5) W is a part of V (6) Y is an instance of rotating (7) X is a patient of Y (8) W is a patient of Z (9) Y causes Z |
| (=> (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 2731-2745 | If All of the following hold: (1) X is an instance of fan belt (2) Y is an instance of engine fan (3) Z is an instance of automobile (4) X is a part of Z (5) Y is a part of Z (6) W is an instance of motion (7) X is a patient of W, then X has the purpose there exists V such that V is an instance of rotating, W causes V, and Y is a patient of V |
| (=> (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 2931-2949 | If X is an instance of governor, Y is an instance of engine, X is connected to Y, and the maximum speed allowed by Y is Z miles per hour(s), then X has the purpose there don't exist W, V and U such that V is an instance of device and V is a part of Y and W is an instance of rotating and the measure of V is U miles per hour(s) and U is greater than Z holds during the time of existence of W |
| (=> (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 4097-4106 | If X is an instance of tachometer, then X has the purpose there exist Y, Z, W such that Y is an instance of rotating, W is a patient of Y, Z is an instance of measuring, X is an instrument for Z, and W is a patient of Z |
| (=> (instance ?W Wrench) (hasPurpose ?W (exists (?R ?AD) (and (instance ?R Rotating) (instance ?AD AttachingDevice) (patient ?R ?AD) (instrument ?R ?W))))) |
Cars.kif 4228-4236 | If X is an instance of wrench, then X has the purpose there exist Y, Z such that Y is an instance of rotating, Z is an instance of attaching device, Z is a patient of Y, and X is an instrument for Y |
| (=> (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 4379-4392 | If All of the following hold: (1) X is an instance of reel (2) Y is an instance of keeping (3) Z is an instance of corpuscular object (4) long and thin is an attribute of Z (5) pliable is an attribute of Z (6) X is an instrument for Y (7) Z is a patient of Y, then there exists W such that W is an instance of rotating, X is a patient of W, and W is a subprocess of Y |
| (=> (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 4399-4412 | If X is an instance of wheel chock, then X has the purpose there exist Y, Z such that Y is an instance of wheel, X meets Y, there doesn't exist W such that W is an instance of rotating, and Y is a patient of W holds during Z |
| (=> (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 4666-4682 | If X is an instance of four wheel drive, then All of the following hold: (1) X has the purpose Y Y is a part of X (2) there exist Z, W,, , V (3) U such that Z is an instance of engine (4) Z is a part of X (5) W is an instance of crankshaft (6) W is a part of Z (7) V is an instance of rotating (8) W is a patient of V (9) U is an instance of rotating (10) Y is a patient of U (11) V causes U |
| (=> (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 4689-4721 | If X is an instance of four wheel drive, then X has the purpose there exist Y and Z such that Y is a part of X and Z is a part of X and equal Y and Z and there exist W, V,, , U,, , T and S such that W is an instance of engine and W is a part of X and V is an instance of crankshaft and V is a part of W and U is an instance of rotating and V is a patient of U and T is an instance of rotating and Y is a patient of T and U causes T and Z is a patient of S and U causes S and there don't exist R and Q such that equal Y and R and equal Z and R and R is a part of X and Q is an instance of rotating and R is a patient of Q and U causes Q |
| (=> (manner ?PROC RotationalAttribute) (instance ?PROC Rotating)) |
Cars.kif 5024-5026 | If X is performed in the manner rotational attribute, then X is an instance of rotating |
| (=> (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 6393-6404 | If X is an instance of lathe, Y is an instance of object, X is an instrument for Z, and Y is a patient of Z, then there exists W such that W is an instance of rotating, Z is a subprocess of W, Y is a patient of W, and X is an agent of W |
| (=> (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 | If X is an instance of churning butter, then X has the purpose there exist Y, Z, W such that Y is an instance of milk, Z is an instance of rotating, Y is a patient of Z, W is a result of Z, and W is an instance of butter |
| (=> (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 4658-4666 | If X is an instance of screwdriver, then X has the purpose there exist Y, Z such that Y is an instance of rotating, X is an instrument for Y, Z is a patient of Y, and Z is an instance of screw |
| (=> (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 16778-16786 | If X is an instance of hinge, then X has the purpose there exist Y, Z such that X connects Y, Z, and Y is capable of doing rotating as a patient or Z is capable of doing rotating as a patient |
| (=> (and (instance ?R Rotating) (patient ?R ?TRACK) (instance ?TRACK ContinuousTrack)) (exists (?COLL ?MEM ?I ?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 | If X is an instance of rotating, Y is a patient of X, and Y is an instance of Continuous track, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is an instance of collection (3) W is a member of Z (4) W is an instance of wheel (5) V is a member count of W (6) V is greater than 2 (7) Z is a part of Y (8) U is a part of Y (9) U is an instance of corpuscular object (10) U is long and thin (11) pliable is an attribute of U (12) Z is located at U (13) T is an instance of rotating (14) T causes X |
| (=> (instance ?TRACK ContinuousTrack) (hasPurpose ?TRACK (exists (?R ?V ?T) (and (instance ?R Rotating) (patient ?R ?TRACK) (part ?TRACK ?V) (instance ?V LandVehicle) (instance ?T Translocation) (patient ?T ?V) (causes ?R ?T) (subProcess ?R ?T))))) |
Military.kif 214-226 | If X is an instance of Continuous track, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of rotating (3) X is a patient of Y (4) X is a part of Z (5) Z is an instance of land vehicle (6) W is an instance of translocation (7) Z is a patient of W (8) Y causes W (9) Y is a subprocess of W |
| (=> (and (instance ?C FlightControlSurfaces) (part ?C ?F) (instance ?F Aircraft)) (hasPurpose ?C (exists (?R ?X ?A) (and (instance ?R Rotating) (moves ?R ?F) (rotationalAxis ?R ?X) (instance ?A AxisOfAnObject) (?A ?X ?F) (instrument ?R ?C))))) |
Transportation.kif 3334-3347 | If X is an instance of flight control surface, X is a part of Y, and Y is an instance of aircraft, then All of the following hold: (1) X has the purpose there exist Z, W (2) V such that Z is an instance of rotating (3) Y moves during Z (4) W is the axis of Z (5) V is an instance of axis of an object (6) V W (7) Y (8) X is an instrument for Z |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|