June
(
holdsDuring
(
FutureFn
?T)
(
and
(
names
"Republic of Serbia"
Serbia
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2506-2509
Serbia
se chama
nome
"Republic of Serbia"
Posicao Temporal
e' uma
instancia
de o
dia
5
vale
durante
apos
Posicao Temporal
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
EuropeanNation
)))
Media.kif 2528-2531
Posicao Temporal
e' uma
instancia
de o
dia
3
Montenegro
e' uma
instancia
de
EuropeanNation
vale
durante
apos
Posicao Temporal
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
IndependentState
)))
Media.kif 2523-2526
Posicao Temporal
e' uma
instancia
de o
dia
3
Montenegro
e' uma
instancia
de
IndependentState
vale
durante
apos
Posicao Temporal
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2533-2536
Posicao Temporal
e' uma
instancia
de o
dia
3
Montenegro
se chama
nome
"Montenegro"
vale
durante
apos
Posicao Temporal
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
not
(
instance
SerbiaAndMontenegro
IndependentState
))))
Media.kif 2546-2550
Posicao Temporal
e' uma
instancia
de o
dia
3
SerbiaAndMontenegro
e' uma
instancia
de
IndependentState
vale
durante
apos
Posicao 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