Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| UnitedNationsPreventiveDeploymentForce(united nations preventive deployment force) |
| appearance as argument number 1 |
|
| (instance UnitedNationsPreventiveDeploymentForce OrganizationOfNations) | Government.kif 4132-4132 | United nations preventive deployment force is an instance of organization of nations |
| (dateEstablished UnitedNationsPreventiveDeploymentForce (DayFn 31 (MonthFn March (YearFn 1995)))) |
Government.kif 4135-4135 | The day 31 of month the month March is a date established of united nations preventive deployment force |
| (organizationalObjective UnitedNationsPreventiveDeploymentForce ObservationAndMonitoring) | Government.kif 4136-4136 | Observation and monitoring is an organizational objective of united nations preventive deployment force |
| (dateDissolved UnitedNationsPreventiveDeploymentForce (DayFn 25 (MonthFn March (YearFn 1999)))) |
Government.kif 4137-4137 | The day 25 of month the month March is a date dissolved of united nations preventive deployment force |
| appearance as argument number 2 |
|
|
|