(=>     (and         (wears ?PERSON ?HAT)         (instance ?HAT Hat))     (exists (?HEAD)         (and             (instance ?HEAD Head)             (part ?HEAD ?PERSON)             (meetsSpatially ?HAT ?HEAD))))	Mid-level-ontology.kif 5150-5158	如果 动物 wears 可穿戴物品 和 那个 可穿戴物品 是 帽子 的 instance， 然后 有存在 客体 这样 那个 客体 是 头 的 instance 和 那个 客体 是 那个 动物 的 part 和 那个 可穿戴物品 接上 那个 客体
(=>     (and         (wears ?PERSON ?SHOE)         (instance ?SHOE Shoe))     (exists (?FOOT)         (and             (instance ?FOOT Foot)             (part ?FOOT ?PERSON)             (meetsSpatially ?SHOE ?FOOT))))	Mid-level-ontology.kif 5184-5192	如果 动物 wears 可穿戴物品 和 那个 可穿戴物品 是 鞋 的 instance， 然后 有存在 客体 这样 那个 客体 是 足 的 instance 和 那个 客体 是 那个 动物 的 part 和 那个 可穿戴物品 接上 那个 客体
(=>     (attribute ?F Flat)     (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)         (and             (side ?S1 ?F)             (side ?S2 ?F)             (meetsSpatially ?S1 ?S2)             (not                 (equal ?S1 ?S2))             (instance ?U UnitOfLength)             (height ?F                 (MeasureFn ?HF ?U))             (height ?S1                 (MeasureFn ?H1 ?U))             (height ?S2                 (MeasureFn ?H2 ?U))             (greaterThan ?H1                 (MultiplicationFn 2.0 ?HF))             (greaterThan ?H2                 (MultiplicationFn 2.0 ?HF)))))	Mid-level-ontology.kif 2782-2795	如果 平面 是 自身连接物体 的 attribute， 然后 有存在 另一个 自身连接物体， 第三 自身连接物体,， ， 实数,， ， 另一个 实数,， ， 第三 实数， and 和 测量单位 这样 那个 另外 自身连接物体 是 那个 自身连接物体 的一 side 和 那个 第三 自身连接物体 是 那个 自身连接物体 的一 side 和 那个 另外 自身连接物体 接上 那个 第三 自身连接物体 和 那个 另外 自身连接物体 不 equal 那个 第三 自身连接物体 和 那个 测量单位 是 UnitOfLength 的 instance 和 那个 自身连接物体 的 height 是 那个 实数 那个 测量单位 和 那个 另外 自身连接物体 的 height 是 那个 另外 实数 那个 测量单位 和 那个 第三 自身连接物体 的 height 是 那个 第三 实数 那个 测量单位 和 那个 另外 实数 是 greaterThan 2.0 和 那个 实数 和 那个 第三 实数 是 greaterThan 2.0 和 那个 实数
(=>     (attribute ?F LongAndThin)     (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)         (and             (side ?S1 ?F)             (side ?S2 ?F)             (meetsSpatially ?S1 ?S2)             (not                 (equal ?S1 ?S2))             (instance ?U UnitOfLength)             (length ?F                 (MeasureFn ?HF ?U))             (length ?S1                 (MeasureFn ?H1 ?U))             (length ?S2                 (MeasureFn ?H2 ?U))             (lessThan ?H1                 (MultiplicationFn 3.0 ?HF))             (lessThan ?H2                 (MultiplicationFn 3.0 ?HF)))))	Mid-level-ontology.kif 2803-2816	如果 又长又瘦 是 自身连接物体 的 attribute， 然后 有存在 另一个 自身连接物体， 第三 自身连接物体,， ， 实数,， ， 另一个 实数,， ， 第三 实数， and 和 测量单位 这样 那个 另外 自身连接物体 是 那个 自身连接物体 的一 side 和 那个 第三 自身连接物体 是 那个 自身连接物体 的一 side 和 那个 另外 自身连接物体 接上 那个 第三 自身连接物体 和 那个 另外 自身连接物体 不 equal 那个 第三 自身连接物体 和 那个 测量单位 是 UnitOfLength 的 instance 和 那个 自身连接物体 的 length 是 那个 实数 那个 测量单位 和 那个 另外 自身连接物体 的 length 是 那个 另外 实数 那个 测量单位 和 那个 第三 自身连接物体 的 length 是 那个 第三 实数 那个 测量单位 和 那个 另外 实数 是 lessThan 3.0 和 那个 实数 和 那个 第三 实数 是 lessThan 3.0 和 那个 实数
(=>     (connected ?OBJ1 ?OBJ2)     (or         (meetsSpatially ?OBJ1 ?OBJ2)         (overlapsSpatially ?OBJ1 ?OBJ2)))	Merge.kif 9509-9513	如果 客体 和 另一个 客体 是 connected， 然后 那个 客体 接上 那个 另外 客体 或 那个 客体 和 那个 另外 客体 重叠
(=>     (equal ?OBJ1         (HoleSkinFn ?HOLE))     (=>         (and             (superficialPart ?OBJ3                 (HoleHostFn ?HOLE))             (meetsSpatially ?HOLE ?OBJ3)             (overlapsSpatially ?OBJ2 ?OBJ3))         (overlapsSpatially ?OBJ2 ?OBJ1)))	Merge.kif 10086-10093	如果 客体 equal 洞 洞 的 surface， 然后 如果 另一个 客体 是 洞 那个 洞 的主体 的 superficialPart 和 那个 洞 接上 那个 另外 客体 和 第三 客体 和 那个 另外 客体 重叠， 然后 那个 第三 客体 和 那个 客体 重叠
(=>     (equal ?OBJ1         (HoleSkinFn ?HOLE))     (=>         (overlapsSpatially ?OBJ2 ?OBJ1)         (exists (?OBJ3)             (and                 (superficialPart ?OBJ3                     (HoleHostFn ?HOLE))                 (meetsSpatially ?HOLE ?OBJ3)                 (overlapsSpatially ?OBJ2 ?OBJ3)))))	Merge.kif 10076-10084	如果 客体 equal 洞 洞 的 surface， 然后 如果 另一个 客体 和 那个 客体 重叠， 然后 有存在 第三 客体 这样 那个 第三 客体 是 洞 那个 洞 的主体 的 superficialPart 和 那个 洞 接上 那个 第三 客体 和 那个 另外 客体 和 那个 第三 客体 重叠
(=>     (instance         (BorderFn ?AREA1 ?AREA2) GeographicArea)     (meetsSpatially ?AREA1 ?AREA2))	Geography.kif 695-697	如果 地理区域 和 另一个 地理区域 的 border 是 地理区域 的 instance， 然后 那个 地理区域 接上 那个 另外 地理区域
(=>     (instance ?AIR Atmosphere)     (exists (?BODY)         (and             (instance ?BODY AstronomicalBody)             (meetsSpatially ?AIR ?BODY))))	Weather.kif 22-27	如果 客体 是 大气层 的 instance， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 天文体 的 instance 和 那个 客体 接上 那个 另外 客体
(=>     (instance ?AREA Continent)     (meetsSpatially ?AREA WorldOcean))	Geography.kif 4508-4510	如果 客体 是 大陆 的 instance， 然后 那个 客体 接上 世界海洋
(=>     (instance ?AREA LandlockedArea)     (exists (?LAND)         (and             (instance ?LAND LandArea)             (meetsSpatially ?AREA ?LAND))))	Geography.kif 952-957	如果 客体 是 内陆地区 的 instance， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 土地面积 的 instance 和 那个 客体 接上 那个 另外 客体
(=>     (instance ?AREA LandlockedArea)     (not         (exists (?WATER ?SEA)             (and                 (instance ?WATER SaltWaterArea)                 (part ?WATER ?SEA)                 (instance ?SEA Ocean)                 (meetsSpatially ?AREA ?WATER)))))	Geography.kif 942-950	如果 客体 是 内陆地区 的 instance， 然后 不存在 另一个 客体 和 第三 客体 这样 那个 另外 客体 是 盐水区 的 instance 和 那个 另外 客体 是 那个 第三 客体 的 part 和 那个 第三 客体 是 海洋 的 instance 和 那个 客体 接上 那个 另外 客体
(=>     (instance ?AREA LandlockedArea)     (not         (exists (?WATER)             (and                 (instance ?WATER Ocean)                 (meetsSpatially ?AREA ?WATER)))))	Geography.kif 934-940	如果 客体 是 内陆地区 的 instance， 然后 不存在 另一个 客体 这样 那个 另外 客体 是 海洋 的 instance 和 那个 客体 接上 那个 另外 客体
(=>     (instance ?BALCONY Balcony)     (exists (?WALL ?LANDAREA)         (and             (meetsSpatially ?WALL ?BALCONY)             (instance ?LANDAREA LandArea)             (located ?WALL ?LANDAREA)             (orientation ?BALCONY ?LANDAREA Above))))	Mid-level-ontology.kif 15385-15392	如果 客体 是 Balcony 的 instance， 然后 有存在 另一个 客体 和 第三 客体 这样 那个 另外 客体 接上 那个 客体 和 那个 第三 客体 是 土地面积 的 instance 和 那个 另外 客体 是 located 在 那个 第三 客体 和 那个 客体 在 那个 第三 客体 的 以上
(=>     (instance ?BANK ShoreArea)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (meetsSpatially ?BANK ?WATER))))	Merge.kif 14174-14179	如果 客体 是 岸区 的 instance， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 水域 的 instance 和 那个 客体 接上 那个 另外 客体
(=>     (instance ?Delta Delta)     (exists (?Mouth)         (and             (instance ?Mouth RiverMouth)             (meetsSpatially ?Mouth ?Delta))))	Geography.kif 5782-5787	如果 客体 是 三角洲 的 instance， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 河口 的 instance 和 那个 另外 客体 接上 那个 客体
(=>     (instance ?F Furniture)     (hasPurpose ?F         (exists (?FL)             (and                 (instance ?FL Floor)                 (meetsSpatially ?F ?FL)))))	Mid-level-ontology.kif 3698-3704	如果 物理 是 家具 的 instance， 然后 那个 物理 的 目的 是 有存在 那个 物理L 这样 那个 物理L 是 地板 的 instance 和 那个 物理 接上 那个 物理L
(=>     (instance ?F PictureFrame)     (hasPurpose ?F         (exists (?P)             (and                 (meetsSpatially ?F ?P)                 (or                     (instance ?P PaintedPicture)                     (instance ?P Photograph))))))	Mid-level-ontology.kif 1545-1553	如果 物理 是 像框 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 这样 那个 物理 接上 那个 实体 和 那个 实体 是 画的图片 的 instance 或 那个 实体 是 照片 的 instance
(=>     (instance ?FOG Fog)     (exists (?LAND)         (and             (instance ?LAND LandArea)             (meetsSpatially ?FOG ?LAND))))	Mid-level-ontology.kif 8969-8974	如果 客体 是 雾 的 instance， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 土地面积 的 instance 和 那个 客体 接上 那个 另外 客体
(=>     (instance ?FROST Frosting)     (exists (?ICE ?OBJ)         (and             (instance ?ICE Ice)             (attribute ?ICE MonoCrystalline)             (patient ?FROST ?ICE)             (instance ?OBJ Object)             (attribute ?OBJ Solid)             (destination ?FROST ?OBJ)             (meetsSpatially ?FROST ?OBJ))))	Weather.kif 2782-2792	如果 过程 是 霜 的 instance， 然后 有存在 客体 和 另一个 客体 这样 那个 客体 是 冰 的 instance 和 单晶结构 是 那个 客体 的 attribute 和 那个 客体 是 那个 过程 的 patient 和 那个 另外 客体 是 客体 的 instance 和 固体 是 那个 另外 客体 的 attribute 和 那个 过程 在 那个 另外 客体 结束 和 那个 过程 接上 那个 另外 客体
(=>     (instance ?G Gasket)     (hasPurpose ?G         (exists (?O1 ?O2)             (and                 (instance ?O1 CorpuscularObject)                 (instance ?O2 CorpuscularObject)                 (meetsSpatially ?O1 ?G)                 (meetsSpatially ?O2 ?G)                 (not                     (exists (?H ?D ?T ?O)                         (and                             (instance ?H HoleRegion)                             (equal ?G                                 (HoleHostFn ?H))                             (instance ?T Translocation)                             (path ?T ?H)                             (origin ?T ?O)                             (destination ?T ?D)                             (contains ?O1 ?O)                             (not                                 (contains ?O1 ?D))                             (meetsSpatially ?O1 ?D)                             (not                                 (exists (?O3)                                     (and                                         (contains ?H ?O3)                                         (not                                             (contains ?O1 ?O3))                                         (not                                             (contains ?O2 ?O3))))))))))))	Cars.kif 2843-2872	如果 物理 是 Gasket 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 实体 是 躯体性物体 的 instance 和 那个 另外 实体 是 躯体性物体 的 instance 和 那个 实体 接上 那个 物理 和 那个 另外 实体 接上 那个 物理 和 不存在 第三 实体， 第四 实体,， ， 第五 实体， and 和 第六 实体 这样 那个 第三 实体 是 洞 的 instance 和 那个 物理 equal 洞 那个 第三 实体 的主体 和 那个 第五 实体 是 易位 的 instance 和 那个 第三 实体%n是那个 第五 实体发生的path 和 那个 第六 实体 是 那个 第五 实体 的源头 和 那个 第五 实体 在 那个 第四 实体 结束 和 那个 实体 contains 那个 第六 实体 和 那个 实体 doesn't contains 那个 第四 实体 和 那个 实体 接上 那个 第四 实体 和 不存在 那个 第六 实体3 这样 那个 第三 实体 contains 那个 第六 实体3 和 那个 实体 doesn't contains 那个 第六 实体3 和 那个 另外 实体 doesn't contains 那个 第六 实体3
(=>     (instance ?H Hanging)     (exists (?S ?N ?P)         (and             (instance ?P Human)             (instance ?S String)             (instance ?N Neck)             (experiencer ?H ?P)             (properPart ?N ?P)             (instrument ?H ?S)             (holdsDuring                 (WhenFn ?H)                 (meetsSpatially ?S ?N)))))	Mid-level-ontology.kif 18477-18488	如果 过程 是 挂 的 instance， 然后 有存在 客体， 另一个 客体， and 和 施事体 这样 那个 施事体 是 人类 的 instance 和 那个 客体 是 串 的 instance 和 那个 另外 客体 是 颈部 的 instance 和 那个 施事体 经历了 那个 过程 和 那个 另外 客体 是 那个 施事体 的 properPart 和 那个 客体 是导致 那个 过程 的 instrument 和 那个 客体 接上 那个 另外 客体 在 那个 过程 出现 的 time holdsDuring
(=>     (instance ?ICING Icing)     (exists (?ICE ?OBJ)         (and             (instance ?ICE Ice)             (attribute ?ICE PolyCrystalline)             (patient ?ICING ?ICE)             (instance ?OBJ Object)             (attribute ?OBJ Solid)             (destination ?ICING ?OBJ)             (meetsSpatially ?ICE ?OBJ))))	Weather.kif 2514-2524	如果 过程 是 刨冰 的 instance， 然后 有存在 客体 和 另一个 客体 这样 那个 客体 是 冰 的 instance 和 多晶结构 是 那个 客体 的 attribute 和 那个 客体 是 那个 过程 的 patient 和 那个 另外 客体 是 客体 的 instance 和 固体 是 那个 另外 客体 的 attribute 和 那个 过程 在 那个 另外 客体 结束 和 那个 客体 接上 那个 另外 客体
(=>     (instance ?ISLAND Island)     (not         (exists (?AREA ?PART1 ?PART2)             (and                 (instance ?AREA LandArea)                 (part ?PART1 ?ISLAND)                 (part ?PART2 ?AREA)                 (not                     (part ?ISLAND ?AREA))                 (not                     (part ?AREA ?ISLAND))                 (meetsSpatially ?PART1 ?PART2)))))	Merge.kif 14194-14206	如果 客体 是 岛 的 instance， 然后 不存在 另一个 客体， 第三 客体， and 和 第四 客体 这样 那个 另外 客体 是 土地面积 的 instance 和 那个 第三 客体 是 那个 客体 的 part 和 那个 第四 客体 是 那个 另外 客体 的 part 和 那个 客体 不 是 那个 另外 客体 的 part 和 那个 另外 客体 不 是 那个 客体 的 part 和 那个 第三 客体 接上 那个 第四 客体
(=>     (instance ?ISLE Island)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (meetsSpatially ?ISLE ?WATER))))	Merge.kif 14216-14221	如果 客体 是 岛 的 instance， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 水域 的 instance 和 那个 客体 接上 那个 另外 客体
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