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 2513-2517
(geographicSubregion Montenegro SerbiaAndMontenegro) Media.kif 2511-2511 geographicSubregion Montenegro and SerbiaAndMontenegro
(instance Montenegro GeopoliticalArea) Media.kif 2504-2504 instance Montenegro and GeopoliticalArea

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


(meetsSpatially Serbia Montenegro) Media.kif 2512-2512 meetsSpatially Serbia and Montenegro

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


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

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


(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (instance Montenegro EuropeanNation))
Media.kif 2507-2508 holdsDuring FutureFn DayFn 3 and MonthFn June and YearFn 2006 and instance Montenegro and EuropeanNation
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (instance Montenegro IndependentState))
Media.kif 2505-2506 holdsDuring FutureFn DayFn 3 and MonthFn June and YearFn 2006 and instance Montenegro and IndependentState
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (names "Montenegro" Montenegro))
Media.kif 2509-2510 holdsDuring FutureFn DayFn 3 and MonthFn June and YearFn 2006 and names "Montenegro" and Montenegro


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners