(=>     (and         (instance ?M WholeMilk)         (measure ?M             (MeasureFn ?N ?U))         (instance ?U UnitOfVolume))     (exists (?BF ?N2)         (and             (instance ?BF ButterFat)             (part ?BF ?M)             (not                 (exists (?F2)                     (and                         (instance ?F2 ButterFat)                         (not                             (equal ?BF ?F2))                         (part ?F2 ?M))))             (measure ?BF                 (MeasureFn ?N2 ?U))             (greaterThanOrEqualTo ?N2                 (MultiplicationFn 0.0325 ?N))             (lessThanOrEqualTo ?N2                 (MultiplicationFn 0.05 ?N)))))	Food.kif 2851-2869	如果 客体 是 WholeMilk 的 instance 和 那个 客体 的 measure 是 实数 测量单位 和 那个 测量单位 是 UnitOfVolume 的 instance， 然后 有存在 另一个 客体 和 那个 实数2 这样 那个 另外 客体 是 ButterFat 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 不存在 第三 客体 这样 那个 第三 客体 是 ButterFat 的 instance 和 那个 另外 客体 不 equal 那个 第三 客体 和 那个 第三 客体 是 那个 客体 的 part 和 那个 另外 客体 的 measure 是 那个 实数2 那个 测量单位 和 那个 实数2 是 greaterThanOrEqualTo 0.0325 和 那个 实数 和 那个 实数2 是 lessThanOrEqualTo 0.05 和 那个 实数
(=>     (and         (instance ?P Process)         (measure ?P ?Q))     (instance ?Q TimeDependentQuantity))	Merge.kif 7510-7514	如果 物理 是 过程 的 instance 和 那个 物理 的 measure 是 物理量， 然后 那个 物理量 是 时间相关量 的 instance
(=>     (and         (instance ?PLACE Object)         (instance ?BLOW Wind)         (measure ?BLOW             (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))     (surfaceWindVelocity ?PLACE         (SpeedFn ?DIST ?TIME) ?DIRECTION))	Weather.kif 125-130	如果 地区 是 客体 的 instance 和 物理 是 风 的 instance 和 那个 物理 的 measure 是 长度测量 除以 持续时间 在 那个 地区 处往 方向属性 方向， 然后 那个 地区 是 对于 那个 方向属性 的 surface 风速率 那个 长度测量 除以 那个 持续时间
(=>     (and         (instance ?RAINFALL Process)         (patient ?RAINFALL ?RAIN)         (instance ?RAIN Water)         (measure ?RAIN             (MeasureFn ?PH PHValue)))     (lessThan ?PH 5.6))	Geography.kif 2561-2567	如果 过程 是 过程 的 instance 和 物理 是 那个 过程 的 patient 和 那个 物理 是 水 的 instance 和 那个 物理 的 measure 是 实数 酸碱度， 然后 那个 实数 是 lessThan 5.6
(=>     (and         (instance ?SCO SelfConnectedObject)         (instance ?C Compressing)         (patient ?C ?SCO)         (holdsDuring             (ImmediatePastFn                 (WhenFn ?C))             (measure ?SCO                 (MeasureFn ?N1 ?V)))         (instance ?V UnitOfVolume)         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?C))             (measure ?SCO                 (MeasureFn ?N2 ?V))))     (greaterThan ?N1 ?N2))	Cars.kif 1987-1999	如果 实体 是 自身连接物体 的 instance 和 过程 是 Compressing 的 instance 和 那个 实体 是 那个 过程 的 patient 和 那个 实体 的 measure 是 实数 另一个 实体 在 紧接 那个 过程 出现 的 time before holdsDuring 和 那个 另外 实体 是 UnitOfVolume 的 instance 和 那个 实体 的 measure 是 另一个 实数 那个 另外 实体 在 紧接 那个 过程 出现 的 time after holdsDuring， 然后 那个 实数 是 greaterThan 那个 另外 实数
(=>     (and         (instance ?SHIP MerchantMarineShip)         (measure ?SHIP             (MeasureFn ?GRT RegistryTon)))     (greaterThanOrEqualTo ?GRT 1000))	Transportation.kif 1029-1033	如果 物理 是 商船海运 的 instance 和 那个 物理 的 measure 是 实数 注册表吨， 然后 那个 实数 是 greaterThanOrEqualTo 1000
(=>     (and         (instance ?SUBLIMATION Sublimation)         (patient ?SUBLIMATION ?OBJ)         (holdsDuring             (ImmediatePastFn                 (WhenFn ?SUBLIMATION))             (measure ?OBJ                 (MeasureFn ?X Joule)))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?SUBLIMATION))             (measure ?OBJ                 (MeasureFn ?Y Joule))))     (greaterThan ?Y ?X))	Geography.kif 7068-7082	如果 过程 是 升华 的 instance 和 实体 是 那个 过程 的 patient 和 那个 实体 的 measure 是 实数 焦耳 在 紧接 那个 过程 出现 的 time before holdsDuring 和 那个 实体 的 measure 是 另一个 实数 焦耳 在 紧接 那个 过程 出现 的 time after holdsDuring， 然后 那个 另外 实数 是 greaterThan 那个 实数
(=>     (and         (instance ?SUBSTANCE ?TYPE)         (boilingPoint ?TYPE             (MeasureFn ?TEMP1 ?MEASURE))         (meltingPoint ?TYPE             (MeasureFn ?TEMP2 ?MEASURE))         (instance ?MEASURE UnitOfTemperature)         (holdsDuring ?TIME             (measure ?SUBSTANCE                 (MeasureFn ?TEMP3 ?MEASURE)))         (greaterThan ?TEMP3 ?TEMP2)         (lessThan ?TEMP3 ?TEMP1))     (or         (holdsDuring ?TIME             (attribute ?SUBSTANCE Liquid))         (exists (?MELT)             (and                 (overlapsTemporally                     (WhenFn ?MELT) ?TIME)                 (instance ?MELT Melting)                 (patient ?MELT ?SUBSTANCE)))))	Merge.kif 13863-13878	如果 实体 是 有点 純物质 的 instance 和 实数 测量单位 是 有点 純物质 的 boiling 点 和 另一个 实数 那个 测量单位 是 那个 有点 純物质 的 melting 点 和 那个 测量单位 是 UnitOfTemperature 的 instance 和 那个 实体 的 measure 是 第三 实数 那个 测量单位 在 时距 holdsDuring 和 那个 第三 实数 是 greaterThan 那个 另外 实数 和 那个 第三 实数 是 lessThan 那个 实数， 然后 液体 是 那个 实体 的 attribute 在 那个 时距 holdsDuring 或 有存在 过程 这样 那个 时距 时段 和 那个 过程 出现 的 time 重叠 和 那个 过程 是 溶化 的 instance 和 那个 实体 是 那个 过程 的 patient
(=>     (and         (instance ?SUBSTANCE ?TYPE)         (meltingPoint ?TYPE             (MeasureFn ?TEMP1 ?MEASURE))         (holdsDuring ?TIME             (measure ?SUBSTANCE                 (MeasureFn ?TEMP2 ?MEASURE)))         (instance ?MEASURE UnitOfTemperature)         (lessThan ?TEMP2 ?TEMP1))     (or         (holdsDuring ?TIME             (attribute ?SUBSTANCE Solid))         (exists (?FREEZE)             (and                 (overlapsTemporally                     (WhenFn ?FREEZE) ?TIME)                 (instance ?FREEZE Freezing)                 (patient ?FREEZE ?SUBSTANCE)))))	Merge.kif 13880-13893	如果 实体 是 有点 純物质 的 instance 和 实数 测量单位 是 有点 純物质 的 melting 点 和 那个 实体 的 measure 是 另一个 实数 那个 测量单位 在 时距 holdsDuring 和 那个 测量单位 是 UnitOfTemperature 的 instance 和 那个 另外 实数 是 lessThan 那个 实数， 然后 固体 是 那个 实体 的 attribute 在 那个 时距 holdsDuring 或 有存在 过程 这样 那个 时距 时段 和 那个 过程 出现 的 time 重叠 和 那个 过程 是 结冰 的 instance 和 那个 实体 是 那个 过程 的 patient
(=>     (and         (instance ?SW BrackishWater)         (measure ?SW             (MeasureFn 1.0 Liter))         (part ?SALT ?SW)         (instance ?SALT SodiumChloride)         (measure ?SALT             (MeasureFn ?R Gram)))     (and         (greaterThan ?R 0.5)         (lessThanOrEqualTo ?R 30.0)))	Geography.kif 2855-2866	如果 客体 是 BrackishWater 的 instance 和 那个 客体 的 measure 是 1.0 升 和 另一个 客体 是 那个 客体 的 part 和 那个 另外 客体 是 盐 的 instance 和 那个 另外 客体 的 measure 是 实数 公克， 然后 那个 实数 是 greaterThan 0.5 和 那个 实数 是 lessThanOrEqualTo 30.0
(=>     (and         (instance ?SW SeaWater)         (measure ?SW             (MeasureFn 1.0 Liter))         (part ?SALT ?SW)         (instance ?SALT SodiumChloride)         (measure ?SALT             (MeasureFn ?R Gram)))     (approximateValue ?R 35.0))	Geography.kif 2836-2845	如果 客体 是 SeaWater 的 instance 和 那个 客体 的 measure 是 1.0 升 和 另一个 客体 是 那个 客体 的 part 和 那个 另外 客体 是 盐 的 instance 和 那个 另外 客体 的 measure 是 实数 公克， 然后 approximateValue 那个 实数 and 35.0
(=>     (and         (instance ?T ElectricalTransformer)         (instance ?WC1 WireCoil)         (instance ?WC2 WireCoil)         (coilCount ?WC1 ?N1)         (coilCount ?WC2 ?N2)         (holdsDuring ?T             (measure ?WC1                 (MeasureFn Volt ?V1))))     (and         (holdsDuring ?T             (measure ?WC2                 (MeasureFn Volt ?V2)))         (equal ?V2             (MultiplicationFn ?V1                 (DivisionFn ?N2 ?N1)))))	Cars.kif 3095-3109	如果 时间位置 是 变压器 的 instance 和 WireCoil 是 WireCoil 的 instance 和 另一个 WireCoil 是 WireCoil 的 instance 和 coilCount 那个 WireCoil and 整数 和 coilCount 那个 另外 WireCoil and 另一个 整数 和 那个 WireCoil 的 measure 是 伏特 实数 在 那个 时间位置 holdsDuring， 然后 那个 另外 WireCoil 的 measure 是 伏特 另一个 实数 在 那个 时间位置 holdsDuring 和 那个 另外 实数 equal 那个 实数 和 那个 另外 整数 和 那个 整数
(=>     (and         (instance ?UNIT AreaMeasure)         (measure Alaska             (MeasureFn ?NUMBER1 ?UNIT))         (measure ?STATE             (MeasureFn ?NUMBER2 ?UNIT))         (instance ?STATE AmericanState)         (not             (equal Alaska ?STATE)))     (lessThan ?NUMBER2 ?NUMBER1))	CountriesAndRegions.kif 871-878	如果 测量单位 是 面积测量 的 instance 和 阿拉斯加州 的 measure 是 实数 那个 测量单位 和 物理 的 measure 是 另一个 实数 那个 测量单位 和 那个 物理 是 美国国家 的 instance 和 阿拉斯加州 不 equal 那个 物理， 然后 那个 另外 实数 是 lessThan 那个 实数
(=>     (and         (instance ?W TapWater)         (instance ?M Mixture)         (part ?W ?M)         (instance ?A Antifreeze)         (part ?A ?M)         (attribute ?M Solid)         (measure ?M             (MeasureFn ?D CelsiusDegree)))     (greaterThan 32 ?D))	Cars.kif 1219-1228	如果 客体 是 TapWater 的 instance 和 另一个 客体 是 混合物 的 instance 和 那个 客体 是 那个 另外 客体 的 part 和 第三 客体 是 Antifreeze 的 instance 和 那个 第三 客体 是 那个 另外 客体 的 part 和 固体 是 那个 另外 客体 的 attribute 和 那个 另外 客体 的 measure 是 实数 摄氏度， 然后 32 是 greaterThan 那个 实数
(=>     (and         (instance ?WALK Walking)         (instance ?RUN Running)         (agent ?WALK ?AGENT)         (agent ?RUN ?AGENT)         (holdsDuring             (WhenFn ?WALK)             (measure ?AGENT                 (SpeedFn ?LENGTH1 ?TIME)))         (holdsDuring             (WhenFn ?RUN)             (measure ?AGENT                 (SpeedFn ?LENGTH2 ?TIME))))     (greaterThan ?LENGTH2 ?LENGTH1))	Merge.kif 11158-11166	如果 过程 是 步行 的 instance 和 另一个 过程 是 赛跑 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 施事体 的 measure 是 实数 除以 实体 在 那个 过程 出现 的 time holdsDuring 和 那个 施事体 的 measure 是 另一个 实数 除以 那个 实体 在 那个 另外 过程 出现 的 time holdsDuring， 然后 那个 另外 实数 是 greaterThan 那个 实数
(=>     (and         (instance ?WEARING Erosion)         (instance ?LAND LandForm)         (patient ?WEARING ?LAND)         (instance ?U UnitOfVolume)         (measure ?LAND             (MeasureFn ?SIZE1 ?U)))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?WEARING))         (exists (?SIZE2)             (and                 (measure ?LAND                     (MeasureFn ?SIZE2 ?U))                 (lessThan ?SIZE2 ?SIZE1)))))	Geography.kif 2689-2702	如果 过程 是 侵蚀 的 instance 和 物理 是 土地形式 的 instance 和 那个 物理 是 那个 过程 的 patient 和 测量单位 是 UnitOfVolume 的 instance 和 那个 物理 的 measure 是 实数 那个 测量单位， 然后 有存在 实体 这样 那个 物理 的 measure 是 那个 实体 那个 测量单位 和 那个 实体 是 lessThan 那个 实数 在 紧接 那个 过程 出现 的 time after holdsDuring
(=>     (and         (instance ?X ?Y)         (subclass ?Y PureSubstance)         (barometricPressure ?X             (MeasureFn ?PRES InchMercury))         (greaterThan 29.92 ?PRES)         (boilingPoint ?Y             (MeasureFn ?BOIL KelvinDegree))         (measure ?X             (MeasureFn ?TEMP KelvinDegree))         (greaterThan ?TEMP ?BOIL))     (attribute ?X Gas))	Merge.kif 13798-13807	如果 客体 是 有点 純物质 的 instance 和 有点 純物质 是 純物质 的 subclass 和 实数 英寸汞 是 那个 客体 的 barometric 压力 和 29.92 是 greaterThan 那个 实数 和 另一个 实数 凯文度 是 那个 有点 純物质 的 boiling 点 和 那个 客体 的 measure 是 第三 实数 凯文度 和 那个 第三 实数 是 greaterThan 那个 另外 实数， 然后 加油站 是 那个 客体 的 attribute
(=>     (and         (instance ?X ?Y)         (subclass ?Y PureSubstance)         (boilingPoint ?Y             (MeasureFn ?BOIL KelvinDegree))         (meltingPoint ?Y             (MeasureFn ?MELT KelvinDegree))         (measure ?X             (MeasureFn ?TEMP KelvinDegree))         (greaterThan ?TEMP ?MELT)         (lessThan ?TEMP ?BOIL))     (attribute ?X Liquid))	Merge.kif 13809-13818	如果 客体 是 有点 純物质 的 instance 和 有点 純物质 是 純物质 的 subclass 和 实数 凯文度 是 那个 有点 純物质 的 boiling 点 和 另一个 实数 凯文度 是 那个 有点 純物质 的 melting 点 和 那个 客体 的 measure 是 第三 实数 凯文度 和 那个 第三 实数 是 greaterThan 那个 另外 实数 和 那个 第三 实数 是 lessThan 那个 实数， 然后 液体 是 那个 客体 的 attribute
(=>     (and         (instance ?X ?Y)         (subclass ?Y PureSubstance)         (meltingPoint ?Y             (MeasureFn ?MELT KelvinDegree))         (barometricPressure ?X             (MeasureFn ?PRES InchMercury))         (greaterThan ?PRES 29.92)         (measure ?X             (MeasureFn ?TEMP KelvinDegree))         (lessThan ?TEMP ?MELT))     (attribute ?X Solid))	Merge.kif 13820-13829	如果 客体 是 有点 純物质 的 instance 和 有点 純物质 是 純物质 的 subclass 和 实数 凯文度 是 那个 有点 純物质 的 melting 点 和 另一个 实数 英寸汞 是 那个 客体 的 barometric 压力 和 那个 另外 实数 是 greaterThan 29.92 和 那个 客体 的 measure 是 第三 实数 凯文度 和 那个 第三 实数 是 lessThan 那个 实数， 然后 固体 是 那个 客体 的 attribute
(=>     (and         (instance ?ZEPHYR WindFlow)         (instance ?PLACE Object)         (partlyLocated ?ZEPHYR ?PLACE)         (elevation ?ZEPHYR             (MeasureFn ?X FootLength))         (lessThanOrEqualTo ?X 500.0)         (measure ?ZEPHYR             (SpeedFn ?DIST ?TIME)))     (surfaceWindSpeed ?PLACE         (SpeedFn ?DIST ?TIME)))	Weather.kif 148-157	如果 客体 是 大气气流 的 instance 和 另一个 客体 是 客体 的 instance 和 那个 客体 是 partlyLocated 在 那个 另外 客体 和 实数 脚长 是 那个 客体 的 elevation 和 那个 实数 是 lessThanOrEqualTo 500.0 和 那个 客体 的 measure 是 长度测量 除以 持续时间， 然后 那个 长度测量 除以 那个 持续时间 是 那个 另外 客体 的 surface 风速
(=>     (and         (instance ?ZEPHYR WindFlow)         (instance ?PLACE Object)         (partlyLocated ?ZEPHYR ?PLACE)         (measure ?ZEPHYR             (MeasureFn ?SPEED KnotUnitOfSpeed)))     (surfaceWindSpeed ?PLACE         (MeasureFn ?SPEED KnotUnitOfSpeed)))	Weather.kif 159-165	如果 物理 是 大气气流 的 instance 和 客体 是 客体 的 instance 和 那个 物理 是 partlyLocated 在 那个 客体 和 那个 物理 的 measure 是 实数 结速度单位， 然后 那个 实数 结速度单位 是 那个 客体 的 surface 风速
(=>     (and         (instance ?ZEPHYR WindFlow)         (measure ?ZEPHYR             (VelocityFn ?DIST ?TIME ?PLACE ?DIR-TOWARD))         (oppositeDirection ?DIR-TOWARD ?DIR-FROM))     (surfaceWindDirection ?PLACE ?DIR-FROM))	Weather.kif 194-199	如果 物理 是 大气气流 的 instance 和 那个 物理 的 measure 是 长度测量 除以 持续时间 在 地区 处往 实体-TOWARD 方向 和 那个 实体-FROM 是 那个 实体-TOWARD 的 opposite 方向， 然后 那个 实体-FROM 是 那个 地区 的 surface 风向
(=>     (and         (measure             (FlowFn ?FLUID)             (MeasureFn ?NUM KnotUnitOfSpeed))         (piece ?PART ?FLUID))     (piece ?PART         (MeasureFn ?NUM KnotUnitOfSpeed)))	Geography.kif 4905-4909	如果 物质 的 flow 的 measure 是 实数 结速度单位 和 另一个 物质 是 那个 物质 的 piece， 然后 那个 另外 物质 是 那个 实数 结速度单位 的 piece
(=>     (and         (measure             (FlowFn ?FLUID)             (SpeedFn ?LENGTH ?TIME))         (piece ?PART ?FLUID))     (piece ?PART         (SpeedFn ?LENGTH ?TIME)))	Geography.kif 4899-4903	如果 物质 的 flow 的 measure 是 长度测量 除以 持续时间 和 另一个 物质 是 那个 物质 的 piece， 然后 那个 另外 物质 是 那个 长度测量 除以 那个 持续时间 的 piece
(=>     (and         (measure             (FlowFn ?FLUID)             (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION))         (piece ?PART ?FLUID))     (measure ?PART         (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)))	Geography.kif 4911-4915	如果 物质 的 flow 的 measure 是 长度测量 除以 持续时间 在 地区 处往 方向属性 方向 和 另一个 物质 是 那个 物质 的 piece， 然后 那个 另外 物质 的 measure 是 那个 长度测量 除以 那个 持续时间 在 那个 地区 处往 那个 方向属性 方向
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