Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Montenegro
Montenegro

appearance as argument number 1
-------------------------


(documentation Montenegro EnglishLanguage "Montenegro is a Nation that historically formed part of Yugoslavia, then part of SerbiaAndMontenegro, and most recently has become an IndependentState after seceding from SerbiaAndMontenegro on 3 June 2006.") Media.kif 2542-2546
(geographicSubregion Montenegro SerbiaAndMontenegro) Media.kif 2540-2540
(instance Montenegro GeopoliticalArea) Media.kif 2524-2524

appearance as argument number 2
-------------------------


(meetsSpatially Serbia Montenegro) Media.kif 2541-2541
(termFormat EnglishLanguage Montenegro "Montenegro") domainEnglishFormat.kif 65183-65183

appearance as argument number 3
-------------------------


(codeMapping ISO_3166_1_alpha_2 "ME" Montenegro) Media.kif 2753-2753

statement
-------------------------


(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))
Media.kif 2530-2533
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro IndependentState)))
Media.kif 2525-2528
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (names "Montenegro" Montenegro)))
Media.kif 2535-2538


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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