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
例
TimeInterval
and
TwoStrokeCompression
TimeInterval
是
located
在
Object
例
Object
and
TwoStrokeEngine
TimeInterval
例
TimeInterval
and
爆炸
期間
TimeInterval
and
TimeInterval
TimeInterval
是
located
在
Object
(=>
(
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
例
Process
and
風
例
Entity
and
BeaufortNumber12
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
Entity
RealNumber
比較多
RealNumber
and 73.0
相信
CognitiveAgent
and
測量
RealNumber
and
MilesPerHour
是
Object
的
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
例
Process
and
風
例
SpeedScaleAttribute
and
BeaufortNumberAttribute
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
測量
RealNumber
and
UnitOfMeasure
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
RealNumber
大於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
相信
CognitiveAgent
and
測量
RealNumber
and
UnitOfMeasure
是
Object
的
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
例
Collection
and
Buffet
會員
Physical
and
Collection
位於
Collection
and
Object
例
Process
and
Eating
agent
Process
and
AutonomousAgent
Process
是
located
在
Object
患者
Process
and
Physical
等於
Object
and
Object
Process
例
Process
and
Getting
患者
Process
and
Physical
起源
Process
and
Object
agent
Process
and
AutonomousAgent
之前
何時
Process
and
何時
Process
(=>
(
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
Object
對於
Process
在事件
CaseRole
plays
角色
例
Process
and
Process
子類
Process
and
Process
時間
Process
and
TimePosition
Process
是
located
在
Object
Object
對於
Process
和
TimePosition
和
Object
在事件類別
CaseRole
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
Object
對於
Process
在事件
CaseRole
plays
角色
例
Process
and
Process
子類
Process
and
Process
時間
Process
and
TimePosition
Process
是
located
在
Object
Object
對於
Process
和
TimePosition
和
Object
在事件類別
CaseRole
plays
角色
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 23312-23317
Object
對於
Process
在事件
CaseRole
plays
角色
時間
Process
and
TimePosition
Process
是
located
在
Object
Object
對於
Object
在時間
TimePosition
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
防止
Process
and
Process
等於
何時
Process
and
TimeInterval
Process
是
located
在
Object
持有期間
TimeInterval
and
entity
例
entity
and
Process
entity
是
located
在
Object
(=>
(
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
子類
Process
and
Process
例
Process
and
Process
Process
是
located
在
Region
例
CaseRole
and
CaseRole
例
Object
and
Object
例
Region
and
GeographicArea
CaseRole
Process
and
Object
Process
capable
在地點
CaseRole
對於
Object
跟
Region
在一起
(=>
(
and
(
subclass
?TYPE
WaterVehicle
)
(
instance
?EVENT
(
TransportationFn
?TYPE))
(
eventLocated
?EVENT ?PLACE))
(
instance
?PLACE
WaterArea
))
Transportation.kif 2287-2292
子類
TransportationDevice
and
水車
例
Process
and
TransportationDevice
的
transportation
Process
是
located
在
Object
例
Object
and
WaterArea
(=>
(
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
在
Region
期間
TimeInterval
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
例
TimeInterval
and
一天的時間
例
Process
and
看著
例
Object
and
Object
Object
是
黑色
的
color
agent
Process
and
AutonomousAgent
患者
Process
and
Object
方位
AutonomousAgent
,
Object
and
橫
Process
是
located
在
Region
期間
何時
Process
and
TimeInterval
例
Object
and
Object
RealNumber
距離
AutonomousAgent
,
Object
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
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
在
Region
期間
TimeInterval
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
例
TimeInterval
and
晚上的時間
例
Process
and
看著
例
Object
and
Region
attribute
Object
and
發光的
測量
Object
and
測量
1000.0 and
坎德拉
agent
Process
and
AutonomousAgent
患者
Process
and
Object
方位
AutonomousAgent
,
Object
and
橫
Process
是
located
在
Region
期間
何時
Process
and
TimeInterval
例
Object
and
Object
RealNumber
距離
AutonomousAgent
,
Object
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
eventLocated
?PROCESS ?OBJ)
(
forall
(?SUB)
(=>
(
subProcess
?SUB ?PROCESS)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4127-4132
Process
是
located
在
Object
Process
子過程
Process
and
Process
Process
是
located
在
Object
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