(=>     (and         (instance ?D Antidiuretic)         (instance ?I Ingesting)         (agent ?I ?H)         (moves ?I ?D)         (instance ?U1 Urination)         (result ?U1 ?P1)         (agent ?U1 ?H)         (instance ?U2 Urination)         (not             (equal ?U1 ?U2))         (result ?U2 ?P2)         (agent ?U2 ?H)         (earlier ?U1 ?I)         (earlier ?I ?U2)         (instance ?V UnitOfVolume)         (measure ?U1             (MeasureFn ?N1 ?V))         (measure ?U2             (MeasureFn ?N2 ?V)))     (modalAttribute         (greaterThan ?N1 ?N2) Likely))	Mid-level-ontology.kif 10055-10078	如果 客体 是 Antidiuretic 的 instance 和 运动 是 消化 的 instance 和 施事体 是 那个 运动 的 agent 和 移动 那个 运动 and 那个 客体 和 时距 是 Urination 的 instance 和 实体 是 那个 时距 的 result 和 那个 施事体 是 那个 时距 的 agent 和 另一个 时距 是 Urination 的 instance 和 那个 时距 不 equal 那个 另外 时距 和 另一个 实体 是 那个 另外 时距 的 result 和 那个 施事体 是 那个 另外 时距 的 agent 和 那个 时距 比那个 运动发生的earlier 和 那个 运动 比那个 另外 时距发生的earlier 和 测量单位 是 UnitOfVolume 的 instance 和 那个 时距 的 measure 是 实数 那个 测量单位 和 那个 另外 时距 的 measure 是 另一个 实数 那个 测量单位， 然后 那个 实数 是 greaterThan 那个 另外 实数 的声明 has 容易 的语气
(=>     (and         (instance ?D Decelerating)         (agent ?D ?A))     (exists (?L1 ?L2 ?T1 ?T2 ?U1 ?U2)         (and             (holdsDuring                 (BeginFn                     (WhenFn ?D))                 (measure ?A                     (SpeedFn                         (MeasureFn ?L1 ?U1)                         (MeasureFn ?T1 ?U2))))             (holdsDuring                 (EndFn                     (WhenFn ?D))                 (measure ?A                     (SpeedFn                         (MeasureFn ?L2 ?U1)                         (MeasureFn ?T2 ?U2))))             (or                 (greaterThan ?L1 ?L2)                 (greaterThan ?T1 ?T2)))))	Mid-level-ontology.kif 17171-17191	如果 过程 是 减速 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 实数， 另一个 实数,， ， 第三 实数,， ， 第四 实数,， ， 实体， and 和 另一个 实体 这样 那个 施事体 的 measure 是 那个 实数 那个 实体 除以 那个 第三 实数 那个 另外 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 施事体 的 measure 是 那个 另外 实数 那个 实体 除以 那个 第四 实数 那个 另外 实体 在 那个 过程 出现 的 time 的结束 holdsDuring 和 那个 实数 是 greaterThan 那个 另外 实数 或 那个 第三 实数 是 greaterThan 那个 第四 实数
(=>     (and         (instance ?D Diuretic)         (instance ?I Ingesting)         (agent ?I ?H)         (moves ?I ?D)         (instance ?U1 Urination)         (result ?U1 ?P1)         (agent ?U1 ?H)         (instance ?U2 Urination)         (result ?U2 ?P2)         (agent ?U2 ?H)         (earlier ?U1 ?I)         (earlier ?I ?U2)         (instance ?V UnitOfVolume)         (measure ?U1             (MeasureFn ?N1 ?V))         (measure ?U2             (MeasureFn ?N2 ?V)))     (modalAttribute         (greaterThan ?N2 ?N1) Likely))	Mid-level-ontology.kif 10025-10046	如果 客体 是 Diuretic 的 instance 和 运动 是 消化 的 instance 和 施事体 是 那个 运动 的 agent 和 移动 那个 运动 and 那个 客体 和 时距 是 Urination 的 instance 和 实体 是 那个 时距 的 result 和 那个 施事体 是 那个 时距 的 agent 和 另一个 时距 是 Urination 的 instance 和 另一个 实体 是 那个 另外 时距 的 result 和 那个 施事体 是 那个 另外 时距 的 agent 和 那个 时距 比那个 运动发生的earlier 和 那个 运动 比那个 另外 时距发生的earlier 和 测量单位 是 UnitOfVolume 的 instance 和 那个 时距 的 measure 是 实数 那个 测量单位 和 那个 另外 时距 的 measure 是 另一个 实数 那个 测量单位， 然后 那个 另外 实数 是 greaterThan 那个 实数 的声明 has 容易 的语气
(=>     (and         (instance ?D Dune)         (height ?D             (MeasureFn ?N Centimeter)))     (greaterThan ?D 7.0))	Geography.kif 4401-4405	如果 自身连接物体 是 Dune 的 instance 和 那个 自身连接物体 的 height 是 实数 厘米， 然后 那个 自身连接物体 是 greaterThan 7.0
(=>     (and         (instance ?D Increasing)         (patient ?D ?OBJ))     (exists (?N1 ?N2 ?T1 ?T2 ?U)         (and             (earlier ?T1 ?T2)             (holdsDuring ?T1                 (measure ?OBJ                     (MeasureFn ?N1 ?U)))             (holdsDuring ?T2                 (measure ?OBJ                     (MeasureFn ?N2 ?U)))             (greaterThan ?N1 ?N2))))	Merge.kif 10899-10912	如果 过程 是 增加 的 instance 和 实体 是 那个 过程 的 patient， 然后 有存在 实数， 另一个 实数,， ， 时距,， ， 另一个 时距， and 和 另一个 实体 这样 那个 时距 比那个 另外 时距发生的earlier 和 那个 实体 的 measure 是 那个 实数 那个 另外 实体 在 那个 时距 holdsDuring 和 那个 实体 的 measure 是 那个 另外 实数 那个 另外 实体 在 那个 另外 时距 holdsDuring 和 那个 实数 是 greaterThan 那个 另外 实数
(=>     (and         (instance ?DUSTSTORM DustStorm)         (instance ?WIND Wind)         (subProcess ?DUSTSTORM ?WIND))     (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)         (and             (instance ?A1 LandArea)             (eventLocated ?WIND ?A1)             (surfaceWindSpeed ?A1                 (MeasureFn ?STRONG KnotUnitOfSpeed))             (greaterThan ?STRONG 30.0)             (instance ?TRANSLOCATE Translocation)             (subProcess ?TRANSLOCATE ?DUSTSTORM)             (objectTransferred ?TRANSLOCATE ?PM)             (objectTransferred ?TRANSLOCATE ?SAND)             (instance ?PM ParticulateMatter)             (instance ?SAND Sand)             (instance ?A2 LandArea)             (destination ?TRANSLOCATE ?A2)             (not                 (overlapsSpatially ?A1 ?A2)))))	Weather.kif 1275-1296	如果 过程 是 尘暴 的 instance 和 另一个 过程 是 风 的 instance 和 那个 过程%n是那个 另外 过程的subProcess， 然后 有存在 转移， 客体,， ， 另一个 客体,， ， 第三 客体,， ， 第四 客体， and 和 实数 这样 那个 第三 客体 是 土地面积 的 instance 和 那个 另外 过程 是 located 在 那个 第三 客体 和 那个 实数 结速度单位 是 那个 第三 客体 的 surface 风速 和 那个 实数 是 greaterThan 30.0 和 那个 转移 是 易位 的 instance 和 那个 转移%n是那个 过程的subProcess 和 objectTransferred 那个 转移 and 那个 客体 和 objectTransferred 那个 转移 and 那个 另外 客体 和 那个 客体 是 悬浮颗粒 的 instance 和 那个 另外 客体 是 砂 的 instance 和 那个 第四 客体 是 土地面积 的 instance 和 那个 转移 在 那个 第四 客体 结束 和 那个 第三 客体 和 那个 第四 客体 不 重叠
(=>     (and         (instance ?Downtick Downtick)         (patient ?Downtick ?Stock)         (equal             (WhenFn ?Downtick) ?Time1)         (instance ?U UnitOfCurrency)         (price ?Stock             (MeasureFn ?Price1 ?U) ?Time1))     (exists (?Transaction ?Time2 ?Price2)         (and             (instance ?Transaction StockMarketTransaction)             (patient ?Transaction ?Stock)             (equal                 (WhenFn ?Transaction) ?Time2)             (meetsTemporally ?Time2 ?Time1)             (price ?Stock                 (MeasureFn ?Price2 ?U) ?Time2)             (greaterThan ?Price2 ?Price1))))	FinancialOntology.kif 3234-3250	如果 过程 是 打勾 的 instance 和 物理 是 那个 过程 的 patient 和 那个 过程 出现 的 time equal 施事体 和 测量单位 是 UnitOfCurrency 的 instance 和 那个 物理 是 对于 那个 施事体 的 price 实数 那个 测量单位 ， 然后 有存在 另一个 过程， 另一个 施事体， and 和 另一个 实数 这样 那个 另外 过程 是 股市交易 的 instance 和 那个 物理 是 那个 另外 过程 的 patient 和 那个 另外 过程 出现 的 time equal 那个 另外 施事体 和 那个 另外 施事体 接着 那个 施事体 和 那个 物理 是 对于 那个 另外 施事体 的 price 那个 另外 实数 那个 测量单位 和 那个 另外 实数 是 greaterThan 那个 实数
(=>     (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	如果 过程 是 运动 的 instance 和 另一个 过程 是 震 的 instance 和 客体 是 Damper 的 instance 和 另一个 客体 是 那个 另外 过程 的 patient 和 那个 客体 是 那个 另外 客体 的 part 和 那个 过程 causes 那个 另外 过程 和 实体 是 UnitOfLength 的 instance 和 physicalAmplitude 那个 另外 过程 and 实数 那个 实体 在 那个 过程 出现 的 time holdsDuring 和 physicalAmplitude 那个 另外 过程 and 另一个 实数 那个 实体 在 紧接 那个 过程 after holdsDuring， 然后 那个 实数 是 greaterThan 那个 另外 实数
(=>     (and         (instance ?EC EngineChoke)         (holdsDuring ?FSC1             (attribute ?EC DeviceOn))         (holdsDuring ?FSC2             (attribute ?EC DeviceOff))         (instance ?C EngineCylinder)         (capacity ?C ?M)         (instance ?FSC1 FourStrokeCompression)         (instance ?FSC2 FourStrokeCompression)         (eventLocated ?FSC1 ?C)         (eventLocated ?FSC2 ?C)         (instance ?A1 Air)         (instance ?F1 Fuel)         (part ?A1 ?MIX1)         (part ?F1 ?MIX1)         (measure ?MIX1 ?M)         (instance ?A2 Air)         (instance ?F2 Fuel)         (part ?A2 ?MIX2)         (part ?F2 ?MIX2)         (measure ?MIX2 ?M)         (instance ?U UnitOfMeasure)         (measure ?A1             (MeasureFn ?A1M ?U))         (measure ?A2             (MeasureFn ?A2M ?U))         (measure ?F1             (MeasureFn ?F1M ?U))         (measure ?F2             (MeasureFn ?F2M ?U)))     (greaterThan         (DivisionFn ?A2M ?F2M)         (DivisionFn ?A1M ?F1M)))	Cars.kif 1314-1348	如果 实体 是 EngineChoke 的 instance 和 设备上 是 那个 实体 的 attribute 在 过程 holdsDuring 和 设备关闭 是 那个 实体 的 attribute 在 另一个 过程 holdsDuring 和 自身连接物体 是 EngineCylinder 的 instance 和 恒量 是 那个 自身连接物体 的 capacity 和 那个 过程 是 FourStrokeCompression 的 instance 和 那个 另外 过程 是 FourStrokeCompression 的 instance 和 那个 过程 是 located 在 那个 自身连接物体 和 那个 另外 过程 是 located 在 那个 自身连接物体 和 客体 是 空气 的 instance 和 另一个 客体 是 汽油 的 instance 和 那个 客体 是 那个 恒量IX1 的 part 和 那个 另外 客体 是 那个 恒量IX1 的 part 和 那个 恒量IX1 的 measure 是 那个 恒量 和 第四 客体 是 空气 的 instance 和 第五 客体 是 汽油 的 instance 和 那个 第四 客体 是 那个 恒量IX2 的 part 和 那个 第五 客体 是 那个 恒量IX2 的 part 和 那个 恒量IX2 的 measure 是 那个 恒量 和 测量单位 是 测量单位 的 instance 和 那个 客体 的 measure 是 那个 客体M 那个 测量单位 和 那个 第四 客体 的 measure 是 那个 第四 客体M 那个 测量单位 和 那个 另外 客体 的 measure 是 那个 另外 客体M 那个 测量单位 和 那个 第五 客体 的 measure 是 那个 第五 客体M 那个 测量单位， 然后 那个 第四 客体M 和 那个 第五 客体M 是 greaterThan 那个 客体M 和 那个 另外 客体M
(=>     (and         (instance ?EC EngineCycle)         (instance ?E InternalCombustionEngine)         (instance ?CC CombustionChamber)         (part ?CC ?E)         (eventLocated ?EC ?E)         (instance ?U UnitOfVolume)         (holdsDuring             (WhenFn ?EC)             (maxCylinderVolume ?E                 (MeasureFn ?V1 ?U))))     (not         (exists (?V2 ?T)             (and                 (during ?T                     (WhenFn ?EC))                 (holdsDuring ?T                     (measure ?CC                         (MeasureFn ?V2 ?U)))                 (greaterThan ?V2 ?V1)))))	Cars.kif 1898-1917	如果 过程 是 EngineCycle 的 instance 和 客体 是 内燃机 的 instance 和 另一个 客体 是 CombustionChamber 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 那个 过程 是 located 在 那个 客体 和 实体 是 UnitOfVolume 的 instance 和 maxCylinderVolume 那个 客体 and 实数 那个 实体 在 那个 过程 出现 的 time holdsDuring， 然后 不存在 另一个 实数 和 时距 这样 那个 时距 在 那个 过程 出现 的 time 时段内发生 和 那个 另外 客体 的 measure 是 那个 另外 实数 那个 实体 在 那个 时距 holdsDuring 和 那个 另外 实数 是 greaterThan 那个 实数
(=>     (and         (instance ?EC EngineCycle)         (instance ?E InternalCombustionEngine)         (instance ?CC CombustionChamber)         (part ?CC ?E)         (eventLocated ?EC ?E)         (instance ?U UnitOfVolume)         (holdsDuring             (WhenFn ?EC)             (minCylinderVolume ?E                 (MeasureFn ?V1 ?U))))     (not         (exists (?V2 ?T)             (and                 (during ?T                     (WhenFn ?EC))                 (holdsDuring ?T                     (measure ?CC                         (MeasureFn ?V2 ?U)))                 (greaterThan ?V1 ?V2)))))	Cars.kif 1868-1887	如果 过程 是 EngineCycle 的 instance 和 客体 是 内燃机 的 instance 和 另一个 客体 是 CombustionChamber 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 那个 过程 是 located 在 那个 客体 和 实体 是 UnitOfVolume 的 instance 和 minCylinderVolume 那个 客体 and 实数 那个 实体 在 那个 过程 出现 的 time holdsDuring， 然后 不存在 另一个 实数 和 时距 这样 那个 时距 在 那个 过程 出现 的 time 时段内发生 和 那个 另外 客体 的 measure 是 那个 另外 实数 那个 实体 在 那个 时距 holdsDuring 和 那个 实数 是 greaterThan 那个 另外 实数
(=>     (and         (instance ?EC EngineCycle)         (instance ?E InternalCombustionEngine)         (instance ?P Piston)         (instance ?U UnitOfLength)         (part ?P ?E)         (patient ?EC ?P)         (eventLocated ?EC ?E)         (pistonStroke ?E             (MeasureFn ?LM ?U)))     (not         (exists (?T1 ?T2 ?L1 ?L2 ?D)             (and                 (during ?T1                     (WhenFn ?EC))                 (during ?T2                     (WhenFn ?EC))                 (holdsDuring ?T1                     (located ?P ?L1))                 (holdsDuring ?T2                     (located ?P ?L2))                 (distance ?L1 ?L2                     (MeasureFn ?D ?U))                 (greaterThan ?D ?LM)))))	Cars.kif 1943-1965	如果 过程 是 EngineCycle 的 instance 和 发动机 是 内燃机 的 instance 和 客体 是 Piston 的 instance 和 测量单位 是 UnitOfLength 的 instance 和 那个 客体 是 那个 发动机 的 part 和 那个 客体 是 那个 过程 的 patient 和 那个 过程 是 located 在 那个 发动机 和 pistonStroke 那个 发动机 and 实数 那个 测量单位， 然后 不存在 时距， 另一个 时距,， ， 物理,， ， 另一个 物理， and 和 另一个 实数 这样 那个 时距 在 那个 过程 出现 的 time 时段内发生 和 那个 另外 时距 在 那个 过程 出现 的 time 时段内发生 和 那个 客体 是 located 在 那个 物理 在 那个 时距 holdsDuring 和 那个 客体 是 located 在 那个 另外 物理 在 那个 另外 时距 holdsDuring 和 那个 物理 和 那个 另外 物理 的 distance 是 那个 另外 实数 那个 测量单位 和 那个 另外 实数 是 greaterThan 那个 实数
(=>     (and         (instance ?EG EngineGovernor)         (instance ?E Engine)         (connectedEngineeringComponents ?EG ?E)         (governorSpeed ?E             (MeasureFn ?S MilesPerHour)))     (hasPurpose ?EG         (not             (exists (?R ?P ?M)                 (and                     (instance ?P Device)                     (part ?P ?E)                     (instance ?R Rotating)                     (holdsDuring                         (WhenFn ?R)                         (and                             (measure ?P                                 (MeasureFn ?M MilesPerHour))                             (greaterThan ?M ?S))))))))	Cars.kif 2930-2948	如果 工程组件 是 EngineGovernor 的 instance 和 另一个 工程组件 是 发动机 的 instance 和 那个 工程组件 是 和 那个 另外 工程组件 connected 和 governorSpeed 那个 另外 工程组件 and 实数 英里每小時， 然后 那个 工程组件 的 目的 是 不存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 另外 实体 是 设备 的 instance 和 那个 另外 实体 是 那个 另外 工程组件 的 part 和 那个 实体 是 旋转 的 instance 和 那个 另外 实体 的 measure 是 那个 第三 实体 英里每小時 和 那个 第三 实体 是 greaterThan 那个 实数 在 那个 实体 出现 的 time holdsDuring
(=>     (and         (instance ?EG EngineGovernor)         (instance ?V Vehicle)         (connectedEngineeringComponents ?EG ?V)         (governorSpeed ?E             (MeasureFn ?S MilesPerHour)))     (hasPurpose ?EG         (not             (exists (?T ?M)                 (and                     (instance ?T Translocation)                     (holdsDuring                         (WhenFn ?T)                         (and                             (measure ?V                                 (MeasureFn ?M MilesPerHour))                             (greaterThan ?M ?S))))))))	Cars.kif 2957-2973	如果 工程组件 是 EngineGovernor 的 instance 和 另一个 工程组件 是 车辆 的 instance 和 那个 工程组件 是 和 那个 另外 工程组件 connected 和 governorSpeed SpeedGovernor and 实数 英里每小時， 然后 那个 工程组件 的 目的 是 不存在 实体 和 另一个 实体 这样 那个 实体 是 易位 的 instance 和 那个 另外 工程组件 的 measure 是 那个 另外 实体 英里每小時 和 那个 另外 实体 是 greaterThan 那个 实数 在 那个 实体 出现 的 time holdsDuring
(=>     (and         (instance ?ELECTION PopularElection)         (electionWinner ?ELECTION ?POSITION ?PERSON1)         (voteFractionReceived ?ELECTION ?POSITION ?PERSON1 ?NUMBER1)         (voteFractionReceived ?ELECTION ?POSITION ?PERSON2 ?NUMBER2)         (not             (equal ?PERSON1 ?PERSON2)))     (greaterThan ?NUMBER1 ?NUMBER2))	Government.kif 1893-1900	如果 选举 是 民众选举 的 instance 和 那个 选举 是 对于 施事体 的 election 赢家 身分 和 那个 选举 是 对于 那个 施事体 和 实数 的 vote 收到部分 那个 身分 和 那个 选举 是 对于 另一个 施事体 和 另一个 实数 的 vote 收到部分 那个 身分 和 那个 施事体 不 equal 那个 另外 施事体， 然后 那个 实数 是 greaterThan 那个 另外 实数
(=>     (and         (instance ?EVAP Evaporating)         (boilingPoint ?CLASS             (MeasureFn ?BOILVAL ?MEAS))         (instance ?OBJ ?CLASS)         (measure ?OBJ             (MeasureFn ?VAL ?MEAS))         (instance ?MEAS UnitOfTemperature)         (patient ?EVAP ?OBJ))     (exists (?PART)         (and             (part ?PART ?OBJ)             (greaterThan ?BOILVAL ?VAL)             (holdsDuring                 (BeginFn                     (WhenFn ?EVAP))                 (attribute ?PART Liquid))             (holdsDuring                 (EndFn                     (WhenFn ?EVAP))                 (attribute ?PART Gas)))))	Merge.kif 13953-13966	如果 过程 是 蒸发 的 instance 和 实数 测量单位 是 有点 純物质 的 boiling 点 和 客体 是 有点 純物质 的 instance 和 那个 客体 的 measure 是 另一个 实数 那个 测量单位 和 那个 测量单位 是 UnitOfTemperature 的 instance 和 那个 客体 是 那个 过程 的 patient， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 那个 客体 的 part 和 那个 实数 是 greaterThan 那个 另外 实数 和 液体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 加油站 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
(=>     (and         (instance ?F Flooding)         (eventLocated ?F ?P))     (exists (?L1 ?L2 ?U)         (and             (instance ?U UnitOfLength)             (holdsDuring                 (BeginFn                     (WhenFn ?F))                 (waterDepth ?P                     (MeasureFn ?L1 ?U)))             (holdsDuring                 (EndFn                     (WhenFn ?F))                 (waterDepth ?P                     (MeasureFn ?L2 ?U)))             (greaterThan ?L2 ?L1))))	Mid-level-ontology.kif 17585-17600	如果 过程 是 洪水 的 instance 和 那个 过程 是 located 在 客体 ， 然后 有存在 实数， 另一个 实数， and 和 实体 这样 那个 实体 是 UnitOfLength 的 instance 和 那个 实数 那个 实体 是 那个 客体 的 water 深度 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 另外 实数 那个 实体 是 那个 客体 的 water 深度 在 那个 过程 出现 的 time 的结束 holdsDuring 和 那个 另外 实数 是 greaterThan 那个 实数
(=>     (and         (instance ?G SpeedGovernor)         (governorSpeed ?V             (MeasureFn ?S MilesPerHour))         (connectedEngineeringComponents ?G ?V))     (hasPurpose ?G         (not             (exists (?SP2)                 (and                     (measure ?V                         (MeasureFn ?SP2 MilesPerHour))                     (greaterThan ?SP2 ?S))))))	Cars.kif 2909-2921	如果 工程组件 是 SpeedGovernor 的 instance 和 governorSpeed 另一个 工程组件 and 实数 英里每小時 和 那个 工程组件 是 和 那个 另外 工程组件 connected， 然后 那个 工程组件 的 目的 是 不存在 那个 实数P2 这样 那个 另外 工程组件 的 measure 是 那个 实数P2 英里每小時 和 那个 实数P2 是 greaterThan 那个 实数
(=>     (and         (instance ?H Human)         (attribute ?H Fever))     (exists (?N)         (and             (measure ?H                 (MeasureFn ?N FahrenheitDegree))             (greaterThan ?N 98.6))))	Mid-level-ontology.kif 6161-6169	如果 客体 是 人类 的 instance 和 发热 是 那个 客体 的 attribute， 然后 有存在 实数 这样 那个 客体 的 measure 是 那个 实数 华氏度 和 那个 实数 是 greaterThan 98.6
(=>     (and         (instance ?H Human)         (holdsDuring ?T             (and                 (attribute ?T Hyperthermia)                 (coreBodyTemp ?H                     (MeasureFn ?N CelsiusDegree)))))     (greaterThan ?N 38.3))	Medicine.kif 686-694	如果 实体 是 人类 的 instance 和 Hyperthermia 是 时间位置 的 attribute 和 coreBodyTemp 那个 实体 and 实数 摄氏度 在 那个 时间位置 holdsDuring， 然后 那个 实数 是 greaterThan 38.3
(=>     (and         (instance ?H Hurricane)         (instance ?SS SSHWS5)         (eventLocated ?H ?AREA)         (believes ?A             (property ?H ?SS)))     (exists (?WIND)         (and             (greaterThan ?WIND 157.0)             (believes ?A                 (equal                     (MeasureFn ?WIND MilesPerHour)                     (Mean1MinuteWindSpeedFn ?AREA                         (WhenFn ?H)))))))	Weather.kif 2443-2457	如果 过程 是 飓风 的 instance 和 实体 是 萨菲尔辛普森飓风5 的 instance 和 那个 过程 是 located 在 客体 和 有认知的主事 believes 那个 过程 有 那个 实体 的 attribute， 然后 有存在 实数 这样 那个 实数 是 greaterThan 157.0 和 那个 有认知的主事 believes 那个 实数 英里每小時 equal 那个 客体地区在那个 过程 出现 的 time时段的 Mean1MinuteWindSpeedFn
(=>     (and         (instance ?HAZE AtmosphericHazing)         (eventLocated ?HAZE ?AREA)         (instance ?AREA GeographicArea)         (instance ?AIR AtmosphericRegion)         (orientation ?AIR ?AREA Above)         (locatedAtTime ?PARTICULATE             (WhenFn ?HAZE) ?AIR)         (visibilityInMeteorology ?AREA             (WhenFn ?HAZE)             (MeasureFn ?VISIBILITY Kilometer)))     (and         (greaterThan ?VISIBILITY 2.0)         (lessThan ?VISIBILITY 5.0)))	Weather.kif 2566-2580	如果 过程 是 阴霾 的 instance 和 那个 过程 是 located 在 地区 和 那个 地区 是 地理区域 的 instance 和 客体 是 大气地区 的 instance 和 那个 客体 在 那个 地区 的 以上 和 另一个 客体 对于 那个 客体 在时间 那个 过程 出现 的 time located 和 visibility 在 那个 地区 期间 那个 过程 出现 的 time 是 实数 公里 ， 然后 那个 实数 是 greaterThan 2.0 和 那个 实数 是 lessThan 5.0
(=>     (and         (instance ?HEAT Heating)         (patient ?HEAT ?OBJ))     (exists (?UNIT ?QUANT1 ?QUANT2)         (and             (instance ?UNIT TemperatureMeasure)             (holdsDuring                 (BeginFn                     (WhenFn ?HEAT))                 (equal                     (MeasureFn ?OBJ ?UNIT) ?QUANT1))             (holdsDuring                 (EndFn                     (WhenFn ?HEAT))                 (equal                     (MeasureFn ?OBJ ?UNIT) ?QUANT2))             (greaterThan ?QUANT2 ?QUANT1))))	Merge.kif 10920-10933	如果 过程 是 加热 的 instance 和 实体 是 那个 过程 的 patient， 然后 有存在 另一个 实体， 实数， and 和 另一个 实数 这样 那个 另外 实体 是 温度测量 的 instance 和 那个 实体 那个 另外 实体 equal 那个 实数 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 那个 另外 实体 equal 那个 另外 实数 在 那个 过程 出现 的 time 的结束 holdsDuring 和 那个 另外 实数 是 greaterThan 那个 实数
(=>     (and         (instance ?I Insomnia)         (experiencer ?I ?H))     (exists (?S ?D ?D2)         (and             (instance ?S Sleeping)             (experiencer ?S ?H)             (duration                 (WhenFn ?S) ?D)             (desires ?H                 (and                     (duration                         (WhenFn ?S) ?D2)                     (greaterThan ?D2 ?D))))))	Mid-level-ontology.kif 16447-16459	如果 过程 是 Insomnia 的 instance 和 有认知的主事 经历了 那个 过程， 然后 有存在 另一个 过程， 持续时间， and 和 那个 持续时间2 这样 那个 另外 过程 是 Sleeping 的 instance 和 那个 有认知的主事 经历了 那个 另外 过程 和 那个 另外 过程 出现 的 time 的 duration 是 那个 持续时间 和 那个 有认知的主事 desires 那个 另外 过程 出现 的 time 的 duration 是 那个 持续时间2 和 那个 持续时间2 是 greaterThan 那个 持续时间
(=>     (and         (instance ?IBD GravesDisease)         (experiencer ?IBD ?H1)         (instance ?H1 Human)         (instance ?T1 ThyroidHormone)         (part ?T1 ?H1)         (measure ?T1             (MeasureFn ?N1 ?U))         (instance ?H2 Human)         (instance ?T2 ThyroidHormone)         (part ?T2 ?H2)         (measure ?T2             (MeasureFn ?N2 ?U))         (attribute ?H2 Healthy))     (greaterThan ?N1 ?N2))	Medicine.kif 2336-2351	如果 过程 是 GravesDisease 的 instance 和 施事体 经历了 那个 过程 和 那个 施事体 是 人类 的 instance 和 客体 是 甲状腺激素 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 客体 的 measure 是 实数 测量单位 和 另一个 客体 是 人类 的 instance 和 第三 客体 是 甲状腺激素 的 instance 和 那个 第三 客体 是 那个 另外 客体 的 part 和 那个 第三 客体 的 measure 是 另一个 实数 那个 测量单位 和 Healthy 是 那个 另外 客体 的 attribute， 然后 那个 实数 是 greaterThan 那个 另外 实数
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