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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedNationsPreventiveDeploymentForce
UnitedNationsPreventiveDeploymentForce(united nations preventive deployment force)

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


(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))
Government.kif 4145-4145 The day 25 is a date dissolved of united nations preventive deployment force
(dateEstablished UnitedNationsPreventiveDeploymentForce
    (DayFn 31
        (MonthFn March
            (YearFn 1995))))
Government.kif 4143-4143 The day 31 is a date established of united nations preventive deployment force
(instance UnitedNationsPreventiveDeploymentForce OrganizationOfNations) Government.kif 4140-4140 United nations preventive deployment force is an instance of organization of nations
(organizationalObjective UnitedNationsPreventiveDeploymentForce ObservationAndMonitoring) Government.kif 4144-4144 Observation and monitoring is an organizational objective of united nations preventive deployment force

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


(abbreviation "UNPREDEP" UnitedNationsPreventiveDeploymentForce) Government.kif 4142-4142 "UNPREDEP" is an abbreviation of united nations preventive deployment force
(conventionalLongName "United Nations Preventive Deployment Force" UnitedNationsPreventiveDeploymentForce) Government.kif 4141-4141 United nations preventive deployment force is a conventional long name of "United Nations Preventive Deployment Force"
(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