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
Entit�Concreta
è un'
istanza
di
Negotiating
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Impegnarsi
Entit�
è un
sottoprocesso
di
Entit�Concreta
il
tempo
di esistenza di
Entit�
finisce
es il
tempo
di esistenza di
Entit�Concreta
(=>
(
instance
?NIGHT
NightTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?SET ?NIGHT)
(
finishes
?RISE ?NIGHT))))
Merge.kif 8901-8908
IntervalloTemporale
è un'
istanza
di
NightTime
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Sunrise
IntervalloTemporale
è un'
istanza
di
Sunset
IntervalloTemporale
inizia
s
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
(=>
(
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
IntervalloTemporale
è un'
istanza
di
PostMeridiem
Giorno
IntervalloTemporale
and
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di l'
ora
12
IntervalloTemporale
inizia
s
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di l'
ora
24
IntervalloTemporale
finisce
es
IntervalloTemporale
(=>
(
instance
?S
(
StopFn
?P))
(
exists
(?I)
(
and
(
instance
?I ?P)
(
finishes
(
WhenFn
?S)
(
WhenFn
?I)))))
Mid-level-ontology.kif 438-443
Entit�Concreta
è un'
istanza
di
StopFn
Processo
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Processo
il
tempo
di esistenza di
Entit�Concreta
finisce
es il
tempo
di esistenza di
Entit�Concreta
(=>
(
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
IntervalloTemporale
è un'
istanza
di
Weekend
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Sabato
IntervalloTemporale
è un'
istanza
di
Domenica
IntervalloTemporale
inizia
s
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
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