overlapsTemporally
(=>
(
dateEstablished
?THING ?DATE)
(
exists
(?DAY)
(
and
(
instance
?DAY ?DATE)
(
overlapsTemporally
?DAY
(
BeginFn
(
WhenFn
?THING))))))
Mid-level-ontology.kif 985-990
TimePosition
是
Physical
的成立
date
TimeInterval
例
TimeInterval
and
TimePosition
暫時重疊
TimeInterval
and
開始
何時
Physical
(=>
(
dateUsed
?OBJECT ?DATE ?AGENT)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
patient
?PROCESS ?OBJECT)
(
agent
?PROCESS ?AGENT)
(
uses
?OBJECT ?AGENT)
(
overlapsTemporally
?DATE
(
WhenFn
?PROCESS)))))
Mid-level-ontology.kif 998-1006
Object
是被
AutonomousAgent
used
在
TimeInterval
Process
例
Process
and
Process
患者
Process
and
Object
agent
Process
and
AutonomousAgent
使用
Object
and
AutonomousAgent
暫時重疊
TimeInterval
and
何時
Process
(=>
(
exportPartnerInPeriod
?AGENT1 ?AGENT2 ?PERIOD)
(
exists
(?TIME ?EXPORT)
(
and
(
instance
?TIME ?PERIOD)
(
instance
?EXPORT
Exporting
)
(
overlapsTemporally
?TIME
(
WhenFn
?EXPORT))
(
origin
?EXPORT ?AGENT1)
(
destination
?EXPORT ?AGENT2))))
Economy.kif 2359-2367
AutonomousAgent
對於
TimeInterval
在週期
AutonomousAgent
export
夥伴
TimeInterval
Process
例
TimeInterval
and
TimeInterval
例
Process
and
出口
暫時重疊
TimeInterval
and
何時
Process
起源
Process
and
AutonomousAgent
目的地
Process
and
AutonomousAgent
(=>
(
holdsDuring
?T
(
attribute
?H
Fasting
))
(
not
(
exists
(?P)
(
and
(
instance
?P
Eating
)
(
agent
?P ?H)
(
overlapsTemporally
?T
(
WhenFn
?P))))))
Mid-level-ontology.kif 30649-30656
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Fasting
Process
例
Process
and
Eating
agent
Process
and
AutonomousAgent
暫時重疊
TimeInterval
and
何時
Process
(=>
(
holdsDuring
?TIME
(
attribute
?T
Tourniquet
))
(
exists
(?P ?B ?A)
(
and
(
instance
?P
Human
)
(
instance
?B
Bleeding
)
(
instance
?A
Attaching
)
(
experiencer
?B ?P)
(
destination
?A ?P)
(
objectTransferred
?A ?T)
(
hasPurpose
?T
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Bleeding
)
(
overlapsTemporally
(
WhenFn
?B2)
(
ImmediateFutureFn
(
WhenFn
?A)))
(
experiencer
?B2 ?P))))))))
Medicine.kif 20-39
持有期間
TimePosition
and
attribute
Object
and
Tourniquet
AutonomousAgent
Process
and
Transfer
例
AutonomousAgent
and
Human
例
Process
and
流血的
例
Transfer
and
Attaching
體驗者
Process
and
AutonomousAgent
目的地
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
有目的
Object
and
Process
例
Process
and
流血的
暫時重疊
何時
Process
and
眼前的未來
何時
Transfer
體驗者
Process
and
AutonomousAgent
(=>
(
importPartnerInPeriod
?AGENT1 ?AGENT2 ?PERIOD)
(
exists
(?TIME ?EXPORT)
(
and
(
instance
?TIME ?PERIOD)
(
instance
?EXPORT
Exporting
)
(
overlapsTemporally
?TIME
(
WhenFn
?EXPORT))
(
origin
?EXPORT ?AGENT2)
(
destination
?EXPORT ?AGENT1))))
Economy.kif 2647-2655
AutonomousAgent
對於
TimeInterval
在 週期
AutonomousAgent
import
夥伴
TimeInterval
Process
例
TimeInterval
and
TimeInterval
例
Process
and
出口
暫時重疊
TimeInterval
and
何時
Process
起源
Process
and
AutonomousAgent
目的地
Process
and
AutonomousAgent
(=>
(
instance
?SHOWER
RainShowering
)
(
holdsDuring
(
WhenFn
?SHOWER)
(
exists
(?RAIN1 ?RAIN2 ?AREA)
(
and
(
instance
?RAIN1
Raining
)
(
instance
?RAIN2
Raining
)
(
instance
?AREA
Region
)
(
subProcess
?RAIN1 ?SHOWER)
(
subProcess
?RAIN2 ?SHOWER)
(
eventLocated
?RAIN1 ?AREA)
(
eventLocated
?RAIN2 ?AREA)
(
not
(
overlapsTemporally
(
WhenFn
?RAIN1)
(
WhenFn
?RAIN2)))))))
Weather.kif 2865-2879
例
Physical
and
RainShowering
持有期間
何時
Physical
and
entity
entity
and
entity
例
entity
and
下雨
例
entity
and
下雨
例
entity
and
Region
子過程
entity
and
Physical
子過程
entity
and
Physical
entity
是
located
在
entity
entity
是
located
在
entity
暫時重疊
何時
entity
and
何時
entity
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