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
では %n
eventLocated
時間間隔
and
オブジェクト
オブジェクト
は
TwoStrokeEngine
の
instance
では %n
時間間隔
時間間隔
は
Explosion
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
eventLocated
時間間隔
and
オブジェクト
(=>
(
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
工程
は
Wind
の
instance
では %n
エンティティー
は
BeaufortNumber12
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
エンティティー
%n{ない} を
believe
s %n{ない}
実数
実数
は 73.0 より
greater
では %n
認識エージェント
は
surfaceWindSpeed
オブジェクト
and
実数
の
MilesPerHour
(s) を
believe
s %n{ない}
(=>
(
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
工程
は
Wind
の
instance
では %n
SpeedScaleAttribute
は
BeaufortNumberAttribute
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
SpeedScaleAttribute
%n{ない} を
believe
s %n{ない}
speedScaleAttributeMinMax
SpeedScaleAttribute
,
実数
の
測定単位
(s) and
実数
の
測定単位
(s)
測定単位
は
測定単位
の
instance
では %n
実数
実数
は
実数
greater
では %n
実数
は
実数
より
less
または同等 では %n
認識エージェント
は
surfaceWindSpeed
オブジェクト
and
実数
の
測定単位
(s) を
believe
s %n{ない}
(=>
(
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
では %n
物理
は
コレクション
の
member
では %n
コレクション
は
オブジェクト
に
located
して %n
工程
は
摂食
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
eventLocated
工程
and
オブジェクト
物理
は
工程
の
patient
では %n
オブジェクト
は
オブジェクト
と
equal
では
工程
工程
は
取得
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence は
工程
の
time
の existence の
before
に happens %n{ない}
(=>
(
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
playsRoleInEvent
オブジェクト
,
格役割
and
工程
工程
は
工程
の
instance
では %n
工程
は
工程
の
subclass
では %n
工程
は
時間位置
の
during
exists %n{ない}
eventLocated
工程
and
オブジェクト
playsRoleInEventOfType
オブジェクト
,
格役割
,
工程
,
時間位置
and
オブジェクト
(=>
(
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
playsRoleInEvent
オブジェクト
,
格役割
and
工程
工程
は
工程
の
instance
では %n
工程
は
工程
の
subclass
では %n
工程
は
時間位置
の
during
exists %n{ない}
eventLocated
工程
and
オブジェクト
playsRoleInEventOfType
オブジェクト
,
格役割
,
工程
,
時間位置
and
オブジェクト
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 23312-23317
playsRoleInEvent
オブジェクト
,
格役割
and
工程
工程
は
時間位置
の
during
exists %n{ない}
eventLocated
工程
and
オブジェクト
locatedAtTime
オブジェクト
,
時間位置
and
オブジェクト
(=>
(
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
工程
は
工程
の出来事を
prevent
s %n{ない}
工程
の
time
の existence は
時間間隔
と
equal
では %n
eventLocated
工程
and
オブジェクト
エンティティー
エンティティー
は
工程
の
instance
では %n
eventLocated
エンティティー
and
オブジェクト
は
時間間隔
の
during
hold ない
(=>
(
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
では %n
工程
は
工程
の
instance
では %n
eventLocated
工程
and
地域
格役割
は
格役割
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
地域
は
地理的地域
の
instance
では %n
格役割
工程
and
オブジェクト
capableAtLocation
工程
,
格役割
,
オブジェクト
and
地域
(=>
(
and
(
subclass
?TYPE
WaterVehicle
)
(
instance
?EVENT
(
TransportationFn
?TYPE))
(
eventLocated
?EVENT ?PLACE))
(
instance
?PLACE
WaterArea
))
Transportation.kif 2287-2292
輸送機
は
WaterVehicle
の
subclass
では %n
工程
は
TransportationFn
輸送機
の
instance
では %n
eventLocated
工程
and
オブジェクト
オブジェクト
は
水域
の
instance
では %n
(=>
(
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
visibilityInMeteorology
地域
,
時間間隔
and
実数
の
測定単位
(s)
測定単位
は
測定単位
の
instance
では %n
時間間隔
は
DayTime
の
instance
では %n
工程
は
Looking
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
color
オブジェクト
and
Black
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
AutonomousAgent
は
Horizontal
対
オブジェクト
では %n
eventLocated
工程
and
地域
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
オブジェクト
の
instance
では %n
実数
AutonomousAgent
と
オブジェクト
の
distance
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
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
visibilityInMeteorology
地域
,
時間間隔
and
実数
の
測定単位
(s)
測定単位
は
測定単位
の
instance
では %n
時間間隔
は
NightTime
の
instance
では %n
工程
は
Looking
の
instance
では %n
オブジェクト
は
地域
の
instance
では %n
Illuminated
は
オブジェクト
の
attribute
では %n
オブジェクト
の
measure
は 1000.0 の
Candela
(s) では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
AutonomousAgent
は
Horizontal
対
オブジェクト
では %n
eventLocated
工程
and
地域
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
オブジェクト
の
instance
では %n
実数
AutonomousAgent
と
オブジェクト
の
distance
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
eventLocated
?PROCESS ?OBJ)
(
forall
(?SUB)
(=>
(
subProcess
?SUB ?PROCESS)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4127-4132
eventLocated
工程
and
オブジェクト
工程
工程
は
工程
% の
subprocess
では %n
eventLocated
工程
and
オブジェクト
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