finishes
(=>
(
instance
?NEGOTIATE
Negotiating
)
(
hasPurpose
?NEGOTIATE
(
exists
(?COMMIT)
(
and
(
instance
?COMMIT
Committing
)
(
subProcess
?COMMIT ?NEGOTIATE)
(
finishes
(
WhenFn
?COMMIT)
(
WhenFn
?NEGOTIATE))))))
Mid-level-ontology.kif 19714-19720
例
Physical
and
談判
有目的
Physical
and
entity
例
entity
and
Committing
子過程
entity
and
Physical
飾面
何時
entity
and
何時
Physical
(=>
(
instance
?NIGHT
NightTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?SET ?NIGHT)
(
finishes
?RISE ?NIGHT))))
Merge.kif 8901-8908
例
TimeInterval
and
晚上的時間
TimeInterval
TimeInterval
例
TimeInterval
and
日出
例
TimeInterval
and
日落
啟動
TimeInterval
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
(=>
(
instance
?PM
PostMeridiem
)
(
exists
(?D ?HOUR1 ?HOUR2)
(
and
(
instance
?HOUR1
(
HourFn
12 ?D))
(
starts
?HOUR1 ?PM)
(
instance
?HOUR2
(
HourFn
24 ?D))
(
finishes
?HOUR2 ?PM))))
Mid-level-ontology.kif 19109-19116
例
TimeInterval
and
發布meridiem
Day
TimeInterval
and
TimeInterval
例
TimeInterval
and
小時
12 and
Day
啟動
TimeInterval
and
TimeInterval
例
TimeInterval
and
小時
24 and
Day
飾面
TimeInterval
and
TimeInterval
(=>
(
instance
?S
(
StopFn
?P))
(
exists
(?I)
(
and
(
instance
?I ?P)
(
finishes
(
WhenFn
?S)
(
WhenFn
?I)))))
Mid-level-ontology.kif 438-443
例
Physical
and
Process
的
stop
Physical
例
Physical
and
Process
飾面
何時
Physical
and
何時
Physical
(=>
(
instance
?WEEKEND
Weekend
)
(
exists
(?SATURDAY ?SUNDAY)
(
and
(
instance
?SATURDAY
Saturday
)
(
instance
?SUNDAY
Sunday
)
(
starts
?SATURDAY ?WEEKEND)
(
finishes
?SUNDAY ?WEEKEND)
(
meetsTemporally
?SATURDAY ?SUNDAY))))
Mid-level-ontology.kif 19121-19129
例
TimeInterval
and
週末
TimeInterval
TimeInterval
例
TimeInterval
and
Saturday
例
TimeInterval
and
Sunday
啟動
TimeInterval
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
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