June

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


(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 und TimePosition ist ein fall von der tag 5 %n{nicht} haelt waehrend nach ** TimePosition %n{nicht}
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))		 Media.kif 2528-2531 TimePosition ist ein fall von der tag 3 %n{nicht} und Montenegro ist ein fall von EuropeanNation %n{nicht} haelt waehrend nach ** TimePosition %n{nicht}
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro IndependentState)))		 Media.kif 2523-2526 TimePosition ist ein fall von der tag 3 %n{nicht} und Montenegro ist ein fall von IndependentState %n{nicht} haelt waehrend nach ** TimePosition %n{nicht}
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (names "Montenegro" Montenegro)))		 Media.kif 2533-2536 TimePosition ist ein fall von der tag 3 %n{nicht} und names "Montenegro" and Montenegro haelt waehrend nach ** TimePosition %n{nicht}
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (not
            (instance SerbiaAndMontenegro IndependentState))))		 Media.kif 2546-2550 TimePosition ist ein fall von der tag 3 %n{nicht} und SerbiaAndMontenegro ist ein fall von IndependentState nicht haelt waehrend nach ** TimePosition %n{nicht}


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