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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedNationsPreventiveDeploymentForce
UnitedNationsPreventiveDeploymentForce

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


(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))
Government.kif 4145-4145
(dateEstablished UnitedNationsPreventiveDeploymentForce
    (DayFn 31
        (MonthFn March
            (YearFn 1995))))
Government.kif 4143-4143
(instance UnitedNationsPreventiveDeploymentForce OrganizationOfNations) Government.kif 4140-4140
(organizationalObjective UnitedNationsPreventiveDeploymentForce ObservationAndMonitoring) Government.kif 4144-4144

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


(abbreviation "UNPREDEP" UnitedNationsPreventiveDeploymentForce) Government.kif 4142-4142
(conventionalLongName "United Nations Preventive Deployment Force" UnitedNationsPreventiveDeploymentForce) Government.kif 4141-4141
(termFormat ChineseLanguage UnitedNationsPreventiveDeploymentForce "联合国预防性部署部队") domainEnglishFormat.kif 60272-60272
(termFormat ChineseTraditionalLanguage UnitedNationsPreventiveDeploymentForce "聯合國預防性部署部隊") domainEnglishFormat.kif 60271-60271
(termFormat EnglishLanguage UnitedNationsPreventiveDeploymentForce "united nations preventive deployment force") domainEnglishFormat.kif 60270-60270


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