June
(Giugno)
(
holdsDuring
(
FutureFn
?T)
(
and
(
names
"Republic of Serbia"
Serbia
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2506-2509
names
"Republic of Serbia" and
Serbia
PosizioneTemporale
è un'
istanza
di il
giorno
5 vales
durante
dopo
PosizioneTemporale
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
EuropeanNation
)))
Media.kif 2528-2531
PosizioneTemporale
è un'
istanza
di il
giorno
3
Montenegro
è un'
istanza
di
EuropeanNation
vales
durante
dopo
PosizioneTemporale
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
IndependentState
)))
Media.kif 2523-2526
PosizioneTemporale
è un'
istanza
di il
giorno
3
Montenegro
è un'
istanza
di
IndependentState
vales
durante
dopo
PosizioneTemporale
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2533-2536
PosizioneTemporale
è un'
istanza
di il
giorno
3
names
"Montenegro" and
Montenegro
vales
durante
dopo
PosizioneTemporale
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
not
(
instance
SerbiaAndMontenegro
IndependentState
))))
Media.kif 2546-2550
PosizioneTemporale
è un'
istanza
di il
giorno
3
SerbiaAndMontenegro
è un'
istanza
di
IndependentState
vales
durante
dopo
PosizioneTemporale
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