(=>     (holdsDuring ?T         (and             (attribute ?L ModerateAQIAirQuality)             (airQualityIndex ?L ?I)))     (and         (lessThanOrEqualTo ?I 100)         (greaterThanOrEqualTo ?I 51)))	Weather.kif 3118-3125	持有期間 TimePosition and attribute entity and ModerateAQIAirQuality airQualityIndex entity and RealNumber 小於或等於 RealNumber and 100 大於或等於 RealNumber and 51
(=>     (holdsDuring ?T         (and             (attribute ?L UnhealthyAQIAirQuality)             (airQualityIndex ?L ?I)))     (and         (lessThanOrEqualTo ?I 200)         (greaterThanOrEqualTo ?I 151)))	Weather.kif 3146-3153	持有期間 TimePosition and attribute entity and UnhealthyAQIAirQuality airQualityIndex entity and RealNumber 小於或等於 RealNumber and 200 大於或等於 RealNumber and 151
(=>     (holdsDuring ?T         (and             (attribute ?L UnhealthyAQIAirQuality)             (airQualityIndex ?L ?I)))     (and         (lessThanOrEqualTo ?I 300)         (greaterThanOrEqualTo ?I 201)))	Weather.kif 3160-3167	持有期間 TimePosition and attribute entity and UnhealthyAQIAirQuality airQualityIndex entity and RealNumber 小於或等於 RealNumber and 300 大於或等於 RealNumber and 201
(=>     (holdsDuring ?T         (and             (attribute ?L UnhealthyForSensitiveAQIAirQuality)             (airQualityIndex ?L ?I)))     (and         (lessThanOrEqualTo ?I 150)         (greaterThanOrEqualTo ?I 101)))	Weather.kif 3132-3139	持有期間 TimePosition and attribute entity and UnhealthyForSensitiveAQIAirQuality airQualityIndex entity and RealNumber 小於或等於 RealNumber and 150 大於或等於 RealNumber and 101
(=>     (holdsDuring ?T         (and             (instance ?C Computer)             (attribute ?C AirplaneMode)))     (not         (holdsDuring ?T             (capability                 (NetworkCommunicationFn WirelessNetwork) origin ?C))))	ComputingBrands.kif 1820-1827	持有期間 TimePosition and 例 entity and 電腦 attribute entity and 獨立模式 持有期間 TimePosition and 能力 通信透過 WirelessNetwork, 起源 and entity
(=>     (holdsDuring ?T         (and             (instance ?D DeltaCovidVariant)             (part ?D ?H)             (attribute ?H Covid19)))     (greaterThan ?T         (MonthFn December             (YearFn 2020))))	Medicine.kif 3003-3011	持有期間 RealNumber and 例 entity and DeltaCovidVariant 部分 entity and entity attribute entity and Covid19 比較多 RealNumber and 月 December and 年 2020
(=>     (holdsDuring ?T         (and             (instance ?ICU IntensiveCareUnit)             (stays ?H ?ICU)))     (modalAttribute         (exists (?D)             (and                 (instance ?D Death)                 (finishes                     (WhenFn ?D) ?T))) Possibility))	Mid-level-ontology.kif 20567-20577	持有期間 TimePosition and 例 entity and IntensiveCareUnit entity stays 在 entity 模態屬性 entity 例 entity and Death 飾面 何時 entity and TimePosition and 可能性
(=>     (holdsDuring ?T         (and             (located ?H ?L)             (airTemperature ?L                 (MeasureFn ?T ?TU))             (attribute ?H FeelingCold)))     (desires ?H         (holdsDuring ?T             (and                 (airTemperature ?L                     (MeasureFn ?T2 ?TU))                 (greaterThan ?T2 ?T)))))	emotion.kif 1865-1877	持有期間 TimePosition and 位於 CognitiveAgent and entity 測量 TimePosition and TimePositionU 是 entity 的 air 溫度 attribute CognitiveAgent and FeelingCold 慾望 CognitiveAgent and 持有期間 TimePosition and 測量 TimePosition and TimePositionU 是 entity 的 air 溫度 比較多 TimePosition and TimePosition
(=>     (holdsDuring ?T         (and             (located ?H ?L)             (airTemperature ?L                 (MeasureFn ?T ?TU))             (attribute ?H FeelingHot)))     (desires ?H         (holdsDuring ?T             (and                 (airTemperature ?L                     (MeasureFn ?T2 ?TU))                 (greaterThan ?T ?T2)))))	emotion.kif 1902-1914	持有期間 TimePosition and 位於 CognitiveAgent and entity 測量 TimePosition and TimePositionU 是 entity 的 air 溫度 attribute CognitiveAgent and FeelingHot 慾望 CognitiveAgent and 持有期間 TimePosition and 測量 TimePosition and TimePositionU 是 entity 的 air 溫度 比較多 TimePosition and TimePosition
(=>     (holdsDuring ?T         (and             (maxDeviceOperatingTemp ?D                 (MeasureFn ?T1 ?U))             (instance ?U UnitOfTemperature)             (located ?D ?A)             (attribute ?D DeviceOn)             (airTemperature ?A                 (MeasureFn ?T2 ?U))             (greaterThan ?T2 ?T1)))     (modalAttribute         (holdsDuring             (ImmediateFutureFn ?T)             (attribute ?D DeviceDamaged)) Likely))	ComputingBrands.kif 3629-3642	持有期間 TimePosition and maxDeviceOperatingTemp entity and 測量 TimePosition and entity 例 entity and UnitOfTemperature 位於 entity and entity attribute entity and 設備上 測量 TimePosition and entity 是 entity 的 air 溫度 比較多 TimePosition and TimePosition 模態屬性 持有期間 眼前的未來 TimePosition and attribute entity and DeviceDamaged and 容易
(=>     (holdsDuring ?T         (and             (maxDeviceStorageTemp ?D                 (MeasureFn ?T1 ?U))             (instance ?U UnitOfTemperature)             (located ?D ?A)             (attribute ?D DeviceOff)             (airTemperature ?A                 (MeasureFn ?T2 ?U))             (greaterThan ?T2 ?T1)))     (modalAttribute         (holdsDuring             (ImmediateFutureFn ?T)             (attribute ?D DeviceDamaged)) Likely))	ComputingBrands.kif 3657-3670	持有期間 TimePosition and maxDeviceStorageTemp entity and 測量 TimePosition and entity 例 entity and UnitOfTemperature 位於 entity and entity attribute entity and 設備關閉 測量 TimePosition and entity 是 entity 的 air 溫度 比較多 TimePosition and TimePosition 模態屬性 持有期間 眼前的未來 TimePosition and attribute entity and DeviceDamaged and 容易
(=>     (holdsDuring ?T         (and             (minDeviceOperatingTemp ?D                 (MeasureFn ?T1 ?U))             (instance ?U UnitOfTemperature)             (located ?D ?A)             (attribute ?D DeviceOn)             (airTemperature ?A                 (MeasureFn ?T2 ?U))             (lessThan ?T2 ?T1)))     (modalAttribute         (holdsDuring             (ImmediateFutureFn ?T)             (attribute ?D DeviceDamaged)) Likely))	ComputingBrands.kif 3682-3695	持有期間 TimePosition and minDeviceOperatingTemp entity and 測量 TimePosition and entity 例 entity and UnitOfTemperature 位於 entity and entity attribute entity and 設備上 測量 TimePosition and entity 是 entity 的 air 溫度 少於 TimePosition and TimePosition 模態屬性 持有期間 眼前的未來 TimePosition and attribute entity and DeviceDamaged and 容易
(=>     (holdsDuring ?T         (and             (minDeviceStorageTemp ?D                 (MeasureFn ?T1 ?U))             (instance ?U UnitOfTemperature)             (located ?D ?A)             (attribute ?D DeviceOff)             (airTemperature ?A                 (MeasureFn ?T2 ?U))             (lessThan ?T2 ?T1)))     (modalAttribute         (holdsDuring             (ImmediateFutureFn ?T)             (attribute ?D DeviceDamaged)) Likely))	ComputingBrands.kif 3708-3721	持有期間 TimePosition and minDeviceStorageTemp entity and 測量 TimePosition and entity 例 entity and UnitOfTemperature 位於 entity and entity attribute entity and 設備關閉 測量 TimePosition and entity 是 entity 的 air 溫度 少於 TimePosition and TimePosition 模態屬性 持有期間 眼前的未來 TimePosition and attribute entity and DeviceDamaged and 容易
(=>     (holdsDuring ?T         (and             (oxygenSaturation ?H ?N)             (lessThan ?N 92.0)))     (holdsDuring ?T         (attribute ?H Hypoxia)))	Medicine.kif 1240-1246	持有期間 TimePosition and oxygenSaturation entity and entity 少於 entity and 92.0 持有期間 TimePosition and attribute entity and Hypoxia
(=>     (holdsDuring ?T         (and             (systolicBloodPressure ?H                 (MeasureFn ?NS MmMercury))             (diastolicBloodPressure ?H                 (MeasureFn ?ND MmMercury))             (greaterThan 90.0 ?NS)             (greaterThan 60.0 ?ND)))     (holdsDuring ?T         (attribute ?H LowBloodPressure)))	Mid-level-ontology.kif 10468-10478	持有期間 TimePosition and systolicBloodPressure entity and 測量 entity and mm汞 diastolicBloodPressure entity and 測量 entity and mm汞 比較多 90.0 and entity 比較多 60.0 and entity 持有期間 TimePosition and attribute entity and LowBloodPressure
(=>     (holdsDuring ?T         (and             (systolicBloodPressure ?H                 (MeasureFn ?NS MmMercury))             (diastolicBloodPressure ?H                 (MeasureFn ?ND MmMercury))             (greaterThan ?NS 140.0)             (greaterThan ?ND 90.0)))     (holdsDuring ?T         (attribute ?H HighBloodPressure)))	Mid-level-ontology.kif 10450-10460	持有期間 TimePosition and systolicBloodPressure entity and 測量 entity and mm汞 diastolicBloodPressure entity and 測量 entity and mm汞 比較多 entity and 140.0 比較多 entity and 90.0 持有期間 TimePosition and attribute entity and HighBloodPressure
(=>     (holdsDuring ?T         (attribute ?A Anger))     (modalAttribute         (exists (?HF)             (and                 (instance ?HF AngryFacialExpression)                 (experiencer ?HF ?A)                 (during                     (WhenFn ?HF) ?T))) Likely))	emotion.kif 1244-1253	持有期間 TimePosition and attribute entity and 憤怒 模態屬性 entity 例 entity and AngryFacialExpression 體驗者 entity and entity 期間 何時 entity and TimePosition and 容易
(=>     (holdsDuring ?T         (attribute ?A Clothed))     (holdsDuring ?T         (not             (exists (?P)                 (and                     (instance ?P ReproductiveBody)                     (part ?P ?A)                     (not                         (exists (?C)                             (and                                 (instance ?C Clothing)                                 (covers ?C ?P)))))))))	Mid-level-ontology.kif 30148-30161	持有期間 TimePosition and attribute entity and Clothed 持有期間 TimePosition and entity 例 entity and ReproductiveBody 部分 entity and entity entity 例 entity and Clothing covers entity and entity
(=>     (holdsDuring ?T         (attribute ?A Disgust))     (modalAttribute         (exists (?FE)             (and                 (instance ?FE DisgustedFacialExpression)                 (experiencer ?FE ?A)                 (during                     (WhenFn ?FE) ?T))) Likely))	emotion.kif 1262-1271	持有期間 TimePosition and attribute entity and Disgust 模態屬性 entity 例 entity and DisgustedFacialExpression 體驗者 entity and entity 期間 何時 entity and TimePosition and 容易
(=>     (holdsDuring ?T         (attribute ?A Fear))     (believes ?A         (modalAttribute             (exists (?P)                 (and                     (not                         (wants ?A ?P))                     (before ?T                         (WhenFn ?P)))) Likely)))	emotion.kif 1025-1036	持有期間 TimePosition and attribute CognitiveAgent and Fear 相信 CognitiveAgent and 模態屬性 entity 想要 CognitiveAgent and entity 之前 TimePosition and 何時 entity and 容易
(=>     (holdsDuring ?T         (attribute ?A Fear))     (modalAttribute         (exists (?FE)             (and                 (instance ?FE FearfulFacialExpression)                 (experiencer ?FE ?A)                 (during                     (WhenFn ?FE) ?T))) Likely))	emotion.kif 1344-1353	持有期間 TimePosition and attribute entity and Fear 模態屬性 entity 例 entity and FearfulFacialExpression 體驗者 entity and entity 期間 何時 entity and TimePosition and 容易
(=>     (holdsDuring ?T         (attribute ?A Happiness))     (modalAttribute         (exists (?HF)             (and                 (instance ?HF HappyFacialExpression)                 (experiencer ?HF ?A)                 (during                     (WhenFn ?HF) ?T))) Likely))	emotion.kif 1226-1235	持有期間 TimePosition and attribute entity and 幸福 模態屬性 entity 例 entity and HappyFacialExpression 體驗者 entity and entity 期間 何時 entity and TimePosition and 容易
(=>     (holdsDuring ?T         (attribute ?A InterpersonalDisgust))     (causes         (exists (?P ?H)             (and                 (instance ?P Perception)                 (patient ?P ?H)                 (experiencer ?P ?A)                 (instance ?H Human)                 (during                     (WhenFn ?P) ?T)))         (holdsDuring ?T             (attribute ?A InterpersonalDisgust))))	emotion.kif 865-877	持有期間 TimePosition and attribute entity and InterpersonalDisgust 原因 entity entity 例 entity and Perception 患者 entity and entity 體驗者 entity and entity 例 entity and Human 期間 何時 entity and TimePosition and 持有期間 TimePosition and attribute entity and InterpersonalDisgust
(=>     (holdsDuring ?T         (attribute ?A InterpersonalDisgust))     (exists (?P ?H)         (and             (instance ?P Perception)             (patient ?P ?H)             (experiencer ?P ?A)             (instance ?H Human)             (not                 (equal ?H ?A))             (during                 (WhenFn ?P) ?T))))	emotion.kif 852-863	持有期間 TimeInterval and attribute AutonomousAgent and InterpersonalDisgust Process Entity 例 Process and Perception 患者 Process and Entity 體驗者 Process and AutonomousAgent 例 Entity and Human 等於 Entity and AutonomousAgent 期間 何時 Process and TimeInterval
(=>     (holdsDuring ?T         (attribute ?A Sadness))     (modalAttribute         (exists (?FE)             (and                 (instance ?FE SadFacialExpression)                 (experiencer ?FE ?A)                 (during                     (WhenFn ?FE) ?T))) Likely))	emotion.kif 1325-1334	持有期間 TimePosition and attribute entity and Sadness 模態屬性 entity 例 entity and SadFacialExpression 體驗者 entity and entity 期間 何時 entity and TimePosition and 容易
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