| appearance as argument number 1 |
|
| (dateDissolved UnitedNationsPreventiveDeploymentForce (DayFn 25 (MonthFn March (YearFn 1999)))) |
Government.kif 4076-4076 | dateDissolved UnitedNationsPreventiveDeploymentForce and DayFn 25 and MonthFn March and YearFn 1999 |
| (dateEstablished UnitedNationsPreventiveDeploymentForce (DayFn 31 (MonthFn March (YearFn 1995)))) |
Government.kif 4074-4074 | dateEstablished UnitedNationsPreventiveDeploymentForce and DayFn 31 and MonthFn March and YearFn 1995 |
| (instance UnitedNationsPreventiveDeploymentForce OrganizationOfNations) | Government.kif 4071-4071 | instance UnitedNationsPreventiveDeploymentForce and OrganizationOfNations |
| (organizationalObjective UnitedNationsPreventiveDeploymentForce ObservationAndMonitoring) | Government.kif 4075-4075 | organizationalObjective UnitedNationsPreventiveDeploymentForce and ObservationAndMonitoring |
| appearance as argument number 2 |
|
|
| (abbreviation "UNPREDEP" UnitedNationsPreventiveDeploymentForce) | Government.kif 4073-4073 | abbreviation "UNPREDEP" and UnitedNationsPreventiveDeploymentForce |
| (conventionalLongName "United Nations Preventive Deployment Force" UnitedNationsPreventiveDeploymentForce) | Government.kif 4072-4072 | conventionalLongName "United Nations Preventive Deployment Force" and UnitedNationsPreventiveDeploymentForce |
| (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