Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Montenegro

 Sigma KEE - Montenegro
Montenegro(Montenegro)Crna_Gora, Montenegro

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


(instance Montenegro GeopoliticalArea) Media.kif 2469-2469 Montenegro is an instance of geopolitical area
(geographicSubregion Montenegro SerbiaAndMontenegro) Media.kif 2485-2485 Montenegro is a geographic subregion of serbia and montenegro
(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 2487-2491 Montenegro is a geographic subregion of serbia and montenegro

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


(meetsSpatially Serbia Montenegro) Media.kif 2486-2486 Serbia meets Montenegro
(termFormat EnglishLanguage Montenegro "Montenegro") domainEnglishFormat.kif 65192-65192 Serbia meets Montenegro

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


(codeMapping ISO_3166_1_alpha_2 "ME" Montenegro) Media.kif 2698-2698 "ME" in ISO_3166_1_alpha_2 denotes Montenegro

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


(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro IndependentState)))		 Media.kif 2470-2473 X is an instance of the day 3 of month the month June and Montenegro is an instance of independent state holds during after X
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))		 Media.kif 2475-2478 X is an instance of the day 3 of month the month June and Montenegro is an instance of european nation holds during after X
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (names "Montenegro" Montenegro)))		 Media.kif 2480-2483 X is an instance of the day 3 of month the month June and Montenegro has name "Montenegro" holds during after X


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners