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
Physique
est une
instance
de
Negotiating
physique
a pour
but
entit�
entit�
est une
instance
de
investir
entit�
est un
sous
-processus de
physique
temps
d'existence de
entit�
finit
temps
d'existence de
physique
(=>
(
instance
?NIGHT
NightTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?SET ?NIGHT)
(
finishes
?RISE ?NIGHT))))
Merge.kif 8901-8908
Interval temporel
est une
instance
de
NightTime
interval temporel
interval temporel
interval temporel
est une
instance
de
Sunrise
interval temporel
est une
instance
de
Sunset
interval temporel
commence
interval temporel
interval temporel
finit
interval temporel
(=>
(
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
Interval temporel
est une
instance
de
PostMeridiem
jour
interval temporel
and
interval temporel
interval temporel
est une
instance
de l'
heure
12
interval temporel
commence
interval temporel
interval temporel
est une
instance
de l'
heure
24
interval temporel
finit
interval temporel
(=>
(
instance
?S
(
StopFn
?P))
(
exists
(?I)
(
and
(
instance
?I ?P)
(
finishes
(
WhenFn
?S)
(
WhenFn
?I)))))
Mid-level-ontology.kif 438-443
Physique
est une
instance
de
StopFn
processus
physique
physique
est une
instance
de
processus
temps
d'existence de
physique
finit
temps
d'existence de
physique
(=>
(
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
Interval temporel
est une
instance
de
Weekend
interval temporel
interval temporel
interval temporel
est une
instance
de
Samedi
interval temporel
est une
instance
de
Dimanche
interval temporel
commence
interval temporel
interval temporel
finit
interval temporel
interval temporel
rencontre
interval temporel
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