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 e' uma instancia de Area Geopolitica

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


(meetsSpatially Serbia Montenegro) Media.kif 2539-2539 Serbia encontra Montenegro
(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 Posicao Temporal e' uma instancia de o dia 3 Montenegro e' uma instancia de EuropeanNation vale durante apos Posicao Temporal
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro IndependentState)))
Media.kif 2523-2526 Posicao Temporal e' uma instancia de o dia 3 Montenegro e' uma instancia de IndependentState vale durante apos Posicao Temporal
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (names "Montenegro" Montenegro)))
Media.kif 2533-2536 Posicao Temporal e' uma instancia de o dia 3 Montenegro se chama nome "Montenegro" vale durante apos Posicao Temporal


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