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 4076-4076 The day 25 is a date dissolved of united nations preventive deployment force
(dateEstablished UnitedNationsPreventiveDeploymentForce
    (DayFn 31
        (MonthFn March
            (YearFn 1995))))
Government.kif 4074-4074 The day 31 is a date established of united nations preventive deployment force
(instance UnitedNationsPreventiveDeploymentForce OrganizationOfNations) Government.kif 4071-4071 United nations preventive deployment force is an instance of organization of nations
(organizationalObjective UnitedNationsPreventiveDeploymentForce ObservationAndMonitoring) Government.kif 4075-4075 Observation and monitoring is an organizational objective of united nations preventive deployment force

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


(abbreviation "UNPREDEP" UnitedNationsPreventiveDeploymentForce) Government.kif 4073-4073 "UNPREDEP" is an abbreviation of united nations preventive deployment force
(conventionalLongName "United Nations Preventive Deployment Force" UnitedNationsPreventiveDeploymentForce) Government.kif 4072-4072 United nations preventive deployment force is a conventional long name of "United Nations Preventive Deployment Force"
(termFormat ChineseLanguage UnitedNationsPreventiveDeploymentForce "联合国预防性部署部队") domainEnglishFormat.kif 60180-60180
(termFormat ChineseTraditionalLanguage UnitedNationsPreventiveDeploymentForce "聯合國預防性部署部隊") domainEnglishFormat.kif 60179-60179
(termFormat EnglishLanguage UnitedNationsPreventiveDeploymentForce "united nations preventive deployment force") domainEnglishFormat.kif 60178-60178


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