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 2540-2544
(geographicSubregion Montenegro SerbiaAndMontenegro) Media.kif 2538-2538 geographicSubregion Montenegro and SerbiaAndMontenegro
(instance Montenegro GeopoliticalArea) Media.kif 2522-2522 Montenegro ist ein fall von GeopoliticalArea %n{nicht}

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


(meetsSpatially Serbia Montenegro) Media.kif 2539-2539 Serbia schliesst Montenegro raeumlich an
(termFormat EnglishLanguage Montenegro "Montenegro") domainEnglishFormat.kif 65189-65189

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


(codeMapping ISO-3166-1-alpha-2 "ME" Montenegro) Media.kif 2751-2751 codeMapping ISO-3166-1-alpha-2, "ME" and Montenegro

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


(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}


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