(=>     (instance ?F Facility)     (hasPurpose ?F         (exists (?P)             (and                 (instance ?P Process)                 (eventLocated ?P ?F)))))	Mid-level-ontology.kif 7698-7704	例 Physical and Facility 有目的 Physical and entity 例 entity and Process entity 是 located 在 Physical
(=>     (instance ?F Fireplace)     (hasPurpose ?F         (exists (?C)             (and                 (instance ?C Combustion)                 (eventLocated ?C ?F)))))	Mid-level-ontology.kif 16731-16737	例 Physical and 壁爐 有目的 Physical and entity 例 entity and Combustion entity 是 located 在 Physical
(=>     (instance ?F FourStrokeEngineCycle)     (exists (?E)         (and             (instance ?E FourStrokeEngine)             (eventLocated ?F ?E))))	Cars.kif 140-145	例 Process and FourStrokeEngineCycle Object 例 Object and FourStrokeEngine Process 是 located 在 Object
(=>     (instance ?F TwoStrokeEngineCycle)     (exists (?E)         (and             (instance ?E TwoStrokeEngine)             (eventLocated ?F ?E))))	Cars.kif 257-262	例 Process and TwoStrokeEngineCycle Object 例 Object and TwoStrokeEngine Process 是 located 在 Object
(=>     (instance ?FACILITY SkiingFacility)     (exists (?SLOPE ?SKIING)         (and             (instance ?SLOPE SlopedArea)             (part ?SLOPE ?FACILITY)             (instance ?SKIING Skiing)             (eventLocated ?SKIING ?SLOPE))))	Sports.kif 1107-1114	例 Object and SkiingFacility Object Process 例 Object and 傾斜的區域 部分 Object and Object 例 Process and Skiing Process 是 located 在 Object
(=>     (instance ?FACILITY WMDWeaponsProductionFacility)     (exists (?DEVELOP)         (and             (instance ?DEVELOP DevelopingWeaponOfMassDestruction)             (eventLocated ?DEVELOP ?FACILITY))))	WMD.kif 630-635	例 Object and 大規模殺傷性武器生產設施 Process 例 Process and 發展大規模殺傷性武器 Process 是 located 在 Object
(=>     (instance ?FACILITY WMDWeaponsResearchFacility)     (exists (?RESEARCH)         (and             (instance ?RESEARCH ResearchingWeaponOfMassDestruction)             (eventLocated ?RESEARCH ?FACILITY))))	WMD.kif 641-646	例 Object and WMD武器研究設施 Process 例 Process and 研究大規模殺傷性武器 Process 是 located 在 Object
(=>     (instance ?FIRE ForestFire)     (exists (?FOREST)         (and             (instance ?FOREST Forest)             (eventLocated ?FIRE ?FOREST)             (patient ?FIRE ?FOREST))))	Geography.kif 2565-2571	例 Process and 森林火災 Object 例 Object and 森林 Process 是 located 在 Object 患者 Process and Object
(=>     (instance ?FIRE GrassFire)     (exists (?GRASS)         (and             (instance ?GRASS Grass)             (eventLocated ?FIRE ?GRASS)             (patient ?FIRE ?GRASS))))	Geography.kif 2575-2581	例 Process and 草火 Object 例 Object and 草 Process 是 located 在 Object 患者 Process and Object
(=>     (instance ?FLY Flying)     (exists (?REGION)         (and             (instance ?REGION AtmosphericRegion)             (eventLocated ?FLY ?REGION))))	Mid-level-ontology.kif 18780-18785	例 Process and 飛行 Object 例 Object and 大氣地區 Process 是 located 在 Object
(=>     (instance ?FSE FourStrokeEngine)     (hasPurpose ?FSE         (exists (?I ?CM ?CB ?E ?I2)             (and                 (instance ?I FourStrokeIntake)                 (instance ?CM FourStrokeCompression)                 (instance ?CB FourStrokeCombustion)                 (instance ?E FourStrokeExhaust)                 (instance ?I2 FourStrokeIntake)                 (eventLocated ?I ?FSE)                 (eventLocated ?CM ?FSE)                 (eventLocated ?CB ?FSE)                 (eventLocated ?E ?FSE)                 (eventLocated ?I2 ?FSE)                 (meetsTemporally ?I ?CM)                 (meetsTemporally ?CM ?CB)                 (meetsTemporally ?CB ?E)                 (meetsTemporally ?E ?I2)))))	Cars.kif 114-132	例 Physical and FourStrokeEngine 有目的 Physical and entity entity, entity, entity and entity2 例 entity and FourStrokeIntake 例 entity and FourStrokeCompression 例 entity and FourStrokeCombustion 例 entity and FourStrokeExhaust 例 entity2 and FourStrokeIntake entity 是 located 在 Physical entity 是 located 在 Physical entity 是 located 在 Physical entity 是 located 在 Physical entity2 是 located 在 Physical 短暫相遇 entity and entity 短暫相遇 entity and entity 短暫相遇 entity and entity 短暫相遇 entity and entity2
(=>     (instance ?G MiniatureGolf)     (hasPurpose ?G         (exists (?REC)             (and                 (instance ?REC RecreationOrExercise)                 (eventLocated ?REC ?G)))))	Sports.kif 1041-1047	例 Physical and MiniatureGolf 有目的 Physical and entity 例 entity and RecreationOrExercise entity 是 located 在 Physical
(=>     (instance ?G SportsFacility)     (hasPurpose ?G         (exists (?S)             (and                 (instance ?S Sport)                 (eventLocated ?S ?G)))))	Mid-level-ontology.kif 8172-8178	例 Physical and 體育設施 有目的 Physical and entity 例 entity and Sport entity 是 located 在 Physical
(=>     (instance ?GROUND SportsGround)     (hasPurpose ?GROUND         (exists (?SPORT)             (and                 (instance ?SPORT Sport)                 (eventLocated ?SPORT ?GROUND)))))	Mid-level-ontology.kif 17050-17056	例 Physical and 運動場 有目的 Physical and entity 例 entity and Sport entity 是 located 在 Physical
(=>     (instance ?H Hurricane)     (exists (?TC ?PLACE ?WIND)         (and             (instance ?TC TropicalCyclone)             (instance ?PLACE GeographicArea)             (eventLocated ?TC ?PLACE)             (equal                 (MeasureFn ?WIND MilesPerHour)                 (Mean1MinuteWindSpeedFn ?PLACE                     (WhenFn ?TC)))             (greaterThanOrEqualTo ?WIND 74.0))))	Weather.kif 724-735	例 Entity and 颶風 Process GeographicArea and RealNumber 例 Process and 熱帶氣旋 例 GeographicArea and GeographicArea Process 是 located 在 GeographicArea equal 測量 RealNumber and MilesPerHour and Mean1MinuteWindSpeedFn GeographicArea and 何時 Process 大於或等於 RealNumber and 74.0
(=>     (instance ?HR HeavyRaining)     (holdsDuring         (WhenFn ?HR)         (exists (?AREA ?NUM)             (and                 (instance ?AREA Region)                 (eventLocated ?HR ?AREA)                 (rainfallIntensity ?AREA                     (WhenFn ?HR)                     (PerFn                         (MeasureFn ?NUM Millimeter)                         (MeasureFn 1 HourDuration)))                 (greaterThan ?NUM 10.0)                 (greaterThan 50.0 ?NUM)))))	Weather.kif 1344-1358	例 Physical and 大雨 持有期間 何時 Physical and entity entity 例 entity and Region Physical 是 located 在 entity rain 的 rate 在 entity 期間 何時 Physical 是 測量 1 and 小時 是 測量 entity and 毫米 的 per 比較多 entity and 10.0 比較多 50.0 and entity
(=>     (instance ?HS HeavySurf)     (exists (?SZ ?SWH)         (and             (instance ?SZ SurfZone)             (eventLocated ?HS ?SZ)             (significantWaveHeight ?SZ                 (WhenFn ?HS)                 (MeasureFn ?SWH FootLength))             (greaterThanOrEqualTo ?SWH 13.0))))	Weather.kif 2281-2290	例 Process and 高激浪 WaterArea RealNumber 例 WaterArea and SurfZone Process 是 located 在 WaterArea significantWaveHeight WaterArea, 何時 Process and 測量 RealNumber and 腳長 大於或等於 RealNumber and 13.0
(=>     (instance ?HS HeavySurf)     (holdsDuring         (WhenFn ?HS)         (exists (?SZ ?WW)             (and                 (instance ?SZ SurfZone)                 (instance ?WW WaterWave)                 (subProcess ?WW ?HS)                 (eventLocated ?WW ?SZ)))))	Weather.kif 2292-2301	例 Physical and 高激浪 持有期間 何時 Physical and entity entity 例 entity and SurfZone 例 entity and 水波 子過程 entity and Physical entity 是 located 在 entity
(=>     (instance ?I Imprisoning)     (exists (?P)         (and             (instance ?P Prison)             (eventLocated ?I ?P))))	Mid-level-ontology.kif 15295-15300	例 Process and 監禁 Object 例 Object and 監獄 Process 是 located 在 Object
(=>     (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 ?ICM IgnitionControlModule)     (hasPurpose ?ICM         (exists (?S ?A ?CP)             (and                 (instance ?A Automobile)                 (instance ?S Spark)                 (instance ?CP ComputerProcess)                 (part ?ICM ?A)                 (eventLocated ?CP ?A)                 (eventLocated ?S ?A)                 (causes ?CP ?S)))))	Cars.kif 3243-3254	例 Physical and IgnitionControlModule 有目的 Physical and entity entity and entity 例 entity and 汽車 例 entity and Spark 例 entity and 電腦程序 部分 Physical and entity entity 是 located 在 entity entity 是 located 在 entity 原因 entity and entity
(=>     (instance ?K KitchenArea)     (hasPurpose ?K         (exists (?C)             (and                 (instance ?C Cooking)                 (eventLocated ?C ?K)))))	Mid-level-ontology.kif 16919-16925	例 Physical and KitchenArea 有目的 Physical and entity 例 entity and Cooking entity 是 located 在 Physical
(=>     (instance ?KENNEL Kennel)     (hasPurpose ?KENNEL         (exists (?ANIMAL ?CONFINING)             (and                 (instance ?ANIMAL DomesticAnimal)                 (instance ?CONFINING Confining)                 (patient ?CONFINING ?ANIMAL)                 (eventLocated ?CONFINING ?KENNEL)))))	Mid-level-ontology.kif 27015-27023	例 Physical and Kennel 有目的 Physical and entity entity 例 entity and 家畜 例 entity and Confining 患者 entity and entity entity 是 located 在 Physical
(=>     (instance ?L Lightning)     (exists (?C)         (and             (instance ?C WaterCloud)             (eventLocated ?L ?C))))	Weather.kif 960-965	例 Process and 閃電 Object 例 Object and 水雲 Process 是 located 在 Object
(=>     (instance ?LAB Laboratory)     (exists (?EXPERIMENT)         (and             (instance ?EXPERIMENT Experimenting)             (eventLocated ?EXPERIMENT ?LAB))))	Mid-level-ontology.kif 17083-17088	例 Object and 實驗室 Process 例 Process and 試驗 Process 是 located 在 Object
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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