June(Giugno)

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


(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 PosizioneTemporale è un' istanza di il giorno 5 vales durante dopo PosizioneTemporale
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))		 Media.kif 2528-2531 PosizioneTemporale è un' istanza di il giorno 3 Montenegro è un' istanza di EuropeanNation vales durante dopo PosizioneTemporale
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro IndependentState)))		 Media.kif 2523-2526 PosizioneTemporale è un' istanza di il giorno 3 Montenegro è un' istanza di IndependentState vales durante dopo PosizioneTemporale
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (names "Montenegro" Montenegro)))		 Media.kif 2533-2536 PosizioneTemporale è un' istanza di il giorno 3 names "Montenegro" and Montenegro vales durante dopo PosizioneTemporale
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (not
            (instance SerbiaAndMontenegro IndependentState))))		 Media.kif 2546-2550 PosizioneTemporale è un' istanza di il giorno 3 SerbiaAndMontenegro è un' istanza di IndependentState vales durante dopo PosizioneTemporale


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