TreeView 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 11037-11037
(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 11035-11035	子類 Motion and Process

appearance as argument number 2

(range FlowFn Motion)	Geography.kif 4894-4894	範圍流 and Motion
(subclass BodyMotion Motion)	Merge.kif 11116-11116	子類 BodyMotion and Motion
(subclass Closing Motion)	Mid-level-ontology.kif 21525-21525	子類關閉 and Motion
(subclass Compressing Motion)	Cars.kif 1988-1988	子類 Compressing and Motion
(subclass DirectionChange Motion)	Merge.kif 11296-11296	子類 DirectionChange and Motion
(subclass EngineCranking Motion)	Cars.kif 2214-2214	子類 EngineCranking and Motion
(subclass EngineCycle Motion)	Cars.kif 80-80	子類 EngineCycle and Motion
(subclass FourStrokeCombustion Motion)	Cars.kif 202-202	子類 FourStrokeCombustion and Motion
(subclass FourStrokeCompression Motion)	Cars.kif 186-186	子類 FourStrokeCompression and Motion
(subclass FourStrokeExhaust Motion)	Cars.kif 219-219	子類 FourStrokeExhaust and Motion
(subclass FourStrokeIntake Motion)	Cars.kif 166-166	子類 FourStrokeIntake and Motion
(subclass GasMotion Motion)	Merge.kif 11266-11266	子類氣體運動 and Motion
(subclass GeologicalProcess Motion)	Merge.kif 11211-11211	子類地質過程 and Motion
(subclass Irrigating Motion)	Geography.kif 5706-5706	子類灌溉 and Motion
(subclass LiquidMotion Motion)	Merge.kif 11242-11242	子類液體運動 and Motion
(subclass MotionDownward Motion)	Merge.kif 11087-11087	子類向下運動 and Motion
(subclass MotionUpward Motion)	Merge.kif 11081-11081	子類向上運動 and Motion
(subclass Opening Motion)	Mid-level-ontology.kif 21518-21518	子類開盤 and Motion
(subclass Pulling Motion)	Mid-level-ontology.kif 17606-17606	子類拉 and Motion
(subclass Pushing Motion)	Mid-level-ontology.kif 17612-17612	子類 Pushing and Motion
(subclass Radiating Motion)	Merge.kif 13667-13667	子類 Radiating and Motion
(subclass Reversing Motion)	Mid-level-ontology.kif 17512-17512	子類逆 and Motion
(subclass Rotating Motion)	Mid-level-ontology.kif 17440-17440	子類旋轉 and Motion
(subclass Stretching Motion)	Mid-level-ontology.kif 17132-17132	子類拉伸 and Motion
(subclass Swarming Motion)	Geography.kif 6795-6795	子類蜂擁 and 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 11001-11001	域移動, 1 and Motion
(domain path 1 Motion)	Merge.kif 11097-11097	域路徑, 1 and Motion
(domain windDrivenMotion 2 Motion)	Weather.kif 328-328	域 windDrivenMotion, 2 and Motion

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 1844-1862	例 Object and Clutch 例 Object and 汽車例 Object and 發動機例 Object and 變速器例 ObjectEAR and 齒輪部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備關閉 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process
(=> (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 1823-1842	例 Object and Clutch 例 Object and 汽車例 Object and 發動機例 Object and 變速器例 ObjectEAR and 齒輪部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備上 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process
(=> (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	例 Process and Motion 例 Process and 震例 Object and Damper 患者 Process and Object 部分 Object and Object 原因 Process and Process 例 Entity and UnitOfLength 持有期間何時 Process and physicalAmplitude Process and 測量 RealNumber and Entity 持有期間眼前的未來 Process and physicalAmplitude Process and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
(=> (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 2736-2750	例 Object and FanBelt 例 Object and EngineFan 例 Object and 汽車部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object 有目的 Object and Process 例 Process and 旋轉原因 Process and Process 患者 Process and Object
(=> (and (instance ?GUIDE GuidingMotion) (patient ?GUIDE ?MOVED) (subProcess ?MOTION ?GUIDE) (instance ?MOTION Motion)) (patient ?MOTION ?MOVED))	ComputerInput.kif 85-91	例 Process and GuidingMotion 患者 Process and Entity 子過程 Process and Process 例 Process and Motion 患者 Process and Entity
(=> (and (instance ?GUIDE GuidingMotion) (subProcess ?MOTION ?GUIDE) (instance ?MOTION Motion) (patient ?MOTION ?MOVED)) (patient ?GUIDE ?MOVED))	ComputerInput.kif 93-99	例 Process and GuidingMotion 子過程 Process and Process 例 Process and Motion 患者 Process and Entity 患者 Process and Entity
(=> (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	例 Object and Lever 例 Process and Pushing 例 Physical and Motion 例 UnitOfMeasure and UnitOfLength 目的地 Process and Object physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 持有期間不久的過去何時 Physical and 位於 Object and Process 持有期間眼前的未來何時 Physical and 位於 Object and Process 持有期間不久的過去何時 Physical and 位於 Object and Process 持有期間眼前的未來何時 Physical and 位於 Object and Process 距離 Process, Process and 測量 RealNumber and UnitOfMeasure 距離 Process, Process and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
(=> (and (instance ?MOTION Motion) (moves ?MOTION ?OBJ) (destination ?MOTION ?PLACE)) (holdsDuring (EndFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))	Merge.kif 11074-11079	例 Motion and Motion 移動 Motion and Object 目的地 Motion and Entity 持有期間結束何時 Motion and 位於 Object and Entity
(=> (and (instance ?MOTION Motion) (moves ?MOTION ?OBJ) (origin ?MOTION ?PLACE)) (holdsDuring (BeginFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))	Merge.kif 11058-11063	例 Motion and Motion 移動 Motion and Object 起源 Motion and Object 持有期間開始何時 Motion and 位於 Object and Object
(=> (and (instance ?PIPE CrudeOilPipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?OIL)) (instance ?OIL Petroleum))	Transportation.kif 801-807	例 Object and 原油管道例 Process and Motion 儀器 Process and Object 患者 Process and Entity 例 Entity and 石油
(=> (and (instance ?PIPE NaturalGasPipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?GAS)) (instance ?GAS NaturalGas))	Transportation.kif 813-819	例 Object and 天然氣管道例 Process and Motion 儀器 Process and Object 患者 Process and Entity 例 Entity and 天然氣
(=> (and (instance ?PIPE PetroleumProductPipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?STUFF)) (instance ?STUFF PetroleumProduct))	Transportation.kif 826-832	例 Object and 石油產品管道例 Process and Motion 儀器 Process and Object 患者 Process and Entity 例 Entity and 石油產品
(=> (and (instance ?PIPE Pipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?STUFF)) (instance ?STUFF (ExtensionFn Fluid)))	Transportation.kif 777-783	例 Object and 管道例 Process and Motion 儀器 Process and Object 患者 Process and Entity 例 Entity and 延期流體
(=> (instance ?MOTION Motion) (exists (?OBJ) (and (instance ?OBJ Object) (moves ?MOTION ?OBJ))))	Merge.kif 11040-11045	例 Motion and Motion Object 例 Object and Object 移動 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 26147-26159	attribute Object and WheelchairAccessible 例 Object and Building 例 Object and Room 模態屬性 entity entity 例 entity and Motion 儀器 entity and entity 例 entity and Wheelchair entity 是 located 在 Object and 可能性
(=> (and (instance ?ATTR SpeedScaleAttribute) (property ?X ?ATTR)) (instance ?X Motion))	Weather.kif 2052-2056	例 Attribute and SpeedScaleAttribute 屬性 Entity and Attribute 例 Entity and Motion
(=> (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	例 Object and 車輛制動器例 Object and 車輛部分 Object and Object 有目的 Object and entity 例 entity and Motion 的 stop 患者 entity and Object 儀器 entity and Object
(=> (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 1844-1862	例 Object and Clutch 例 Object and 汽車例 Object and 發動機例 Object and 變速器例 ObjectEAR and 齒輪部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備關閉 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process
(=> (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 1823-1842	例 Object and Clutch 例 Object and 汽車例 Object and 發動機例 Object and 變速器例 ObjectEAR and 齒輪部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備上 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process
(=> (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 18149-18183	例 Object and 鋸例 Process and Cutting 儀器 Process and Object 例 Object and Object 患者 Process and Object Process Entity, Entity, TimeInterval, TimePosition, TimePosition and Object 例 Process and Motion 子過程 Process and Process 例 Object and 切割裝置部分 Object and Object 空間的符合 Object and Object 患者 Process and Object 例 TimePosition and TimeInterval 例 TimePosition and TimeInterval 等於何時 Process and TimeInterval 時間部分 TimeInterval and TimePosition 時間部分 TimeInterval and TimePosition 例 Entity and DirectionalAttribute 例 Entity and DirectionalAttribute 持有期間 TimePosition and 方向 Process and Entity 持有期間 TimePosition and 方向 Process and Entity 等於 Entity and Entity Entity 是 Entity 的 opposite 方向 ~{ 等於 Entity and Entity } ~{ Entity 是 Entity 的 opposite 方向 }
(=> (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 30243-30254	例 Entity and AutonomousAgent 持有期間 TimeInterval and attribute Entity and Motionless Process 例 Process and Motion 患者 Process and Entity 期間何時 Process and TimeInterval
(=> (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 2126-2139	speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and UnitOfMeasure and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure Physical RealNumber 例 Physical and Motion 屬性 Physical and SpeedScaleAttribute 測量 Physical and 測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber
(=> (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	attribute Object and 鎖定 Object Process and Entity 例 Object and 鎖連接的 Object and Object 例 Process and 關閉患者 Process and Object 例 Entity and Motion 早期何時 Process and 何時 attribute Object and 鎖定持有期間何時 attribute Object and 鎖定 and 模態屬性患者 Entity and Object and 可能性
(=> (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	例 Physical and Catheter 有目的 Physical and entity entity, entityBJ and entity 例 entity and Organism 例 entity and Motion 移動 entity and entityBJ 方位 entity, entity and 外路徑 entity and Physical 起源 entity and entity 目的地 entity and entity 起源 entity and entity 目的地 entity and entity
(=> (instance ?GUIDE GuidingMotion) (exists (?MOTION) (and (subProcess ?MOTION ?GUIDE) (instance ?MOTION Motion))))	ComputerInput.kif 71-76	例 Process and GuidingMotion Process 子過程 Process and Process 例 Process and Motion
(=> (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	例 Physical and IntermittentCombustionEngine 有目的 Physical and entity entity 例 entity and 爆炸例 entity and Motion entity 是 located 在 Physical entity 是 located 在 Physical 原因 entity and entity
(=> (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	例 Physical and 內燃機有目的 Physical and entity entity and entity 例 entity and Combustion 例 entity and Motion 部分 entity and Physical 患者 entity and entity
(=> (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	例 Physical and MechanicalJoint 有目的 Physical and entity entity, entity and entity 例 entity and Motion 例 entity and 物理系統例 entity and EngineeringComponent 例 entity and EngineeringComponent 部分 entity and 物理系統部分 Physical and 物理系統部分 entity and 物理系統患者 entity and entity 患者 entity and entity 連接的工程組件 entity and Physical 連接的工程組件 entity and Physical
(=> (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 25282-25297	例 Object and WhirlpoolTub Object 例 Object and 壓力控制閥部分 Object and Object 有目的 Object and entity entity and entity 例 entity and Water 位於 entity and Object 例 entity and Creation 儀器 entity and Object 結果 entity and entity 例 entity and Motion 位於 entity and entity
(=> (instance ?X (JuiceOfFn ?Y)) (exists (?Z ?P) (and (instance ?Z ?Y) (instance ?P Motion) (resource ?P ?Z) (result ?P ?X))))	Food.kif 2603-2610	例 Entity and FruitOrVegetable 的 juice Object Process 例 Object and FruitOrVegetable 例 Process and Motion 資源 Process and Object 結果 Process and Entity
(=> (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 1247-1264	例 Process and WaterSkiing AutonomousAgent Object, Object, Object, Object, Process and Process 例 Object and 水車例 Object and WaterArea 例 Object and WaterSki Process 是 located 在 Object 例 AutonomousAgent and Human 位於 AutonomousAgent and Object 連接 Object, AutonomousAgent and Object 例 Process and Transportation 儀器 Process and Object 例 Process and Motion agent Process and AutonomousAgent 儀器 Process and Object 原因 Process and Process 子過程 Process and 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 1305-1316	例 Process and WindSurfing Object Object, Process and Process 例 Object and WindSurfingBoard 例 Object and WaterArea 例 Process and 風例 Process and Motion Process 是 located 在 Object 子過程 Process and Process 儀器 Process and Object 原因 Process and Process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: