(=>     (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 ?SYSTEM RiverSystem)         (instance ?STREAM StreamWaterArea)         (part ?STREAM ?SYSTEM))     (exists (?RIVER)         (and             (instance ?RIVER River)             (part ?RIVER ?SYSTEM)             (flows ?STREAM ?RIVER))))	Geography.kif 5533-5542	如果 客体 是 河流系统 的 instance 和 另一个 客体 是 溪水区 的 instance 和 那个 另外 客体 是 那个 客体 的 part， 然后 有存在 第三 客体 这样 那个 第三 客体 是 河 的 instance 和 那个 第三 客体 是 那个 客体 的 part 和 那个 第三 客体 是 那个 另外 客体 的 flows
(=>     (and         (instance ?T Bradycardia)         (experiencer ?T ?P)         (instance ?H Heart)         (part ?H ?P)         (instance ?I Minute)         (heartRate ?H ?I ?N))     (greaterThan 50 ?N))	Medicine.kif 2847-2855	如果 过程 是 Bradycardia 的 instance 和 施事体 经历了 那个 过程 和 心 是 心 的 instance 和 那个 心 是 那个 施事体 的 part 和 时距 是 分钟 的 instance 和 heartRate 那个 心, 那个 时距 and 整数， 然后 50 是 greaterThan 那个 整数
(=>     (and         (instance ?T Tachycardia)         (experiencer ?T ?P)         (instance ?H Heart)         (part ?H ?P)         (instance ?I Minute)         (heartRate ?H ?I ?N))     (greaterThan ?N 100))	Medicine.kif 2819-2827	如果 过程 是 Tachycardia 的 instance 和 施事体 经历了 那个 过程 和 心 是 心 的 instance 和 那个 心 是 那个 施事体 的 part 和 时距 是 分钟 的 instance 和 heartRate 那个 心, 那个 时距 and 整数， 然后 那个 整数 是 greaterThan 100
(=>     (and         (instance ?T Tailpipe)         (instance ?TR Transfer)         (instance ?E Exhaust)         (instance ?A Automobile)         (instance ?AES AutomobileExhaustSystem)         (part ?T ?A)         (path ?TR ?T)         (patient ?TR ?E))     (hasPurpose ?T         (not             (exists (?O)                 (and                     (part ?O ?A)                     (beforeOnPath ?T ?O ?AES ?TR))))))	Cars.kif 4054-4069	如果 客体 是 Tailpipe 的 instance 和 那个 客体R 是 转移 的 instance 和 实体 是 Exhaust 的 instance 和 另一个 客体 是 汽车 的 instance 和 那个 另外 客体ES 是 AutomobileExhaustSystem 的 instance 和 那个 客体 是 那个 另外 客体 的 part 和 那个 客体%n是那个 客体R发生的path 和 那个 实体 是 那个 客体R 的 patient， 然后 那个 客体 的 目的 是 不存在 第四 实体 这样 那个 第四 实体 是 那个 另外 客体 的 part 和 beforeOnPath 那个 客体, 那个 第四 实体, 那个 另外 客体ES and 那个 客体R
(=>     (and         (instance ?T Transportation)         (instance ?W Wheel)         (instance ?A Automobile)         (part ?W ?A)         (instrument ?T ?A)         (instance ?AB AntilockBrake)         (instance ?D Decelerating)         (instrument ?D ?AB)         (part ?AB ?W))     (hasPurpose ?AB         (exists (?R)             (and                 (instance ?R Rotating)                 (during ?R ?D)))))	Cars.kif 1292-1307	如果 过程 是 运输 的 instance 和 客体 是 轮 的 instance 和 另一个 客体 是 汽车 的 instance 和 那个 客体 是 那个 另外 客体 的 part 和 那个 另外 客体 是导致 那个 过程 的 instrument 和 那个 另外 客体B 是 AntilockBrake 的 instance 和 另一个 过程 是 减速 的 instance 和 那个 另外 客体B 是导致 那个 另外 过程 的 instrument 和 那个 另外 客体B 是 那个 客体 的 part， 然后 那个 另外 客体B 的 目的 是 有存在 实体 这样 那个 实体 是 旋转 的 instance 和 那个 实体 在 那个 另外 过程 时段内发生
(=>     (and         (instance ?TXT Text)         (instance ?OBJ Document)         (part ?TXT ?OBJ))     (instance ?OBJ TextDocument))	Media.kif 938-943	如果 客体 是 文本 的 instance 和 另一个 客体 是 Document 的 instance 和 那个 客体 是 那个 另外 客体 的 part， 然后 那个 另外 客体 是 TextDocument 的 instance
(=>     (and         (instance ?V Vertebrate)         (instance ?H Head)         (part ?H ?V)         (attribute ?V Healthy))     (exists (?S ?B)         (and             (instance ?S Skull)             (member ?B ?S)             (part ?B ?H))))	Mid-level-ontology.kif 11486-11496	如果 客体 是 脊椎动物 的 instance 和 另一个 客体 是 头 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 Healthy 是 那个 客体 的 attribute， 然后 有存在 群体 和 第三 客体 这样 那个 群体 是 头骨 的 instance 和 那个 第三 客体 是 那个 群体 的 member 和 那个 第三 客体 是 那个 另外 客体 的 part
(=>     (and         (instance ?V Vertebrate)         (instance ?H Head)         (part ?H ?V)         (instance ?S Skull)         (attribute ?V Healthy)         (member ?B ?S)         (part ?B ?V))     (part ?B ?H))	Mid-level-ontology.kif 11498-11507	如果 客体 是 脊椎动物 的 instance 和 另一个 客体 是 头 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 群体 是 头骨 的 instance 和 Healthy 是 那个 客体 的 attribute 和 第三 客体 是 那个 群体 的 member 和 那个 第三 客体 是 那个 客体 的 part， 然后 那个 第三 客体 是 那个 另外 客体 的 part
(=>     (and         (instance ?VO VitalOrgan)         (instance ?H Animal)         (not             (part ?VO ?H)))     (not         (attribute ?H Living)))	Mid-level-ontology.kif 11836-11843	如果 客体 是 VitalOrgan 的 instance 和 另一个 客体 是 动物 的 instance 和 那个 客体 不 是 那个 另外 客体 的 part， 然后 活的 不 是 那个 另外 客体 的 attribute
(=>     (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 ?W VehicleWheel)         (instance ?V RoadVehicle)         (part ?W ?V))     (exists (?A)         (and             (instance ?A Axle)             (component ?A ?V)             (connected ?W ?A))))	Mid-level-ontology.kif 3538-3547	如果 客体 是 车轮 的 instance 和 躯体性物体 是 公路车辆 的 instance 和 那个 客体 是 那个 躯体性物体 的 part， 然后 有存在 另一个 躯体性物体 这样 那个 另外 躯体性物体 是 轴 的 instance 和 那个 另外 躯体性物体 是 那个 躯体性物体 的 component 和 那个 客体 和 那个 另外 躯体性物体 是 connected
(=>     (and         (instance ?W Wallpaper)         (part ?P ?W))     (instance ?P Paper))	Mid-level-ontology.kif 3125-3129	如果 客体 是 墙纸 的 instance 和 另一个 客体 是 那个 客体 的 part， 然后 那个 另外 客体 是 纸 的 instance
(=>     (and         (instance ?WEAPON Weapon)         (part ?WEAPON ?MV)         (instance ?MV Vehicle))     (instance ?MV MilitaryVehicle))	MilitaryDevices.kif 61-66	如果 客体 是 武器 的 instance 和 那个 客体 是 另一个 客体 的 part 和 那个 另外 客体 是 车辆 的 instance， 然后 那个 另外 客体 是 军车 的 instance
(=>     (and         (instance ?X CarAlarm)         (instance ?CAR SelfPoweredRoadVehicle)         (part ?X ?CAR))     (exists (?HARM ?THIEF ?T ?L)         (hasPurpose ?X             (=>                 (and                     (or                         (instance ?HARM Stealing)                         (instance ?HARM Damaging))                     (instance ?THIEF Human)                     (agent ?HARM ?THIEF)                     (patient ?HARM ?CAR)                     (equal                         (WhenFn ?HARM) ?T)                     (eventPartlyLocated ?HARM ?L))                 (exists (?ALARM)                     (and                         (instance ?ALARM RadiatingSound)                         (agent ?ALARM ?X)                         (causes ?HARM ?ALARM)                         (hasPurpose ?ALARM                             (increasesLikelihood                                 (exists (?WITNESS)                                     (and                                         (instance ?WITNESS Human)                                         (holdsDuring ?T                                             (orientation ?WITNESS ?L Near))))                                 (or                                     (knows ?WITNESS                                         (exists (?H)                                             (and                                                 (or                                                     (instance ?H Stealing)                                                     (instance ?H Damaging))                                                 (eventPartlyLocated ?H ?L)                                                 (holdsDuring ?T                                                     (patient ?H ?CAR)))))                                     (finishes                                         (WhenFn ?ALARM)                                         (WhenFn ?HARM)))))))))))	Cars.kif 3718-3759	如果 客体 是 CarAlarm 的 instance 和 另一个 客体 是 自供电公路车辆 的 instance 和 那个 客体 是 那个 另外 客体 的 part， 然后 有存在 实体， 另一个 实体,， ， 第三 实体， and 和 第四 实体 这样 那个 客体 的 目的 是 如果 那个 实体 是 偷窃行为 的 instance 或 那个 实体 是 损坏 的 instance 和 那个 另外 实体 是 人类 的 instance 和 那个 另外 实体 是 那个 实体 的 agent 和 那个 另外 客体 是 那个 实体 的 patient 和 那个 实体 出现 的 time equal 那个 第三 实体 和 那个 实体 是 partly located 在 那个 第四 实体 ， 然后 有存在 第五 实体 这样 那个 第五 实体 是 放射声音 的 instance 和 那个 客体 是 那个 第五 实体 的 agent 和 那个 实体 causes 那个 第五 实体 和 那个 第五 实体 的 目的 是 有存在 第六 实体 这样 那个 第六 实体 是 人类 的 instance 和 那个 第六 实体 在 那个 第四 实体 的 近 在 那个 第三 实体 holdsDuring 增加 那个 第六 实体 knows 有存在 第七 实体 这样 那个 第七 实体 是 偷窃行为 的 instance 或 那个 第七 实体 是 损坏 的 instance 和 那个 第七 实体 是 partly located 在 那个 第四 实体 和 那个 另外 客体 是 那个 第七 实体 的 patient 在 那个 第三 实体 holdsDuring 或 那个 第五 实体 出现 的 time finishes了才到 那个 实体 出现 的 time 发生的机率
(=>     (and         (instance ?X FruitOrVegetable)         (part ?F ?X)         (instance ?F FleshOrPulp)         (part ?P ?X)         (instance ?P PeelOrRind))     (orientation ?F ?P Inside))	Food.kif 2316-2323	如果 客体 是 水果或蔬菜 的 instance 和 另一个 客体 是 那个 客体 的 part 和 那个 另外 客体 是 FleshOrPulp 的 instance 和 第三 客体 是 那个 客体 的 part 和 那个 第三 客体 是 PeelOrRind 的 instance， 然后 那个 另外 客体 在 那个 第三 客体 的 内
(=>     (and         (instance ?X HeatedPool)         (contains ?X ?WATER)         (instance ?WATER FreshWater)         (part ?X ?HEATER)         (instance ?HEATER WaterHeater)         (attribute ?HEATER DeviceOn))     (attribute ?WATER WarmTemperature))	Mid-level-ontology.kif 26817-26825	如果 自身连接物体 是 HeatedPool 的 instance 和 那个 自身连接物体 contains 客体 和 那个 客体 是 淡水 的 instance 和 那个 自身连接物体 是 另一个 客体 的 part 和 那个 另外 客体 是 WaterHeater 的 instance 和 设备上 是 那个 另外 客体 的 attribute， 然后 WarmTemperature 是 那个 客体 的 attribute
(=>     (and         (instance ?X LemonFruit)         (part ?S ?X)         (instance ?S PeelOrRind))     (attribute ?S Yellow))	Food.kif 2332-2337	如果 客体 是 柠檬水果 的 instance 和 另一个 客体 是 那个 客体 的 part 和 那个 另外 客体 是 PeelOrRind 的 instance， 然后 黄色 是 那个 另外 客体 的 attribute
(=>     (and         (instance ?X Lime)         (part ?S ?X)         (instance ?S PeelOrRind))     (attribute ?S Green))	Food.kif 2355-2360	如果 客体 是 酸橙 的 instance 和 另一个 客体 是 那个 客体 的 part 和 那个 另外 客体 是 PeelOrRind 的 instance， 然后 绿色 是 那个 另外 客体 的 attribute
(=>     (and         (instance ?X OrangeFruit)         (part ?S ?X)         (instance ?S PeelOrRind))     (attribute ?S OrangeColor))	Food.kif 2346-2351	如果 客体 是 橙色水果 的 instance 和 另一个 客体 是 那个 客体 的 part 和 那个 另外 客体 是 PeelOrRind 的 instance， 然后 橙色 是 那个 另外 客体 的 attribute
(=>     (and         (instance ?X Pasta)         (not             (exists (?Y)                 (and                     (instance ?Y Pasta)                     (part ?Y ?X)))))     (attribute ?X LongAndThin))	Food.kif 2622-2630	如果 客体 是 Pasta 的 instance 和 不存在 另一个 客体 这样 那个 另外 客体 是 Pasta 的 instance 和 那个 另外 客体 是 那个 客体 的 part， 然后 又长又瘦 是 那个 客体 的 attribute
(=>     (and         (instance ?X Penne)         (not             (exists (?Y)                 (and                     (instance ?Y Penne)                     (part ?Y ?X)))))     (and         (exists (?HOLE2)             (and                 (instance ?HOLE2 HoleRegion)                 (part ?X ?HOLE2)))         (attribute ?X Fillable)))	Food.kif 2763-2776	如果 客体 是 Penne 的 instance 和 不存在 另一个 客体 这样 那个 另外 客体 是 Penne 的 instance 和 那个 另外 客体 是 那个 客体 的 part， 然后 有存在 第三 客体 这样 那个 第三 客体 是 洞 的 instance 和 那个 客体 是 那个 第三 客体 的 part 和 可填写 是 那个 客体 的 attribute
(=>     (and         (instance ?X Spaghetti)         (not             (exists (?Y)                 (and                     (instance ?Y Spaghetti)                     (part ?Y ?X)))))     (attribute ?X LongAndThin))	Food.kif 3464-3472	如果 客体 是 Spaghetti 的 instance 和 不存在 另一个 客体 这样 那个 另外 客体 是 Spaghetti 的 instance 和 那个 另外 客体 是 那个 客体 的 part， 然后 又长又瘦 是 那个 客体 的 attribute
(=>     (and         (instance ?ZONE UniformPerimeterArea)         (part ?INNER1             (InnerBoundaryFn ?ZONE))         (part ?OUTER1             (OuterBoundaryFn ?ZONE))         (distance ?INNER1 ?OUTER1 ?WIDTH1)         (part ?INNER2             (InnerBoundaryFn ?ZONE))         (part ?OUTER2             (OuterBoundaryFn ?ZONE))         (distance ?INNER2 ?OUTER2 ?WIDTH2))     (equal ?WIDTH1 ?WIDTH2))	Geography.kif 837-850	如果 地区 是 均匀的周边区域 的 instance 和 客体 是 那个 地区 的 inner 边界 的 part 和 另一个 客体 是 那个 地区 的 outer 边界 的 part 和 那个 客体 和 那个 另外 客体 的 distance 是 长度测量 和 第三 客体 是 那个 地区 的 inner 边界 的 part 和 第四 客体 是 那个 地区 的 outer 边界 的 part 和 那个 第三 客体 和 那个 第四 客体 的 distance 是 另一个 长度测量， 然后 那个 长度测量 equal 那个 另外 长度测量
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