orientation
(=>
(
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 9715-9720
如果
自身连接物体
的
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 14979-14990
如果
客体
是
动物
的
instance
和
另一个 客体
是
BodySideFn
AntiSymmetricPositionalAttribute
and
有点 身体部位
的
instance
和
那个 AntiSymmetricPositionalAttribute
是
那个 AntiSymmetricPositionalAttribute
O 的相反 和
Healthy
是
那个 客体
的
attribute
,
然后 有存在
那个 另外 客体
O 这样
那个 另外 客体
O 是
BodySideFn
那个 AntiSymmetricPositionalAttribute
O 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 12930-12941
如果
客体
是
下巴
的
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 20003-20015
如果
过程
是
拆卸
的
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 11587-11592
如果
过程
是
落下
的
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 13282-13287
如果
过程
是
会面
的
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 17065-17069
如果
位置属性
是
AntiSymmetricPositionalAttribute
的
instance
和
客体
在
另一个 客体
的
那个 位置属性
,
然后
那个 另外 客体
不 在
那个 客体
的
那个 位置属性
(=>
(
and
(
instance
?P
SymmetricPositionalAttribute
)
(
orientation
?O1 ?O2 ?P))
(
orientation
?O2 ?O1 ?P))
Merge.kif 17054-17058
如果
位置属性
是
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 9539-9544
如果
实体
是
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 21147-21177
如果
命题
是
争论
的
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