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
Fisico
e' uma
instancia
de
Negotiating
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Comprometer-se
Entidade
e' um
sub
-processo de
Fisico
tempo
de existencia de
Entidade
termina
em
tempo
de existencia de
Fisico
(=>
(
instance
?NIGHT
NightTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?SET ?NIGHT)
(
finishes
?RISE ?NIGHT))))
Merge.kif 8901-8908
Intervalo Temporal
e' uma
instancia
de
NightTime
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Sunrise
Intervalo Temporal
e' uma
instancia
de
Sunset
Intervalo Temporal
comeca
em
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
(=>
(
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
Intervalo Temporal
e' uma
instancia
de
PostMeridiem
Dia
Intervalo Temporal
and
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de a
hora
12
Intervalo Temporal
comeca
em
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de a
hora
24
Intervalo Temporal
termina
em
Intervalo Temporal
(=>
(
instance
?S
(
StopFn
?P))
(
exists
(?I)
(
and
(
instance
?I ?P)
(
finishes
(
WhenFn
?S)
(
WhenFn
?I)))))
Mid-level-ontology.kif 438-443
Fisico
e' uma
instancia
de
StopFn
Processo
Fisico
Fisico
e' uma
instancia
de
Processo
tempo
de existencia de
Fisico
termina
em
tempo
de existencia de
Fisico
(=>
(
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
Intervalo Temporal
e' uma
instancia
de
Weekend
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Sabado
Intervalo Temporal
e' uma
instancia
de
Domingo
Intervalo Temporal
comeca
em
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
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