Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Serbia
Serbia

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


(documentation Serbia EnglishLanguage "The Republic of Serbia is a Nation that historically formed part of Yugoslavia, then part of SerbiaAndMontenegro, and most recently has become an IndependentState after recognizing the secession of Montenegro from SerbiaAndMontenegro on 5 June 2006.") Media.kif 2514-2518
(geographicSubregion Serbia SerbiaAndMontenegro) Media.kif 2513-2513 geographicSubregion Serbia and SerbiaAndMontenegro
(instance Serbia GeopoliticalArea) Media.kif 2496-2496 Serbia est une instance de secteur g�opolitique
(meetsSpatially Serbia Montenegro) Media.kif 2541-2541 Serbia rencontre Montenegro

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


(termFormat EnglishLanguage Serbia "Serbia") domainEnglishFormat.kif 65467-65467

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


(codeMapping ISO_3166_1_alpha_2 "RS" Serbia) Media.kif 2809-2809 codeMapping ISO_3166_1_alpha_2, "RS" and Serbia

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


(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia EuropeanNation)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))
Media.kif 2503-2506 Serbia est une instance de EuropeanNation position temporel est une instance de le jour 5 pendant apr�s position temporel
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia IndependentState)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))
Media.kif 2498-2501 Serbia est une instance de IndependentState position temporel est une instance de le jour 5 pendant apr�s position temporel
(holdsDuring
    (FutureFn ?T)
    (and
        (names "Republic of Serbia" Serbia)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))
Media.kif 2508-2511 Serbia s'appele &ames$"nom" "Republic of Serbia" position temporel est une instance de le jour 5 pendant apr�s position temporel


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