June
(6月)
(
holdsDuring
(
FutureFn
?T)
(
and
(
names
"Republic of Serbia"
Serbia
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2506-2509
Serbia
は "Republic of Serbia" の
name
を 持って %n{ない}
時間位置
は 5
day
目 の
instance
では %n は
時間位置
の
after
の
during
holds %n{ない}
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
EuropeanNation
)))
Media.kif 2528-2531
時間位置
は 3
day
目 の
instance
では %n
Montenegro
は
EuropeanNation
の
instance
では %n は
時間位置
の
after
の
during
holds %n{ない}
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
IndependentState
)))
Media.kif 2523-2526
時間位置
は 3
day
目 の
instance
では %n
Montenegro
は
IndependentState
の
instance
では %n は
時間位置
の
after
の
during
holds %n{ない}
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2533-2536
時間位置
は 3
day
目 の
instance
では %n
Montenegro
は "Montenegro" の
name
を 持って %n{ない} は
時間位置
の
after
の
during
holds %n{ない}
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
not
(
instance
SerbiaAndMontenegro
IndependentState
))))
Media.kif 2546-2550
時間位置
は 3
day
目 の
instance
では %n
SerbiaAndMontenegro
は
IndependentState
の
instance
では は
時間位置
の
after
の
during
holds %n{ない}
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