(=>     (and         (resourceConsumption ?PROC ?QUANT)         (instance ?QUANT FunctionQuantity)         (resource ?PROC ?RES)         (equal ?QUANT             (PerFn                 (MeasureFn ?Q ?U)                 (MeasureFn ?DC ?DU)))         (duration             (WhenFn ?PROC)             (MeasureFn ?T ?DU))         (holdsDuring             (BeginFn                 (WhenFn ?PROC))             (measure ?RES                 (MeasureFn ?X ?U)))         (holdsDuring             (EndFn                 (WhenFn ?PROC))             (measure ?RES                 (MeasureFn ?Y ?U))))     (equal ?Y         (MeasureFn             (SubtractionFn ?X                 (MultiplicationFn ?T                     (DivisionFn ?Q ?DC))) ?U)))	Mid-level-ontology.kif 18748-18774	resourceConsumption Process and FunctionQuantity 例 FunctionQuantity and FunctionQuantity 資源 Process and Object equal FunctionQuantity and 測量 RealNumber and UnitOfMeasure 是 測量 RealNumber and UnitOfMeasure 的 per 持續時間 何時 Process and 測量 RealNumber and UnitOfMeasure 持有期間 開始 何時 Process and 測量 Object and 測量 RealNumber and UnitOfMeasure 持有期間 結束 何時 Process and 測量 Object and 測量 PhysicalQuantity and UnitOfMeasure equal PhysicalQuantity and 測量 減法 RealNumber and 乘法 RealNumber and 部 RealNumber and RealNumber and UnitOfMeasure
(=>     (and         (roomTempState ?C ?PS)         (instance ?S ?C)         (holdsDuring ?T             (roomTempState ?C Liquid))         (measure ?S             (MeasureFn 101                 (KiloFn Pascal))))     (holdsDuring ?T         (measure ?S             (MeasureFn 68 FahrenheitDegree))))	Mid-level-ontology.kif 33624-33635	roomTempState Substance and PhysicalState 例 Physical and Substance 持有期間 TimePosition and roomTempState Substance and 液體 測量 Physical and 測量 101 and 千 帕斯卡 持有期間 TimePosition and 測量 Physical and 測量 68 and 華氏度
(=>     (and         (typicalBloodVolume ?M             (MeasureFn ?N ?U))         (holdsDuring ?T             (bloodVolume ?H                 (MeasureFn ?N2 ?U)))         (instance ?H ?M)         (greaterThan             (MultiplicationFn ?N2 2.0) ?N)         (lessThan ?N2             (MultiplicationFn 0.8 ?N)))     (holdsDuring ?T         (attribute ?H SevereBloodLoss)))	Medicine.kif 5985-5999	typicalBloodVolume Mammal and 測量 RealNumber and UnitOfMeasure 持有期間 TimePosition and bloodVolume Entity and 測量 RealNumber and UnitOfMeasure 例 Entity and Mammal 比較多 乘法 RealNumber and 2.0 and RealNumber 少於 RealNumber and 乘法 0.8 and RealNumber 持有期間 TimePosition and attribute Entity and SevereBloodLoss
(=>     (and         (typicalBloodVolume ?M             (MeasureFn ?N ?U))         (holdsDuring ?T             (bloodVolume ?H                 (MeasureFn ?N2 ?U)))         (instance ?H ?M)         (lessThan             (MultiplicationFn ?N2 2.0) ?N))     (holdsDuring ?T         (attribute ?H CatastrophicBloodLoss)))	Medicine.kif 5967-5979	typicalBloodVolume Mammal and 測量 RealNumber and UnitOfMeasure 持有期間 TimePosition and bloodVolume Entity and 測量 RealNumber and UnitOfMeasure 例 Entity and Mammal 少於 乘法 RealNumber and 2.0 and RealNumber 持有期間 TimePosition and attribute Entity and CatastrophicBloodLoss
(=>     (and         (typicalBloodVolume ?M             (MeasureFn ?N ?U))         (instance ?MI ?M)         (holdsDuring ?T             (and                 (not                     (attribute ?H DiseaseOrSyndrome))                 (bloodVolume ?H                     (MeasureFn ?N2 ?U)))))     (approximateValue ?N2 ?N))	Medicine.kif 5950-5961	typicalBloodVolume Mammal and 測量 RealNumber and UnitOfMeasure 例 MammalI and Mammal 持有期間 TimePosition and attribute entity and DiseaseOrSyndrome bloodVolume entity and 測量 RealNumber and UnitOfMeasure approximateValue RealNumber and RealNumber
(=>     (holdsDuring ?NOW         (attribute ?P CivilianInternee))     (not         (holdsDuring ?NOW             (instance ?P MilitaryForce))))	MilitaryPersons.kif 321-326	持有期間 TimePosition and attribute entity and 平民被拘禁者 持有期間 TimePosition and 例 entity and 軍事力量
(=>     (holdsDuring ?NOW         (attribute ?P Prisoner))     (exists (?BEFORE ?IMPRISONING)         (and             (instance ?IMPRISONING Imprisoning)             (earlier ?BEFORE ?NOW)             (holdsDuring ?BEFORE                 (detainee ?IMPRISONING ?P)))))	MilitaryPersons.kif 242-250	持有期間 TimeInterval and attribute entity and 囚犯 TimeInterval Entity 例 Entity and 監禁 早期 TimeInterval and TimeInterval 持有期間 TimeInterval and entity 是 Entity 的 拘留者
(=>     (holdsDuring ?NOW         (attribute ?P Widowed))     (and         (exists (?BEFORE ?SPOUSE)             (and                 (earlier ?BEFORE ?NOW)                 (holdsDuring ?BEFORE                     (spouse ?SPOUSE ?P))                 (holdsDuring ?NOW                     (attribute ?SPOUSE Dead))))         (not             (exists (?OTHER)                 (holdsDuring ?NOW                     (spouse ?OTHER ?P))))))	Mid-level-ontology.kif 23948-23962	持有期間 TimeInterval and attribute entity and 寡 TimeInterval entity 早期 TimeInterval and TimeInterval 持有期間 TimeInterval and entity 是 entity 的 spouse 持有期間 TimeInterval and attribute entity and 死 entity 持有期間 TimeInterval and entity 是 entity 的 spouse
(=>     (holdsDuring ?T         (allied ?AGENT1 ?AGENT2))     (exists (?C)         (and             (during ?T                 (WhenFn ?C))             (instance ?C Cooperation)             (holdsDuring                 (WhenFn ?C)                 (and                     (agent ?C ?AGENT1)                     (agent ?C ?AGENT2))))))	MilitaryProcesses.kif 2481-2493	持有期間 TimeInterval and allied entity and entity Physical 期間 TimeInterval and 何時 Physical 例 Physical and Cooperation 持有期間 何時 Physical and agent Physical and entity agent Physical and entity
(=>     (holdsDuring ?T         (allied ?AGENT1 ?AGENT2))     (holdsDuring ?T         (not             (enemy ?AGENT1 ?AGENT2))))	MilitaryProcesses.kif 2474-2479	持有期間 TimePosition and allied entity and entity 持有期間 TimePosition and enemy entity and entity
(=>     (holdsDuring ?T         (and             (attribute ?A Barefoot)             (instance ?F Foot)             (part ?F ?A)))     (holdsDuring ?T         (not             (exists (?C)                 (and                     (instance ?C Clothing)                     (covers ?C ?F))))))	Mid-level-ontology.kif 32024-32035	持有期間 TimePosition and attribute entity and Barefoot 例 entity and 足 部分 entity and entity 持有期間 TimePosition and entity 例 entity and Clothing covers entity and entity
(=>     (holdsDuring ?T         (and             (attribute ?H InfectiousDisease)             (attribute ?H Diabetes)             (attribute ?H                 (ImpairedBodyPartFn Foot))))     (holdsDuring ?T         (diseaseMedicine InfectiousDisease Ertapenem Injecting)))	Medicine.kif 1366-1373	持有期間 TimePosition and attribute entity and 傳染病 attribute entity and Diabetes attribute entity and ImpairedBodyPartFn 足 持有期間 TimePosition and 傳染病 是 對於 注射 的 disease 治癒 Ertapenem
(=>     (holdsDuring ?T         (and             (attribute ?H SleepApnea)             (attribute ?H Sleeping)))     (exists (?T2 ?B ?B2)         (and             (during ?T2 ?T)             (not                 (exists (?B)                     (and                         (instance ?B Breathing)                         (during                             (WhenFn ?B) ?T2)                         (experiencer ?B ?H))))             (holdsDuring ?T2                 (and                     (instance ?B2 Breathing)                     (needs ?H ?B2))))))	Medicine.kif 4167-4184	持有期間 TimeInterval and attribute AutonomousAgent and SleepApnea attribute AutonomousAgent and Sleeping TimeInterval Process and Process 期間 TimeInterval and TimeInterval Process 例 Process and Breathing 期間 何時 Process and TimeInterval 體驗者 Process and AutonomousAgent 持有期間 TimeInterval and 例 Process and Breathing 需求 AutonomousAgent and Process
(=>     (holdsDuring ?T         (and             (attribute ?L GoodAQIAirQuality)             (airQualityIndex ?L ?I)))     (lessThanOrEqualTo ?I 50))	Weather.kif 3941-3946	持有期間 TimePosition and attribute entity and GoodAQIAirQuality airQualityIndex entity and RealNumber 小於或等於 RealNumber and 50
(=>     (holdsDuring ?T         (and             (attribute ?L HazardousAQIAirQuality)             (airQualityIndex ?L ?I)))     (greaterThanOrEqualTo ?I 301))	Weather.kif 4010-4015	持有期間 TimePosition and attribute entity and HazardousAQIAirQuality airQualityIndex entity and RealNumber 大於或等於 RealNumber and 301
(=>     (holdsDuring ?T         (and             (attribute ?L ModerateAQIAirQuality)             (airQualityIndex ?L ?I)))     (and         (lessThanOrEqualTo ?I 100)         (greaterThanOrEqualTo ?I 51)))	Weather.kif 3954-3961	持有期間 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 3982-3989	持有期間 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 3996-4003	持有期間 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 3968-3975	持有期間 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 3004-3012	持有期間 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 22185-22195	持有期間 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 3624-3637	持有期間 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 容易
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