Motion - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Motion ChineseLanguage "任何移动的 Process。")	chinese_format.kif 2997-2997
(documentation Motion EnglishLanguage "Any Process of movement.")	Merge.kif 11015-11015
(documentation Motion JapaneseLanguage "任意の移動 Process。")	japanese_format.kif 1757-1757
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/0/08/ Walschaerts_motion.gif")	pictureList.kif 11457-11457
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/2/24/ Truck_with_motion_blur.jpg")	pictureList.kif 11462-11462
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/5/51/ Billy_wagner_motion_2004.jpg")	pictureList.kif 11465-11465
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/6/60/ Giraffe_in_motion%2C_Bots.jpg")	pictureList.kif 11460-11460
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/6/6b/ Leaving_Yongsan_Station.jpg")	pictureList.kif 10134-10134
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/6/6d/ Translational_motion.gif")	pictureList.kif 11456-11456
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/7/73/ The_Horse_in_Motion.jpg")	pictureList.kif 11463-11463
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/b/bc/ London_Underground_in_motion.jpg")	pictureList.kif 11459-11459
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/c/cc/ Carousel_in_motion.jpg")	pictureList.kif 11458-11458
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/d/da/ Galahs_flying_motion_blur.jpg")	pictureList.kif 11461-11461
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/f/fe/ Fingers_and_thumb_in_circle_downward_motion.jpg")	pictureList.kif 11464-11464
(subclass Motion Process)	Merge.kif 11013-11013	Motion ist eine teilkategorie von Process

appearance as argument number 2

(range FlowFn Motion)	Geography.kif 4894-4894	bildbereich von FlowFn ist ein fall von Motion {nicht}
(subclass BodyMotion Motion)	Merge.kif 11094-11094	BodyMotion ist eine teilkategorie von Motion
(subclass Closing Motion)	Mid-level-ontology.kif 21526-21526	Closing ist eine teilkategorie von Motion
(subclass Compressing Motion)	Cars.kif 1982-1982	Compressing ist eine teilkategorie von Motion
(subclass DirectionChange Motion)	Merge.kif 11274-11274	DirectionChange ist eine teilkategorie von Motion
(subclass EngineCranking Motion)	Cars.kif 2208-2208	EngineCranking ist eine teilkategorie von Motion
(subclass EngineCycle Motion)	Cars.kif 80-80	EngineCycle ist eine teilkategorie von Motion
(subclass FourStrokeCombustion Motion)	Cars.kif 202-202	FourStrokeCombustion ist eine teilkategorie von Motion
(subclass FourStrokeCompression Motion)	Cars.kif 186-186	FourStrokeCompression ist eine teilkategorie von Motion
(subclass FourStrokeExhaust Motion)	Cars.kif 219-219	FourStrokeExhaust ist eine teilkategorie von Motion
(subclass FourStrokeIntake Motion)	Cars.kif 166-166	FourStrokeIntake ist eine teilkategorie von Motion
(subclass GasMotion Motion)	Merge.kif 11244-11244	GasMotion ist eine teilkategorie von Motion
(subclass GeologicalProcess Motion)	Merge.kif 11189-11189	GeologicalProcess ist eine teilkategorie von Motion
(subclass Irrigating Motion)	Geography.kif 5706-5706	Irrigating ist eine teilkategorie von Motion
(subclass LiquidMotion Motion)	Merge.kif 11220-11220	LiquidMotion ist eine teilkategorie von Motion
(subclass MotionDownward Motion)	Merge.kif 11065-11065	MotionDownward ist eine teilkategorie von Motion
(subclass MotionUpward Motion)	Merge.kif 11059-11059	MotionUpward ist eine teilkategorie von Motion
(subclass Opening Motion)	Mid-level-ontology.kif 21519-21519	Opening ist eine teilkategorie von Motion
(subclass Pulling Motion)	Mid-level-ontology.kif 17607-17607	Pulling ist eine teilkategorie von Motion
(subclass Pushing Motion)	Mid-level-ontology.kif 17613-17613	Pushing ist eine teilkategorie von Motion
(subclass Radiating Motion)	Merge.kif 13645-13645	Radiating ist eine teilkategorie von Motion
(subclass Reversing Motion)	Mid-level-ontology.kif 17513-17513	Reversing ist eine teilkategorie von Motion
(subclass Rotating Motion)	Mid-level-ontology.kif 17441-17441	Rotating ist eine teilkategorie von Motion
(subclass Stretching Motion)	Mid-level-ontology.kif 17133-17133	Stretching ist eine teilkategorie von Motion
(subclass Swarming Motion)	Geography.kif 6795-6795	Swarming ist eine teilkategorie von Motion

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain moves 1 Motion)	Merge.kif 10979-10979	Die Zahl 1 Argument von moves ist ein fall von Motion %n{nicht}
(domain path 1 Motion)	Merge.kif 11075-11075	Die Zahl 1 Argument von path ist ein fall von Motion %n{nicht}
(domain windDrivenMotion 2 Motion)	Weather.kif 328-328	Die Zahl 2 Argument von windDrivenMotion ist ein fall von Motion %n{nicht}

antecedent

(=> (and (instance ?C Clutch) (instance ?A Automobile) (instance ?E Engine) (instance ?G Gearbox) (instance ?GEAR Gear) (part ?GEAR ?G) (part ?G ?A) (part ?C ?A) (part ?E ?A) (instance ?M Motion) (patient ?M ?E) (attribute ?C DeviceOff)) (exists (?M2) (and (instance ?M2 Motion) (patient ?M2 ?G) (causes ?M ?M2))))	Cars.kif 1838-1856	Wenn Object ist ein fall von Clutch %n{nicht} und Object ist ein fall von Automobile %n{nicht} und Object ist ein fall von Engine %n{nicht} und Object ist ein fall von Gearbox %n{nicht} und ObjectEAR ist ein fall von Gear %n{nicht} und ObjectEAR ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Process ist ein fall von Motion %n{nicht} und Object ist ein patient von Process %n{nicht} und DeviceOff ist ein attribut von Object %n{nicht}, dann es gibt Process2 um Process2 ist ein fall von Motion %n{nicht} und Object ist ein patient von Process2 %n{nicht} und Process verursacht ** Process2 %n{nicht}
(=> (and (instance ?C Clutch) (instance ?A Automobile) (instance ?E Engine) (instance ?G Gearbox) (instance ?GEAR Gear) (part ?GEAR ?G) (part ?G ?A) (part ?C ?A) (part ?E ?A) (instance ?M Motion) (patient ?M ?E) (attribute ?C DeviceOn)) (not (exists (?M2) (and (instance ?M2 Motion) (patient ?M2 ?G) (causes ?M ?M2)))))	Cars.kif 1817-1836	Wenn Object ist ein fall von Clutch %n{nicht} und Object ist ein fall von Automobile %n{nicht} und Object ist ein fall von Engine %n{nicht} und Object ist ein fall von Gearbox %n{nicht} und ObjectEAR ist ein fall von Gear %n{nicht} und ObjectEAR ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Process ist ein fall von Motion %n{nicht} und Object ist ein patient von Process %n{nicht} und DeviceOn ist ein attribut von Object %n{nicht}, dann es gibt nicht Process2 um Process2 ist ein fall von Motion %n{nicht} und Object ist ein patient von Process2 %n{nicht} und Process verursacht ** Process2 %n{nicht}
(=> (and (instance ?E Motion) (instance ?T Tremor) (instance ?D Damper) (patient ?T ?O) (part ?D ?O) (causes ?E ?T) (instance ?U UnitOfLength) (holdsDuring (WhenFn ?E) (physicalAmplitude ?T (MeasureFn ?A1 ?U))) (holdsDuring (ImmediateFutureFn ?E) (physicalAmplitude ?T (MeasureFn ?A2 ?U)))) (greaterThan ?A1 ?A2))	Cars.kif 777-792	Wenn Process ist ein fall von Motion %n{nicht} und Process ist ein fall von Tremor %n{nicht} und Object ist ein fall von Damper %n{nicht} und Object ist ein patient von Process %n{nicht} und Object ist ein teil von Object %n{nicht} und Process verursacht Process %n{nicht} und Entity ist ein fall von UnitOfLength %n{nicht} und physicalAmplitude Process and RealNumber Entity(s) haelt waehrend die zeit des Bestehens von Process %n{nicht} und physicalAmplitude Process and RealNumber Entity(s) haelt waehrend sofort nach Process %n{nicht}, dann RealNumber ist groesserAls RealNumber %n{nicht}
(=> (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	Wenn Object ist ein fall von FanBelt %n{nicht} und Object ist ein fall von EngineFan %n{nicht} und Object ist ein fall von Automobile %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Process ist ein fall von Motion %n{nicht} und Object ist ein patient von Process %n{nicht}, dann Object hat Zweck von es gibt Process2 um Process2 ist ein fall von Rotating %n{nicht} und Process verursacht Process2 %n{nicht} und Object ist ein patient von ** Process2 %n{nicht} %n{nicht}
(=> (and (instance ?GUIDE GuidingMotion) (patient ?GUIDE ?MOVED) (subProcess ?MOTION ?GUIDE) (instance ?MOTION Motion)) (patient ?MOTION ?MOVED))	ComputerInput.kif 85-91	Wenn Process ist ein fall von GuidingMotion %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist ein subProzess von Process und Process ist ein fall von Motion %n{nicht}, dann Entity ist ein patient von Process %n{nicht}
(=> (and (instance ?GUIDE GuidingMotion) (subProcess ?MOTION ?GUIDE) (instance ?MOTION Motion) (patient ?MOTION ?MOVED)) (patient ?GUIDE ?MOVED))	ComputerInput.kif 93-99	Wenn Process ist ein fall von GuidingMotion %n{nicht} und Process ist ein subProzess von Process und Process ist ein fall von Motion %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein patient von Process %n{nicht}
(=> (and (instance ?L Lever) (instance ?P Pushing) (instance ?M1 Motion) (instance ?U UnitOfLength) (destination ?P ?E1) (physicalEnd ?E1 ?L) (physicalEnd ?E2 ?L) (not (equal ?E1 ?E2)) (holdsDuring (ImmediatePastFn (WhenFn ?M1)) (located ?E1 ?P1)) (holdsDuring (ImmediateFutureFn (WhenFn ?M1)) (located ?E1 ?P2)) (holdsDuring (ImmediatePastFn (WhenFn ?M1)) (located ?E2 ?P3)) (holdsDuring (ImmediateFutureFn (WhenFn ?M1)) (located ?E2 ?P4)) (distance ?P1 ?P2 (MeasureFn ?D1 ?U)) (distance ?P3 ?P4 (MeasureFn ?D2 ?U))) (greaterThan ?D2 ?D1))	Mid-level-ontology.kif 1332-1355	Wenn Object ist ein fall von Lever %n{nicht} und Process ist ein fall von Pushing %n{nicht} und Physical ist ein fall von Motion %n{nicht} und UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und Process endet an Object %n{nicht} und physicalEnd Object and Object und physicalEnd Object and Object und Object ist gleich Object nicht und Object befindet sich an %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Physical %n{nicht} und Object befindet sich an %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von Physical %n{nicht} und Object befindet sich an %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Physical %n{nicht} und Object befindet sich an %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von Physical %n{nicht} und der abstand zwischen Process1 und Process2 ist RealNumber UnitOfMeasure(s) und der abstand zwischen Process3 und Process4 ist RealNumber UnitOfMeasure(s), dann RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (and (instance ?MOTION Motion) (moves ?MOTION ?OBJ) (destination ?MOTION ?PLACE)) (holdsDuring (EndFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))	Merge.kif 11052-11057	Wenn Motion ist ein fall von Motion %n{nicht} und moves Motion and Object und Motion endet an Entity %n{nicht}, dann Object befindet sich an %n{nicht} haelt waehrend das ende von die zeit des Bestehens von Motion %n{nicht}
(=> (and (instance ?MOTION Motion) (moves ?MOTION ?OBJ) (origin ?MOTION ?PLACE)) (holdsDuring (BeginFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))	Merge.kif 11036-11041	Wenn Motion ist ein fall von Motion %n{nicht} und moves Motion and Object und Motion beginnet an Object %n{nicht}, dann Object befindet sich an %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Motion %n{nicht}
(=> (and (instance ?PIPE CrudeOilPipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?OIL)) (instance ?OIL Petroleum))	Transportation.kif 801-807	Wenn Object ist ein fall von CrudeOilPipeline %n{nicht} und Process ist ein fall von Motion %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein fall von Petroleum %n{nicht}
(=> (and (instance ?PIPE NaturalGasPipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?GAS)) (instance ?GAS NaturalGas))	Transportation.kif 813-819	Wenn Object ist ein fall von NaturalGasPipeline %n{nicht} und Process ist ein fall von Motion %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein fall von NaturalGas %n{nicht}
(=> (and (instance ?PIPE PetroleumProductPipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?STUFF)) (instance ?STUFF PetroleumProduct))	Transportation.kif 826-832	Wenn Object ist ein fall von PetroleumProductPipeline %n{nicht} und Process ist ein fall von Motion %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein fall von PetroleumProduct %n{nicht}
(=> (and (instance ?PIPE Pipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?STUFF)) (instance ?STUFF (ExtensionFn Fluid)))	Transportation.kif 777-783	Wenn Object ist ein fall von Pipeline %n{nicht} und Process ist ein fall von Motion %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein fall von die kategorie, die Fluid entspricht %n{nicht}
(=> (instance ?MOTION Motion) (exists (?OBJ) (and (instance ?OBJ Object) (moves ?MOTION ?OBJ))))	Merge.kif 11018-11023	Wenn Motion ist ein fall von Motion %n{nicht}, dann es gibt Object um Object ist ein fall von Object %n{nicht} und moves Motion and ** Object

consequent

(=> (and (attribute ?X WheelchairAccessible) (or (instance ?X Building) (instance ?X Room))) (modalAttribute (exists (?MOTION ?WHEELCHAIR) (and (instance ?MOTION Motion) (instrument ?MOTION ?WHEELCHAIR) (instance ?WHEELCHAIR Wheelchair) (eventLocated ?MOTION ?X))) Possibility))	Mid-level-ontology.kif 26159-26171	Wenn WheelchairAccessible ist ein attribut von Object %n{nicht} und Object ist ein fall von Building %n{nicht} oder Object ist ein fall von Room %n{nicht}, dann die Aussage es gibt entity und entity um entity ist ein fall von Motion %n{nicht} und entity ist ein instrument fuer entity %n{nicht} und entity ist ein fall von Wheelchair %n{nicht} und eventLocated entity and ** Object hat die modale Kraft von Possibility
(=> (and (instance ?ATTR SpeedScaleAttribute) (property ?X ?ATTR)) (instance ?X Motion))	Weather.kif 2056-2060	Wenn Attribute ist ein fall von SpeedScaleAttribute %n{nicht} und Entity hat ein attribut Attribute %n{nicht}, dann Entity ist ein fall von Motion %n{nicht}
(=> (and (instance ?B VehicleBrake) (instance ?V Vehicle) (part ?B ?V)) (hasPurpose ?B (exists (?S) (and (instance ?S (StopFn Motion)) (patient ?S ?V) (instrument ?S ?B)))))	Mid-level-ontology.kif 3416-3426	Wenn Object ist ein fall von VehicleBrake %n{nicht} und Object ist ein fall von Vehicle %n{nicht} und Object ist ein teil von Object %n{nicht}, dann Object hat Zweck von es gibt entity um entity ist ein fall von StopFn Motion %n{nicht} und Object ist ein patient von entity %n{nicht} und Object ist ein instrument fuer ** entity %n{nicht} %n{nicht}
(=> (and (instance ?C Clutch) (instance ?A Automobile) (instance ?E Engine) (instance ?G Gearbox) (instance ?GEAR Gear) (part ?GEAR ?G) (part ?G ?A) (part ?C ?A) (part ?E ?A) (instance ?M Motion) (patient ?M ?E) (attribute ?C DeviceOff)) (exists (?M2) (and (instance ?M2 Motion) (patient ?M2 ?G) (causes ?M ?M2))))	Cars.kif 1838-1856	Wenn Object ist ein fall von Clutch %n{nicht} und Object ist ein fall von Automobile %n{nicht} und Object ist ein fall von Engine %n{nicht} und Object ist ein fall von Gearbox %n{nicht} und ObjectEAR ist ein fall von Gear %n{nicht} und ObjectEAR ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Process ist ein fall von Motion %n{nicht} und Object ist ein patient von Process %n{nicht} und DeviceOff ist ein attribut von Object %n{nicht}, dann es gibt Process2 um Process2 ist ein fall von Motion %n{nicht} und Object ist ein patient von Process2 %n{nicht} und Process verursacht ** Process2 %n{nicht}
(=> (and (instance ?C Clutch) (instance ?A Automobile) (instance ?E Engine) (instance ?G Gearbox) (instance ?GEAR Gear) (part ?GEAR ?G) (part ?G ?A) (part ?C ?A) (part ?E ?A) (instance ?M Motion) (patient ?M ?E) (attribute ?C DeviceOn)) (not (exists (?M2) (and (instance ?M2 Motion) (patient ?M2 ?G) (causes ?M ?M2)))))	Cars.kif 1817-1836	Wenn Object ist ein fall von Clutch %n{nicht} und Object ist ein fall von Automobile %n{nicht} und Object ist ein fall von Engine %n{nicht} und Object ist ein fall von Gearbox %n{nicht} und ObjectEAR ist ein fall von Gear %n{nicht} und ObjectEAR ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Process ist ein fall von Motion %n{nicht} und Object ist ein patient von Process %n{nicht} und DeviceOn ist ein attribut von Object %n{nicht}, dann es gibt nicht Process2 um Process2 ist ein fall von Motion %n{nicht} und Object ist ein patient von Process2 %n{nicht} und Process verursacht ** Process2 %n{nicht}
(=> (and (instance ?SAW Saw) (instance ?CUT Cutting) (instrument ?CUT ?SAW) (instance ?OBJ Object) (patient ?CUT ?OBJ)) (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART) (and (instance ?MOTION Motion) (subProcess ?MOTION ?CUT) (instance ?PART CuttingDevice) (part ?PART ?SAW) (meetsSpatially ?PART ?OBJ) (patient ?MOTION ?PART) (instance ?T2 TimeInterval) (instance ?T2 TimeInterval) (equal (WhenFn ?MOTION) ?TIME) (temporalPart ?TIME ?T1) (temporalPart ?TIME ?T2) (instance ?DIR1 DirectionalAttribute) (instance ?DIR2 DirectionalAttribute) (=> (holdsDuring ?T1 (direction ?MOTION ?DIR1)) (holdsDuring ?T2 (and (direction ?MOTION ?DIR2) (or (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2)) (not (and (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2)))))))))	Mid-level-ontology.kif 18150-18184	Wenn Object ist ein fall von Saw %n{nicht} und Process ist ein fall von Cutting %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von Object %n{nicht} und Object ist ein patient von Process %n{nicht}, dann es gibt Process, Entity,, , Entity,, , TimeInterval,, , TimePosition,, , TimePosition, and und Object um Process ist ein fall von Motion %n{nicht} und Process ist ein subProzess von Process und Object ist ein fall von CuttingDevice %n{nicht} und Object ist ein teil von Object %n{nicht} und Object schliesst Object raeumlich an und Object ist ein patient von Process %n{nicht} und TimePosition ist ein fall von TimeInterval %n{nicht} und TimePosition ist ein fall von TimeInterval %n{nicht} und die zeit des Bestehens von Process ist gleich TimeInterval %n{nicht} und TimeInterval ist ein teil von TimePosition %n{nicht} und TimeInterval ist ein teil von TimePosition %n{nicht} und Entity ist ein fall von DirectionalAttribute %n{nicht} und Entity ist ein fall von DirectionalAttribute %n{nicht} und wenn Wesen bei Process bewegen Entity haelt waehrend TimePosition %n{nicht}, dann Wesen bei Process bewegen Entity und Entity ist gleich Entity %n{nicht} oder oppositeDirection Entity and Entity und ~{ Entity ist gleich Entity %n{nicht} } oder ~{ oppositeDirection Entity and Entity } haelt waehrend ** TimePosition %n{nicht}
(=> (and (not (instance ?A AutonomousAgent)) (holdsDuring ?T (attribute ?A Motionless))) (not (exists (?P) (and (instance ?P Motion) (patient ?P ?A) (during (WhenFn ?P) ?T)))))	Mid-level-ontology.kif 30255-30266	Wenn Entity ist ein fall von AutonomousAgent nicht und Motionless ist ein attribut von Entity %n{nicht} haelt waehrend TimeInterval %n{nicht}, dann es gibt nicht Process um Process ist ein fall von Motion %n{nicht} und Entity ist ein patient von Process %n{nicht} und die zeit des Bestehens von Process geschieht waehrend TimeInterval %n{nicht}
(=> (and (speedScaleAttributeMinMax ?ATTR (MeasureFn ?MIN ?U) (MeasureFn ?MAX ?U)) (instance ?U UnitOfMeasure)) (exists (?X ?SPEED) (and (instance ?X Motion) (property ?X ?ATTR) (measure ?X (MeasureFn ?SPEED ?U)) (greaterThanOrEqualTo ?SPEED ?MIN) (lessThanOrEqualTo ?SPEED ?MAX))))	Weather.kif 2130-2143	Wenn speedScaleAttributeMinMax SpeedScaleAttribute, RealNumber UnitOfMeasure(s) and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfMeasure %n{nicht}, dann es gibt Physical und RealNumber um Physical ist ein fall von Motion %n{nicht} und Physical hat ein attribut SpeedScaleAttribute %n{nicht} und das mass von Physical ist RealNumber UnitOfMeasure(s) %n{nicht} und RealNumber ist groesserAlsOderGleich RealNumber %n{nicht} und RealNumber ist kleinerAlsOderGleich RealNumber %n{nicht}
(=> (attribute ?X Locked) (exists (?LOCK ?CLOSE ?MOVE) (and (instance ?LOCK Lock) (connected ?LOCK ?X) (instance ?CLOSE Closing) (patient ?CLOSE ?LOCK) (instance ?MOVE Motion) (earlier (WhenFn ?CLOSE) (WhenFn (attribute ?X Locked))) (holdsDuring (WhenFn (attribute ?X Locked)) (not (modalAttribute (patient ?MOVE ?X) Possibility))))))	Mid-level-ontology.kif 2698-2714	Wenn Locked ist ein attribut von Object %n{nicht}, dann es gibt Object, Process, and und Entity um Object ist ein fall von Lock %n{nicht} und Object wird an Object angeschlossen und Process ist ein fall von Closing %n{nicht} und Object ist ein patient von Process %n{nicht} und Entity ist ein fall von Motion %n{nicht} und die zeit des Bestehens von Process geschieht frueh als die zeit des Bestehens von Locked ist ein attribut von Object %n{nicht} %n{nicht} und nicht die Aussage Object ist ein patient von Entity %n{nicht} hat die modale Kraft von Possibility haelt waehrend die zeit des Bestehens von Locked ist ein attribut von Object %n{nicht} %n{nicht}
(=> (instance ?C Catheter) (hasPurpose ?C (exists (?M ?O ?OBJ ?L) (and (instance ?O Organism) (instance ?M Motion) (moves ?M ?OBJ) (orientation ?L ?O Outside) (path ?M ?C) (or (and (origin ?M ?L) (destination ?M ?O)) (and (origin ?M ?O) (destination ?M ?L)))))))	Medicine.kif 548-564	Wenn Physical ist ein fall von Catheter %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entityBJ, and und entity um entity ist ein fall von Organism %n{nicht} und entity ist ein fall von Motion %n{nicht} und moves entity and entityBJ und entity ist Outside hinsichlich entity %n{nicht} und Physical ist der pfad entlang dem entity geschieht und entity beginnet an entity %n{nicht} und entity endet an entity %n{nicht} oder entity beginnet an entity %n{nicht} und entity endet an ** entity %n{nicht} %n{nicht}
(=> (instance ?GUIDE GuidingMotion) (exists (?MOTION) (and (subProcess ?MOTION ?GUIDE) (instance ?MOTION Motion))))	ComputerInput.kif 71-76	Wenn Process ist ein fall von GuidingMotion %n{nicht}, dann es gibt Process um Process ist ein subProzess von Process und Process ist ein fall von Motion %n{nicht}
(=> (instance ?I IntermittentCombustionEngine) (hasPurpose ?I (exists (?E ?M) (and (instance ?E Explosion) (instance ?M Motion) (eventLocated ?E ?I) (eventLocated ?M ?I) (causes ?E ?M)))))	Cars.kif 280-289	Wenn Physical ist ein fall von IntermittentCombustionEngine %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Explosion %n{nicht} und entity ist ein fall von Motion %n{nicht} und eventLocated entity and Physical und eventLocated entity and Physical und entity verursacht ** entity %n{nicht} %n{nicht}
(=> (instance ?I InternalCombustionEngine) (hasPurpose ?I (exists (?C ?M ?P) (and (instance ?C Combustion) (instance ?M Motion) (part ?P ?I) (patient ?M ?P)))))	Cars.kif 57-65	Wenn Physical ist ein fall von InternalCombustionEngine %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Combustion %n{nicht} und entity ist ein fall von Motion %n{nicht} und entity ist ein teil von Physical %n{nicht} und entity ist ein patient von ** entity %n{nicht} %n{nicht}
(=> (instance ?MJ MechanicalJoint) (hasPurpose ?MJ (exists (?S ?P1 ?P2 ?M) (and (instance ?M Motion) (instance ?S PhysicalSystem) (instance ?P1 EngineeringComponent) (instance ?P2 EngineeringComponent) (part ?P1 PhysicalSystem) (part ?MJ PhysicalSystem) (part ?P2 PhysicalSystem) (not (patient ?M ?P1)) (patient ?M ?P2) (connectedEngineeringComponents ?P1 ?MJ) (connectedEngineeringComponents ?P2 ?MJ)))))	Cars.kif 1381-1397	Wenn Physical ist ein fall von MechanicalJoint %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Motion %n{nicht} und entity ist ein fall von PhysicalSystem %n{nicht} und entity ist ein fall von EngineeringComponent %n{nicht} und entity ist ein fall von EngineeringComponent %n{nicht} und entity ist ein teil von PhysicalSystem %n{nicht} und Physical ist ein teil von PhysicalSystem %n{nicht} und entity ist ein teil von PhysicalSystem %n{nicht} und entity ist ein patient von entity nicht und entity ist ein patient von entity %n{nicht} und entity wird mit Physical angeschlossen und entity wird mit Physical angeschlossen %n{nicht}
(=> (instance ?TUB WhirlpoolTub) (exists (?VALVE) (and (instance ?VALVE PressureControlValve) (part ?VALVE ?TUB) (hasPurpose ?VALVE (exists (?WATER ?CREATION ?MOTION) (and (instance ?WATER Water) (located ?WATER ?TUB) (instance ?CREATION Creation) (instrument ?CREATION ?VALVE) (result ?CREATION ?MOTION) (instance ?MOTION Motion) (located ?MOTION ?WATER)))))))	Mid-level-ontology.kif 25283-25298	Wenn Object ist ein fall von WhirlpoolTub %n{nicht}, dann es gibt Object um Object ist ein fall von PressureControlValve %n{nicht} und Object ist ein teil von Object %n{nicht} und Object hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Water %n{nicht} und entity befindet sich an %n{nicht} und entity ist ein fall von Creation %n{nicht} und Object ist ein instrument fuer entity %n{nicht} und entity ist ein resultat von entity %n{nicht} und entity ist ein fall von Motion %n{nicht} und entity befindet sich an %n{nicht} %n{nicht}
(=> (instance ?X (JuiceOfFn ?Y)) (exists (?Z ?P) (and (instance ?Z ?Y) (instance ?P Motion) (resource ?P ?Z) (result ?P ?X))))	Food.kif 2603-2610	Wenn Entity ist ein fall von JuiceOfFn FruitOrVegetable %n{nicht}, dann es gibt Object und Process um Object ist ein fall von FruitOrVegetable %n{nicht} und Process ist ein fall von Motion %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Entity ist ein resultat von Process %n{nicht}
(=> (instance ?X WaterSkiing) (exists (?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION) (and (instance ?BOAT WaterVehicle) (instance ?WATER WaterArea) (instance ?SKI WaterSki) (eventLocated ?X ?WATER) (instance ?HUMAN Human) (located ?HUMAN ?SKI) (connects ?LINE ?HUMAN ?BOAT) (instance ?TRANS Transportation) (instrument ?TRANS ?BOAT) (instance ?MOTION Motion) (agent ?MOTION ?HUMAN) (instrument ?MOTION ?SKI) (causes ?TRANS ?MOTION) (subProcess ?MOTION ?X))))	Sports.kif 1246-1263	Wenn Process ist ein fall von WaterSkiing %n{nicht}, dann es gibt AutonomousAgent, Object,, , Object,, , Object,, , Object,, , Process, and und Process um Object ist ein fall von WaterVehicle %n{nicht} und Object ist ein fall von WaterArea %n{nicht} und Object ist ein fall von WaterSki %n{nicht} und eventLocated Process and Object und AutonomousAgent ist ein fall von Human %n{nicht} und AutonomousAgent befindet sich an %n{nicht} und Object schleisst AutonomousAgent und Object an und Process ist ein fall von Transportation %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Process ist ein fall von Motion %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Process verursacht Process %n{nicht} und Process ist ein subProzess von ** Process
(=> (instance ?X WindSurfing) (exists (?BOARD ?WATER ?MOTION ?WIND) (and (instance ?BOARD WindSurfingBoard) (instance ?WATER WaterArea) (instance ?WIND Wind) (instance ?MOTION Motion) (eventLocated ?X ?WATER) (subProcess ?MOTION ?X) (instrument ?MOTION ?BOARD) (causes ?WIND ?MOTION))))	Sports.kif 1304-1315	Wenn Process ist ein fall von WindSurfing %n{nicht}, dann es gibt Object, Object,, , Process, and und Process um Object ist ein fall von WindSurfingBoard %n{nicht} und Object ist ein fall von WaterArea %n{nicht} und Process ist ein fall von Wind %n{nicht} und Process ist ein fall von Motion %n{nicht} und eventLocated Process and Object und Process ist ein subProzess von Process und Object ist ein instrument fuer Process %n{nicht} und Process verursacht ** Process %n{nicht}

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: