SerbiaAndMontenegro - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SerbiaAndMontenegro EnglishLanguage "The Nation of SerbiaAndMontenegro.")	CountriesAndRegions.kif 1342-1342
(externalImage SerbiaAndMontenegro "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ S/ Serbia_and_Montenegro.png")	pictureList.kif 720-720
(geographicSubregion SerbiaAndMontenegro SoutheasternEurope)	CountriesAndRegions.kif 384-384	Serbia and montenegro is a geographic subregion of southeastern europe
(instance SerbiaAndMontenegro Nation)	CountriesAndRegions.kif 385-385	Serbia and montenegro is an instance of nation

appearance as argument number 2

(geographicSubregion BelgradeSerbiaAndMontenegro SerbiaAndMontenegro)	CountriesAndRegions.kif 2638-2638	Belgrade serbia and montenegro is a geographic subregion of serbia and montenegro
(geographicSubregion Montenegro SerbiaAndMontenegro)	Media.kif 2538-2538	Montenegro is a geographic subregion of serbia and montenegro
(geographicSubregion Serbia SerbiaAndMontenegro)	Media.kif 2511-2511	Serbia is a geographic subregion of serbia and montenegro
(names "Serbia and Montenegro" SerbiaAndMontenegro)	CountriesAndRegions.kif 4071-4071	Serbia and montenegro has name "Serbia and Montenegro"
(termFormat ChineseLanguage SerbiaAndMontenegro "塞尔维亚和黑山")	domainEnglishFormat.kif 52207-52207	Serbia and montenegro has name "Serbia and Montenegro"
(termFormat ChineseTraditionalLanguage SerbiaAndMontenegro "塞爾維亞和黑山")	domainEnglishFormat.kif 52206-52206	Serbia and montenegro has name "Serbia and Montenegro"
(termFormat EnglishLanguage SerbiaAndMontenegro "serbia and montenegro")	domainEnglishFormat.kif 52205-52205	Serbia and montenegro has name "Serbia and Montenegro"

statement

(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (not
            (instance SerbiaAndMontenegro IndependentState))))

Media.kif 2546-2550