DayFn
(
dateEstablished
WorldMeteorologicalOrganization
(
DayFn
11
(
MonthFn
October
(
YearFn
1947))))
Government.kif 4362-4362
dateEstablished
WorldMeteorologicalOrganization
and o
dia
11
(
dateEstablished
WorldTourismOrganization
(
DayFn
2
(
MonthFn
January
(
YearFn
1975))))
Government.kif 4368-4368
dateEstablished
WorldTourismOrganization
and o
dia
2
(
dateEstablished
WorldTradeOrganization
(
DayFn
15
(
MonthFn
April
(
YearFn
1994))))
Government.kif 4374-4374
dateEstablished
WorldTradeOrganization
and o
dia
15
(
equal
UnixEpoch
(
SecondFn
0
(
MinuteFn
0
(
HourFn
0
(
DayFn
1
(
MonthFn
January
(
YearFn
1970)))))))
QoSontology.kif 2143-2143
UnixEpoch
e'
igual
a o
segundo
0
(
holdsDuring
(
FutureFn
?T)
(
and
(
instance
Serbia
EuropeanNation
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2501-2504
Serbia
e' uma
instancia
de
EuropeanNation
Posicao Temporal
e' uma
instancia
de o
dia
5
vale
durante
apos
Posicao Temporal
(
holdsDuring
(
FutureFn
?T)
(
and
(
instance
Serbia
IndependentState
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2496-2499
Serbia
e' uma
instancia
de
IndependentState
Posicao Temporal
e' uma
instancia
de o
dia
5
vale
durante
apos
Posicao Temporal
(
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
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?T
(
DayFn
1
(
MonthFn
October
(
YearFn
1992))))
(
conventionalLongName
"Andean Community of Nations"
AndeanCommunityOfNations
)))
Government.kif 2791-2794
Posicao Temporal
e' uma
instancia
de o
dia
1
conventionalLongName
"Andean Community of Nations" and
AndeanCommunityOfNations
vale
durante imediatemente
apos
Posicao Temporal
(
subclass
ChristmasDay
(
DayFn
25
December
))
Media.kif 337-337
ChristmasDay
e' uma
sub
-classe de o
dia
25
(
subclass
Epiphany
(
DayFn
6
January
))
Media.kif 517-517
Epiphany
e' uma
sub
-classe de o
dia
6
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