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


KB Term:  Term intersection
English Word: 

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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners