(=>     (and         (attribute ?X Suite)         (instance ?X HotelUnit))     (exists (?R1 ?R2)         (and             (instance ?R1 HotelRoom)             (instance ?R2 HotelRoom)             (orientation ?R1 ?X Inside)             (orientation ?R2 ?X Inside)             (not                 (equal ?R1 ?R2)))))	Hotel.kif 1003-1014	如果 Suite 是 客体 的 attribute 和 那个 客体 是 HotelUnit 的 instance， 然后 有存在 另一个 客体 和 第三 客体 这样 那个 另外 客体 是 HotelRoom 的 instance 和 那个 第三 客体 是 HotelRoom 的 instance 和 那个 另外 客体 在 那个 客体 的 内 和 那个 第三 客体 在 那个 客体 的 内 和 那个 另外 客体 不 equal 那个 第三 客体
(=>     (and         (bottom ?BOTTOM ?OBJECT)         (part ?PART ?OBJECT)         (not             (connected ?PART ?BOTTOM)))     (orientation ?PART ?BOTTOM Above))	Merge.kif 9737-9742	如果 自身连接物体 的 bottom 是 另一个 自身连接物体 和 客体 是 那个 自身连接物体 的 part 和 那个 客体 和 那个 另外 自身连接物体 不 是 connected， 然后 那个 客体 在 那个 另外 自身连接物体 的 以上
(=>     (and         (instance ?A             (BodyAreaFn ?OC))         (instance ?H Animal)         (part ?A ?H))     (exists (?O)         (and             (instance ?O ?OC)             (orientation ?A ?O Near)             (part ?O ?H))))	Medicine.kif 6237-6246	如果 客体 是 BodyAreaFn 有点 身体部位 的 instance 和 另一个 客体 是 动物 的 instance 和 那个 客体 是 那个 另外 客体 的 part， 然后 有存在 第三 客体 这样 那个 第三 客体 是 有点 身体部位 的 instance 和 那个 客体 在 那个 第三 客体 的 近 和 那个 第三 客体 是 那个 另外 客体 的 part
(=>     (and         (instance ?A Animal)         (instance ?P             (BodySideFn ?S ?BPC))         (contraryAttribute ?S ?SO)         (attribute ?A Healthy))     (exists (?PO)         (and             (instance ?PO                 (BodySideFn ?SO ?BPC))             (orientation ?P ?PO ?S))))	Merge.kif 15001-15012	如果 客体 是 动物 的 instance 和 另一个 客体 是 BodySideFn AntiSymmetricPositionalAttribute and 有点 身体部位 的 instance 和 那个 AntiSymmetricPositionalAttribute 是 那个 AntiSymmetricPositionalAttributeO 的相反 和 Healthy 是 那个 客体 的 attribute， 然后 有存在 那个 另外 客体O 这样 那个 另外 客体O 是 BodySideFn 那个 AntiSymmetricPositionalAttributeO and 有点 身体部位 的 instance 和 那个 另外 客体 在 那个 另外 客体O 的 那个 AntiSymmetricPositionalAttribute
(=>     (and         (instance ?C InPersonCommunication)         (agent ?C ?A1)         (agent ?C ?A2)         (not             (equal ?A1 ?A2)))     (holdsDuring ?C         (orientation ?A1 ?A2 Near)))	Media.kif 224-231	如果 过程 是 InPersonCommunication 的 instance 和 施事体 是 那个 过程 的 agent 和 另一个 施事体 是 那个 过程 的 agent 和 那个 施事体 不 equal 那个 另外 施事体， 然后 那个 施事体 在 那个 另外 施事体 的 近 在 那个 过程 holdsDuring
(=>     (and         (instance ?CHIN Chin)         (instance ?FACE Face)         (part ?CHIN ?FACE))     (forall (?PART)         (=>             (and                 (part ?PART ?FACE)                 (not                     (part ?PART ?CHIN)))             (orientation ?PART ?CHIN Below))))	Mid-level-ontology.kif 12929-12940	如果 客体 是 下巴 的 instance 和 另一个 客体 是 面对 的 instance 和 那个 客体 是 那个 另外 客体 的 part， 然后 对所有 第三 客体 如果 那个 第三 客体 是 那个 另外 客体 的 part 和 那个 第三 客体 不 是 那个 客体 的 part， 然后 那个 第三 客体 在 那个 客体 的 下面
(=>     (and         (instance ?D Dismounting)         (agent ?D ?A)         (patient ?D ?O))     (and         (holdsDuring             (BeginFn                 (WhenFn ?D))             (orientation ?A ?O On))         (holdsDuring             (EndFn                 (WhenFn ?D))             (not                 (orientation ?A ?O On)))))	Mid-level-ontology.kif 20002-20014	如果 过程 是 拆卸 的 instance 和 施事体 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient， 然后 那个 施事体 在 那个 实体 的 上 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 施事体 不 在 那个 实体 的 上 在 那个 过程 出现 的 time 的结束 holdsDuring
(=>     (and         (instance ?DIRECTION DirectionalAttribute)         (instance ?AREA GeographicArea)         (instance             (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))     (orientation         (DirectionalSubregionFn ?DIRECTION ?AREA)         (GeographicCenterFn ?AREA) ?DIRECTION))	Geography.kif 500-505	如果 方向属性 是 方向属性 的 instance 和 地理区域 是 地理区域 的 instance 和 那个 方向属性 和 那个 地理区域 的 directional 次要地区 是 地理区域 的 instance， 然后 那个 方向属性 和 那个 地理区域 的 directional 次要地区 在 那个 地理区域 的 geographic 中心 的 那个 方向属性
(=>     (and         (instance ?DROP Falling)         (origin ?DROP ?START)         (destination ?DROP ?FINISH))     (orientation ?FINISH ?START Below))	Merge.kif 11609-11614	如果 过程 是 落下 的 instance 和 客体 是 那个 过程 的源头 和 那个 过程 在 另一个 客体 结束， 然后 那个 另外 客体 在 那个 客体 的 下面
(=>     (and         (instance ?E Eyebrow)         (attribute ?H Healthy)         (part ?E ?H))     (exists (?EYE)         (and             (instance ?EYE Eye)             (part ?EYE ?H)             (orientation ?EYE ?E Near))))	Anatomy.kif 1439-1448	如果 客体 是 Eyebrow 的 instance 和 Healthy 是 另一个 客体 的 attribute 和 那个 客体 是 那个 另外 客体 的 part， 然后 有存在 那个 客体YE 这样 那个 客体YE 是 眼睛 的 instance 和 那个 客体YE 是 那个 另外 客体 的 part 和 那个 客体YE 在 那个 客体 的 近
(=>     (and         (instance ?E Eyebrow)         (holdsDuring ?T             (and                 (attribute ?H Healthy)                 (attribute ?H Standing)))         (part ?E ?H))     (exists (?EYE)         (and             (instance ?EYE Eye)             (part ?EYE ?H)             (orientation ?E ?EYE Above))))	Anatomy.kif 1469-1481	如果 客体 是 Eyebrow 的 instance 和 Healthy 是 另一个 客体 的 attribute 和 站立 是 那个 另外 客体 的 attribute 在 时间位置 holdsDuring 和 那个 客体 是 那个 另外 客体 的 part， 然后 有存在 那个 客体YE 这样 那个 客体YE 是 眼睛 的 instance 和 那个 客体YE 是 那个 另外 客体 的 part 和 那个 客体 在 那个 客体YE 的 以上
(=>     (and         (instance ?F Forehead)         (holdsDuring ?T             (and                 (attribute ?H Healthy)                 (attribute ?H Standing)))         (part ?E ?H))     (exists (?EYE)         (and             (instance ?EYE Eye)             (part ?EYE ?H)             (orientation ?F ?EYE Above))))	Anatomy.kif 1488-1500	如果 客体 是 Forehead 的 instance 和 Healthy 是 另一个 客体 的 attribute 和 站立 是 那个 另外 客体 的 attribute 在 时间位置 holdsDuring 和 第三 客体 是 那个 另外 客体 的 part， 然后 有存在 那个 第三 客体YE 这样 那个 第三 客体YE 是 眼睛 的 instance 和 那个 第三 客体YE 是 那个 另外 客体 的 part 和 那个 客体 在 那个 第三 客体YE 的 以上
(=>     (and         (instance ?FALL Waterfall)         (instance ?CURRENT WaterMotion)         (flowCurrent ?CURRENT ?FALL)         (origin ?CURRENT ?TOP)         (destination ?CURRENT ?BOTTOM)         (instance ?TOP WaterArea)         (instance ?BOTTOM WaterArea))     (orientation ?TOP ?BOTTOM Above))	Geography.kif 5561-5570	如果 水域 是 瀑布 的 instance 和 水运动 是 水运动 的 instance 和 那个 水域 是 那个 水运动 的 flow 流量 和 客体 是 那个 水运动 的源头 和 那个 水运动 在 另一个 客体 结束 和 那个 客体 是 水域 的 instance 和 那个 另外 客体 是 水域 的 instance， 然后 那个 客体 在 那个 另外 客体 的 以上
(=>     (and         (instance ?LAND Continent)         (not             (equal ?LAND Antarctica)))     (orientation Antarctica ?LAND South))	Geography.kif 292-296	如果 客体 是 大陆 的 instance 和 那个 客体 不 equal 南极洲， 然后 南极洲 在 那个 客体 的 南
(=>     (and         (instance ?M Mounting)         (agent ?M ?A)         (patient ?M ?O))     (and         (holdsDuring             (BeginFn                 (WhenFn ?M))             (not                 (orientation ?A ?O On)))         (holdsDuring             (EndFn                 (WhenFn ?M))             (orientation ?A ?O On))))	Mid-level-ontology.kif 469-480	如果 过程 是 安装 的 instance 和 施事体 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient， 然后 那个 施事体 不 在 那个 实体 的 上 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 施事体 在 那个 实体 的 上 在 那个 过程 出现 的 time 的结束 holdsDuring
(=>     (and         (instance ?MEET Meeting)         (agent ?MEET ?AGENT1)         (agent ?MEET ?AGENT2))     (holdsDuring         (WhenFn ?MEET)         (orientation ?AGENT1 ?AGENT2 Near)))	Merge.kif 13304-13309	如果 过程 是 会面 的 instance 和 施事体 是 那个 过程 的 agent 和 另一个 施事体 是 那个 过程 的 agent， 然后 那个 施事体 在 那个 另外 施事体 的 近 在 那个 过程 出现 的 time holdsDuring
(=>     (and         (instance ?MID MiddleCIButton)         (component ?MID ?DEV)         (instance ?DEV ComputerInputDevice))     (exists (?LEFT ?RIGHT)         (and             (instance ?RIGHT RightCIButton)             (instance ?LEFT LeftCIButton)             (component ?RIGHT ?DEV)             (component ?LEFT ?DEV)             (between ?LEFT ?MID ?RIGHT)             (orientation ?MID ?LEFT Left)             (orientation ?MID ?RIGHT Right))))	ComputerInput.kif 224-237	如果 躯体性物体 是 MiddleCIButton 的 instance 和 那个 躯体性物体 是 另一个 躯体性物体 的 component 和 那个 另外 躯体性物体 是 电脑输入设备 的 instance， 然后 有存在 第三 躯体性物体 和 第四 躯体性物体 这样 那个 第四 躯体性物体 是 RightCIButton 的 instance 和 那个 第三 躯体性物体 是 LeftCIButton 的 instance 和 那个 第四 躯体性物体 是 那个 另外 躯体性物体 的 component 和 那个 第三 躯体性物体 是 那个 另外 躯体性物体 的 component 和 那个 躯体性物体 是在 那个 第三 躯体性物体 和 那个 第四 躯体性物体 between 和 那个 躯体性物体 在 那个 第三 躯体性物体 的 左 和 那个 躯体性物体 在 那个 第四 躯体性物体 的 右
(=>     (and         (instance ?P AntiSymmetricPositionalAttribute)         (orientation ?O1 ?O2 ?P))     (not         (orientation ?O2 ?O1 ?P)))	Merge.kif 17087-17091	如果 位置属性 是 AntiSymmetricPositionalAttribute 的 instance 和 客体 在 另一个 客体 的 那个 位置属性， 然后 那个 另外 客体 不 在 那个 客体 的 那个 位置属性
(=>     (and         (instance ?P SymmetricPositionalAttribute)         (orientation ?O1 ?O2 ?P))     (orientation ?O2 ?O1 ?P))	Merge.kif 17076-17080	如果 位置属性 是 SymmetricPositionalAttribute 的 instance 和 客体 在 另一个 客体 的 那个 位置属性， 然后 那个 另外 客体 在 那个 客体 的 那个 位置属性
(=>     (and         (instance ?RIGHT PhysicalRightCIButton)         (component ?RIGHT ?DEV)         (instance ?DEV ComputerInputDevice))     (exists (?LEFT)         (and             (instance ?LEFT PhysicalLeftCIButton)             (component ?LEFT ?DEV)             (orientation ?RIGHT ?LEFT Left))))	ComputerInput.kif 204-213	如果 躯体性物体 是 PhysicalRightCIButton 的 instance 和 那个 躯体性物体 是 另一个 躯体性物体 的 component 和 那个 另外 躯体性物体 是 电脑输入设备 的 instance， 然后 有存在 第三 躯体性物体 这样 那个 第三 躯体性物体 是 PhysicalLeftCIButton 的 instance 和 那个 第三 躯体性物体 是 那个 另外 躯体性物体 的 component 和 那个 躯体性物体 在 那个 第三 躯体性物体 的 左
(=>     (and         (instance ?SM StripMall)         (instance ?RS1 RetailStore)         (part ?RS1 ?SM))     (exists (?PL)         (and             (instance ?PL ParkingLot)             (orientation ?RS1 ?PL Adjacent))))	Medicine.kif 5147-5155	如果 客体 是 StripMall 的 instance 和 另一个 客体 是 零售店 的 instance 和 那个 另外 客体 是 那个 客体 的 part， 然后 有存在 第三 客体 这样 那个 第三 客体 是 停车场 的 instance 和 那个 另外 客体 在 那个 第三 客体 的 邻
(=>     (and         (instance ?STEM PlantStem)         (instance ?ROOT PlantRoot))     (modalAttribute         (orientation ?STEM ?ROOT Above) Likely))	Mid-level-ontology.kif 9538-9543	如果 实体 是 PlantStem 的 instance 和 另一个 实体 是 植物根 的 instance， 然后 那个 实体 在 那个 另外 实体 的 以上 的声明 has 容易 的语气
(=>     (and         (instance ?T Thoracentesis)         (patient ?T ?H))     (exists (?I ?O ?IN ?L ?C ?F)         (and             (instance ?I Inserting)             (subProcess ?I ?T)             (objectTransferred ?I ?N)             (origin ?I ?O)             (destination ?I ?IN)             (instance ?N Needle)             (attribute ?F Fluid)             (objectTransferred ?T ?F)             (destination ?F ?O)             (instance ?L Lung)             (instance ?C Chest)             (part ?L ?H)             (part ?C ?H)             (origin ?T ?IN)             (destination ?T ?O)             (between ?L ?IN ?C)             (orientation ?O ?H Outside))))	Medicine.kif 895-917	如果 转移 是 Thoracentesis 的 instance 和 客体 是 那个 转移 的 patient， 然后 有存在 另一个 转移， 另一个 客体,， ， 那个 另外 转移N,， ， 第四 客体,， ， 第五 客体， and 和 第六 客体 这样 那个 另外 转移 是 插入 的 instance 和 那个 另外 转移%n是那个 转移的subProcess 和 objectTransferred 那个 另外 转移 and 第七 客体 和 那个 另外 客体 是 那个 另外 转移 的源头 和 那个 另外 转移 在 那个 另外 转移N 结束 和 那个 第七 客体 是 Needle 的 instance 和 流体 是 那个 第六 客体 的 attribute 和 objectTransferred 那个 转移 and 那个 第六 客体 和 那个 第六 客体 在 那个 另外 客体 结束 和 那个 第四 客体 是 肺 的 instance 和 那个 第五 客体 是 Chest 的 instance 和 那个 第四 客体 是 那个 客体 的 part 和 那个 第五 客体 是 那个 客体 的 part 和 那个 另外 转移N 是 那个 转移 的源头 和 那个 转移 在 那个 另外 客体 结束 和 那个 另外 转移N 是在 那个 第四 客体 和 那个 第五 客体 between 和 那个 另外 客体 在 那个 客体 的 外
(=>     (and         (instance ?VCS VentedChestSeal)         (instance ?A Attaching)         (objectTransferred ?A ?VCS)         (destination ?A ?H))     (hasPurpose ?VCS         (exists (?A ?L ?C ?H)             (and                 (instance ?A Air)                 (instance ?L Lung)                 (instance ?C Chest)                 (part ?L ?H)                 (part ?C ?H)                 (holdsDuring                     (ImmediatePastFn                         (WhenFn ?A))                     (between ?L ?A ?C))                 (hasPurpose ?VCS                     (holdsDuring                         (ImmediateFutureFn                             (WhenFn ?A))                         (orientation ?A ?H Outside)))))))	Medicine.kif 853-875	如果 客体 是 VentedChestSeal 的 instance 和 转移 是 连接 的 instance 和 objectTransferred 那个 转移 and 那个 客体 和 那个 转移 在 实体 结束， 然后 那个 客体 的 目的 是 有存在 那个 转移， 另一个 实体,， ， 第三 实体， and 和 那个 实体 这样 那个 转移 是 空气 的 instance 和 那个 另外 实体 是 肺 的 instance 和 那个 第三 实体 是 Chest 的 instance 和 那个 另外 实体 是 那个 实体 的 part 和 那个 第三 实体 是 那个 实体 的 part 和 那个 转移 是在 那个 另外 实体 和 那个 第三 实体 between 在 紧接 那个 转移 出现 的 time before holdsDuring 和 那个 客体 的 目的 是 那个 转移 在 那个 实体 的 外 在 紧接 那个 转移 出现 的 time after holdsDuring
(=>     (and         (instance ?X Argument)         (instance ?R Reasoning)         (instance ?A Archeology)         (subProposition ?X ?A)         (realization ?R ?X))     (exists (?D ?S ?O ?T ?W ?L)         (and             (instance ?D Discovering)             (instance ?O Object)             (patient ?D ?O)             (refers ?R ?D)             (earlier                 (WhenFn ?D)                 (WhenFn ?R))             (age ?O                 (MeasureFn ?T YearDuration))             (greaterThan ?T 50)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?D))                 (or                     (and                         (surface ?S ?W)                         (instance ?W BodyOfWater)                         (orientation ?O ?S Below))                     (and                         (surface ?S ?L)                         (instance ?L LandArea)                         (orientation ?O ?S Below)))))))	Mid-level-ontology.kif 21146-21176	如果 命题 是 争论 的 instance 和 过程 是 推理 的 instance 和 另一个 命题 是 Archeology 的 instance 和 那个 命题 是 那个 另外 命题 的 subProposition 和 那个 过程 表示 那个 命题 的内容， 然后 有存在 另一个 过程， 实体,， ， 物理,， ， 实数,， ， 另一个 实体， and 和 第三 实体 这样 那个 另外 过程 是 发现 的 instance 和 那个 物理 是 客体 的 instance 和 那个 物理 是 那个 另外 过程 的 patient 和 那个 过程 提到 那个 另外 过程 和 那个 另外 过程 出现 的 time 比那个 过程 出现 的 time发生的earlier 和 那个 物理 的 age 是 那个 实数 年持续时间 和 那个 实数 是 greaterThan 50 和 那个 实体 是 那个 另外 实体 的 surface 和 那个 另外 实体 是 水体 的 instance 和 那个 物理 在 那个 实体 的 下面 或 那个 实体 是 那个 第三 实体 的 surface 和 那个 第三 实体 是 土地面积 的 instance 和 那个 物理 在 那个 实体 的 下面 在 紧接 那个 另外 过程 出现 的 time before holdsDuring
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