June

-------------------------


(holdsDuring
    (FutureFn ?T)
    (and
        (names "Republic of Serbia" Serbia)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))		 Media.kif 2506-2509 持有期間 未來 TimePosition and 名 "Republic of Serbia" and Serbia 例 TimePosition and 天 5 and 月 June and 年 2006
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))		 Media.kif 2528-2531 持有期間 未來 TimePosition and 例 TimePosition and 天 3 and 月 June and 年 2006 例 Montenegro and 歐洲國家
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro IndependentState)))		 Media.kif 2523-2526 持有期間 未來 TimePosition and 例 TimePosition and 天 3 and 月 June and 年 2006 例 Montenegro and 獨立國家
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (names "Montenegro" Montenegro)))		 Media.kif 2533-2536 持有期間 未來 TimePosition and 例 TimePosition and 天 3 and 月 June and 年 2006 名 "Montenegro" and Montenegro
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (not
            (instance SerbiaAndMontenegro IndependentState))))		 Media.kif 2546-2550 持有期間 未來 TimePosition and 例 TimePosition and 天 3 and 月 June and 年 2006 例 塞爾維亞和黑山 and 獨立國家


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