eventLocated
(=>
(
and
(
instance
?TSC
TwoStrokeCompression
)
(
eventLocated
?TSC ?E)
(
instance
?E
TwoStrokeEngine
))
(
exists
(?C)
(
and
(
instance
?C
Explosion
)
(
during
?C ?TSC)
(
eventLocated
?C ?E))))
Cars.kif 491-500
如果
时距
是
TwoStrokeCompression
的
instance
和
那个 时距
是
located
在
客体
和
那个 客体
是
TwoStrokeEngine
的
instance
,
然后 有存在
另一个 时距
这样
那个 另外 时距
是
爆炸
的
instance
和
那个 另外 时距
在
那个 时距
时段内发生 和
那个 另外 时距
是
located
在
那个 客体
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumber12
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN)))
(
exists
(?SPEED)
(
and
(
greaterThan
?SPEED 73.0)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED
MilesPerHour
))))))
Weather.kif 484-496
如果
过程
是
风
的
instance
和
实体
是
浦氏12风级
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 实体
的
attribute
,
然后 有存在
实数
这样
那个 实数
是
greaterThan
73.0 和
那个 有认知的主事
believes
那个 实数
英里每小時
是
那个 客体
的
surface
风速
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumberAttribute
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN))
(
speedScaleAttributeMinMax
?BN
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?SPEED)
(
and
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED ?U))))))
Weather.kif 349-366
如果
过程
是
风
的
instance
和
时速级数属性
是
浦福氏风级属性
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 时速级数属性
的
attribute
和
那个 时速级数属性
的最低和最高是
实数
测量单位
和
另一个 实数
那个 测量单位
和
那个 测量单位
是
测量单位
的
instance
,
然后 有存在
第三 实数
这样
那个 第三 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 第三 实数
是
lessThanOrEqualTo
那个 另外 实数
和
那个 有认知的主事
believes
那个 第三 实数
那个 测量单位
是
那个 客体
的
surface
风速
(=>
(
and
(
instance
?X
Buffet
)
(
member
?ITEM ?X)
(
located
?X ?LOC1)
(
instance
?E
Eating
)
(
agent
?E ?AGENT)
(
eventLocated
?E ?LOC2)
(
patient
?E ?ITEM))
(
and
(
not
(
equal
?LOC1 ?LOC2))
(
exists
(?G)
(
and
(
instance
?G
Getting
)
(
patient
?G ?ITEM)
(
origin
?G ?LOC1)
(
agent
?G ?AGENT)
(
before
(
WhenFn
?G)
(
WhenFn
?E))))))
Dining.kif 274-291
如果
群体
是
Buffet
的
instance
和
物理
是
那个 群体
的
member
和
那个 群体
是
located
在
客体
和
过程
是
进食
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
是
located
在
另一个 客体
和
那个 物理
是
那个 过程
的
patient
,
然后
那个 客体
不
equal
那个 另外 客体
和 有存在
另一个 过程
这样
那个 另外 过程
是
获得
的
instance
和
那个 物理
是
那个 另外 过程
的
patient
和
那个 客体
是
那个 另外 过程
的源头 和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
出现 的
time
%n在
那个 过程
出现 的
time
before
发生
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
instance
?EVENT ?CLASS)
(
subclass
?CLASS
Process
)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
playsRoleInEventOfType
?OBJ ?ROLE ?CLASS ?TIME ?PLACE))
Mid-level-ontology.kif 23260-23267
如果
客体
对于
过程
在事件
格角色
plays
角色 和
那个 过程
是
另一个 有点 过程
的
instance
和
另一个 有点 过程
是
过程
的
subclass
和
那个 过程
在
时间位置
是 存在 和
那个 过程
是
located
在
另一个 客体
,
然后
那个 客体
对于
那个 另外 有点 过程
和
那个 时间位置
和
那个 另外 客体
在事件类别
那个 格角色
plays
角色
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
instance
?EVENT ?TYPE)
(
subclass
?TYPE
Process
)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
playsRoleInEventOfType
?OBJ ?ROLE ?TYPE ?TIME ?PLACE))
Mid-level-ontology.kif 23289-23296
如果
客体
对于
过程
在事件
格角色
plays
角色 和
那个 过程
是
另一个 有点 过程
的
instance
和
另一个 有点 过程
是
过程
的
subclass
和
那个 过程
在
时间位置
是 存在 和
那个 过程
是
located
在
另一个 客体
,
然后
那个 客体
对于
那个 另外 有点 过程
和
那个 时间位置
和
那个 另外 客体
在事件类别
那个 格角色
plays
角色
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 23312-23317
如果
客体
对于
过程
在事件
格角色
plays
角色 和
那个 过程
在
时间位置
是 存在 和
那个 过程
是
located
在
另一个 客体
,
然后
那个 客体
对于
那个 另外 客体
在时间
那个 时间位置
located
(=>
(
and
(
prevents
?X ?P)
(
equal
(
WhenFn
?X) ?T)
(
eventLocated
?X ?L))
(
not
(
holdsDuring
?T
(
exists
(?Y)
(
and
(
instance
?Y ?P)
(
eventLocated
?Y ?L))))))
Merge.kif 4376-4386
如果
过程
prevents
另一个 有点 过程
的发生 和
那个 过程
出现 的
time
equal
时距
和
那个 过程
是
located
在
客体
,
然后 有存在
实体
这样
那个 实体
是
另一个 有点 过程
的
instance
和
那个 实体
是
located
在
那个 客体
doesn't 在
那个 时距
holdsDuring
(=>
(
and
(
subclass
?TYPE
Process
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(?ROLE ?EVENT ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2692-2701
如果
有点 过程
是
过程
的
subclass
和
另一个 过程
是
有点 过程
的
instance
和
那个 另外 过程
是
located
在
地区
和
格角色
是
格角色
的
instance
和
客体
是
客体
的
instance
和
那个 地区
是
地理区域
的
instance
和
那个 格角色
那个 另外 过程
and
那个 客体
,
然后
那个 有点 过程
capable
在地点
那个 格角色
对于
那个 客体
跟
那个 地区
在一起
(=>
(
and
(
subclass
?TYPE
WaterVehicle
)
(
instance
?EVENT
(
TransportationFn
?TYPE))
(
eventLocated
?EVENT ?PLACE))
(
instance
?PLACE
WaterArea
))
Transportation.kif 2287-2292
如果
有点 运输设备
是
水车
的
subclass
和
过程
是
有点 运输设备
的
transportation
的
instance
和
那个 过程
是
located
在
客体
,
然后
那个 客体
是
水域
的
instance
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
DayTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Object
)
(
color
?B
Black
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2728-2748
如果
visibility
在
地区
期间
时距
是
实数
测量单位
和
那个 测量单位
是
测量单位
的
instance
和
那个 时距
是
一天的时间
的
instance
和
过程
是
看着
的
instance
和
客体
是
客体
的
instance
和
那个 客体
是
黑色
的
color
和
施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
patient
和
那个 施事体
在
那个 客体
的
横
和
那个 过程
是
located
在
那个 地区
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 客体
是
客体
的
instance
,
然后 有存在
另一个 实数
这样
那个 施事体
和
那个 客体
的
distance
是
那个 另外 实数
那个 测量单位
和
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
NightTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Region
)
(
attribute
?B
Illuminated
)
(
measure
?B
(
MeasureFn
1000.0
Candela
))
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2750-2771
如果
visibility
在
地区
期间
时距
是
实数
测量单位
和
那个 测量单位
是
测量单位
的
instance
和
那个 时距
是
晚上的时间
的
instance
和
过程
是
看着
的
instance
和
客体
是
地区
的
instance
和
发光的
是
那个 客体
的
attribute
和
那个 客体
的
measure
是 1000.0
坎德拉
和
施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
patient
和
那个 施事体
在
那个 客体
的
横
和
那个 过程
是
located
在
那个 地区
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 客体
是
客体
的
instance
,
然后 有存在
另一个 实数
这样
那个 施事体
和
那个 客体
的
distance
是
那个 另外 实数
那个 测量单位
和
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
eventLocated
?PROCESS ?OBJ)
(
forall
(?SUB)
(=>
(
subProcess
?SUB ?PROCESS)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4127-4132
如果
过程
是
located
在
客体
,
然后 对所有
另一个 过程
如果
那个 另外 过程
%n是
那个 过程
的
subProcess
,
然后
那个 另外 过程
是
located
在
那个 客体
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