(=>     (and         (attribute ?X ?SHAPE)         (instance ?X FourPosterBed)         (instance ?SHAPE Quadrilateral)         (sideOfFigure ?SIDE1 ?SHAPE)         (sideOfFigure ?SIDE2 ?SHAPE)         (not             (equal ?SIDE1 ?SIDE2)))     (exists (?POST ?FLOOR ?CORNER1 ?CORNER)         (and             (part ?POST ?X)             (instance ?FLOOR Floor)             (orientation ?X ?FLOOR On)             (orientation ?POST ?FLOOR Vertical)             (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1)             (attribute ?CORNER ?CORNER1)             (meetsSpatially ?CORNER ?POST))))	Mid-level-ontology.kif 4521-4538	如果 几何图 是 客体 的 attribute 和 那个 客体 是 FourPosterBed 的 instance 和 那个 几何图 是 四边形 的 instance 和 那个 几何图 的 side 是 一维图 和 那个 几何图 的 side 是 另一个 一维图 和 equal 那个 一维图 and 那个 另外 一维图， 然后 有存在 另一个 客体， 第三 客体,， ， 几何点， and 和 第四 客体 这样 那个 另外 客体 是 那个 客体 的 part 和 那个 第三 客体 是 地板 的 instance 和 那个 客体 在 那个 第三 客体 的 上 和 那个 另外 客体 在 那个 第三 客体 的 垂直 和 那个 一维图 是 对于 那个 几何点 的 交接点 那个 另外 一维图 和 那个 几何点 是 那个 第四 客体 的 attribute 和 那个 第四 客体 接上 那个 另外 客体
(=>     (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 1011-1022	如果 Suite 是 客体 的 attribute 和 那个 客体 是 HotelUnit 的 instance， 然后 有存在 另一个 客体 和 第三 客体 这样 那个 另外 客体 是 HotelRoom 的 instance 和 那个 第三 客体 是 HotelRoom 的 instance 和 那个 另外 客体 在 那个 客体 的 内 和 那个 第三 客体 在 那个 客体 的 内 和 equal 那个 另外 客体 and 那个 第三 客体
(=>     (and         (bottom ?BOTTOM ?OBJECT)         (part ?PART ?OBJECT)         (not             (connected ?PART ?BOTTOM)))     (orientation ?PART ?BOTTOM Above))	Merge.kif 9853-9858	如果 自身连接物体 的 bottom 是 另一个 自身连接物体 和 客体 是 那个 自身连接物体 的 part 和 那个 客体 和 那个 另外 自身连接物体 不 是 connected， 然后 那个 客体 在 那个 另外 自身连接物体 的 以上
(=>     (and         (equal ?PLANE             (LevelPlaneFn ?P ?A))         (part ?P ?R)         (instance ?R Region)         (located ?R ?A))     (exists (?L)         (and             (instance ?L LineInSpace)             (endPointsOfLineInSpace ?P                 (CenterOfPlanetFn ?A) ?L)             (orientation ?PLANE ?L RightAngle))))	Mid-level-ontology.kif 27429-27441	如果 equal PlaneInSpace and LevelPlaneFn PointInSpace and 天文体 和 那个 PointInSpace 是 客体 的 part 和 那个 客体 是 地区 的 instance 和 那个 客体 是 located 在 那个 天文体， 然后 有存在 FiniteLineInSpace 这样 那个 FiniteLineInSpace 是 LineInSpace 的 instance 和 endPointsOfLineInSpace 那个 PointInSpace, CenterOfPlanetFn 那个 天文体 and 那个 FiniteLineInSpace 和 那个 PlaneInSpace 在 那个 FiniteLineInSpace 的 直角
(=>     (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 6254-6263	如果 客体 是 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 15132-15143	如果 客体 是 动物 的 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 那个 施事体 and 那个 另外 施事体， 然后 那个 施事体 在 那个 另外 施事体 的 近 在 那个 过程 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 14261-14272	如果 客体 是 下巴 的 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 21590-21602	如果 过程 是 拆卸 的 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 670-675	如果 方向属性 是 方向属性 的 instance 和 地理区域 是 地理区域 的 instance 和 那个 方向属性 和 那个 地理区域 的 directional 次要地区 是 地理区域 的 instance， 然后 那个 方向属性 和 那个 地理区域 的 directional 次要地区 在 那个 地理区域 的 geographic 中心 的 那个 方向属性
(=>     (and         (instance ?DROP Falling)         (origin ?DROP ?START)         (destination ?DROP ?FINISH))     (orientation ?FINISH ?START Below))	Merge.kif 11737-11742	如果 过程 是 落下 的 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 1474-1483	如果 客体 是 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 1504-1516	如果 客体 是 Eyebrow 的 instance 和 Healthy 是 另一个 客体 的 attribute 和 站立 是 那个 另外 客体 的 attribute 在 时间位置 holdsDuring 和 那个 客体 是 那个 另外 客体 的 part， 然后 有存在 那个 客体YE 这样 那个 客体YE 是 眼睛 的 instance 和 那个 客体YE 是 那个 另外 客体 的 part 和 那个 客体 在 那个 客体YE 的 以上
(=>     (and         (instance ?F Facility)         (attribute ?F PhysicallyRestrictedRegion))     (exists (?B)         (and             (instance ?B Barrier)             (orientation ?F ?B Surrounded))))	Mid-level-ontology.kif 7806-7813	如果 客体 是 Facility 的 instance 和 PhysicallyRestrictedRegion 是 那个 客体 的 attribute， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 屏障 的 instance 和 那个 客体 在 那个 另外 客体 的 Surrounded
(=>     (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 1523-1535	如果 客体 是 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 5864-5873	如果 水域 是 瀑布 的 instance 和 水运动 是 水运动 的 instance 和 那个 水域 是 那个 水运动 的 flow 流量 和 客体 是 那个 水运动 的源头 和 那个 水运动 在 另一个 客体 结束 和 那个 客体 是 水域 的 instance 和 那个 另外 客体 是 水域 的 instance， 然后 那个 客体 在 那个 另外 客体 的 以上
(=>     (and         (instance ?LAND Continent)         (not             (equal ?LAND Antarctica)))     (orientation Antarctica ?LAND South))	Geography.kif 292-296	如果 客体 是 大陆 的 instance 和 equal 那个 客体 and 南极洲， 然后 南极洲 在 那个 客体 的 南
(=>     (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 462-473	如果 过程 是 安装 的 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 13436-13441	如果 过程 是 会面 的 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 ?OF OccludedFront)         (instance ?C AirMass)         (origin ?OF ?C)         (airTemperature ?C             (MeasureFn ?X CelsiusDegree))         (instance ?W AirMass)         (airTemperature ?W             (MeasureFn ?Y CelsiusDegree))         (lessThan ?X ?Y)         (moves ?OF ?W))     (orientation ?C ?W Below))	Weather.kif 900-912	如果 运动 是 锢囚锋 的 instance 和 客体 是 气团 的 instance 和 那个 客体 是 那个 运动 的源头 和 实数 摄氏度 是 那个 客体 的 air 温度 和 另一个 客体 是 气团 的 instance 和 另一个 实数 摄氏度 是 那个 另外 客体 的 air 温度 和 那个 实数 是 lessThan 那个 另外 实数 和 移动 那个 运动 and 那个 另外 客体， 然后 那个 客体 在 那个 另外 客体 的 下面
(=>     (and         (instance ?P AntiSymmetricPositionalAttribute)         (orientation ?O1 ?O2 ?P))     (not         (orientation ?O2 ?O1 ?P)))	Merge.kif 17240-17244	如果 位置属性 是 AntiSymmetricPositionalAttribute 的 instance 和 客体 在 另一个 客体 的 那个 位置属性， 然后 那个 另外 客体 不 在 那个 客体 的 那个 位置属性
(=>     (and         (instance ?P SymmetricPositionalAttribute)         (orientation ?O1 ?O2 ?P))     (orientation ?O2 ?O1 ?P))	Merge.kif 17229-17233	如果 位置属性 是 SymmetricPositionalAttribute 的 instance 和 客体 在 另一个 客体 的 那个 位置属性， 然后 那个 另外 客体 在 那个 客体 的 那个 位置属性
(=>     (and         (instance ?P ThreeDPrinting)         (instance ?O Artifact)         (result ?P ?O))     (exists (?A ?X ?B ?Y)         (and             (instance ?A Making)             (subProcess ?A ?P)             (instance ?X SelfConnectedObject)             (part ?X ?O)             (result ?A ?X)             (instance ?B Making)             (subProcess ?B ?P)             (instance ?Y SelfConnectedObject)             (part ?Y ?O)             (overlapsSpatially ?X ?Y)             (orientation ?X ?Y Below)             (during                 (WhenFn ?A)                 (WhenFn ?P))             (during                 (WhenFn ?B)                 (WhenFn ?P))             (earlier                 (WhenFn ?A)                 (WhenFn ?B)))))	QoSontology.kif 537-563	如果 过程 是 ThreeDPrinting 的 instance 和 客体 是 人工制品 的 instance 和 那个 客体 是 那个 过程 的 result， 然后 有存在 另一个 过程， 另一个 客体,， ， 第三 过程， and 和 第三 客体 这样 那个 另外 过程 是 制作 的 instance 和 那个 另外 过程是那个 过程的subProcess 和 那个 另外 客体 是 自身连接物体 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 那个 另外 客体 是 那个 另外 过程 的 result 和 那个 第三 过程 是 制作 的 instance 和 那个 第三 过程是那个 过程的subProcess 和 那个 第三 客体 是 自身连接物体 的 instance 和 那个 第三 客体 是 那个 客体 的 part 和 那个 另外 客体 和 那个 第三 客体 重叠 和 那个 另外 客体 在 那个 第三 客体 的 下面 和 那个 另外 过程 出现 的 time 在 那个 过程 出现 的 time 时段内发生 和 那个 第三 过程 出现 的 time 在 那个 过程 出现 的 time 时段内发生 和 那个 另外 过程 出现 的 time 比那个 第三 过程 出现 的 time发生的earlier
(=>     (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 和 那个 躯体性物体 在 那个 第三 躯体性物体 的 左
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