Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  WassenaarArrangement
|
|
|
| appearance as argument number 1 |
|
|
| (instance WassenaarArrangement OrganizationOfNations) | Government.kif 4280-4280 | Wassenaar arrangement is an instance of organization of nations |
| (dateEstablished WassenaarArrangement (DayFn 12 (MonthFn July (YearFn 1996)))) |
Government.kif 4282-4282 | The day 12 of month the month July is a date established of wassenaar arrangement |
| (organizationalObjective WassenaarArrangement ArmsControl) | Government.kif 4283-4283 | Arms control is an organizational objective of wassenaar arrangement |
| appearance as argument number 2 |
|
|
| (successorOrganization CoordinatingCommitteeOnExportControls WassenaarArrangement) | Government.kif 2987-2987 | Wassenaar arrangement is a successor organization of coordinating committee on export controls |
| (conventionalLongName "Wassenaar Arrangement" WassenaarArrangement) | Government.kif 4281-4281 | Wassenaar arrangement is a conventional long name of "Wassenaar Arrangement" |
| (termFormat EnglishLanguage WassenaarArrangement "wassenaar arrangement") | domainEnglishFormat.kif 62284-62284 | Wassenaar arrangement is a conventional long name of "Wassenaar Arrangement" |
| (termFormat ChineseTraditionalLanguage WassenaarArrangement "wassenaar安排") | domainEnglishFormat.kif 62285-62285 | Wassenaar arrangement is a conventional long name of "Wassenaar Arrangement" |
| (termFormat ChineseLanguage WassenaarArrangement "wassenaar安排") | domainEnglishFormat.kif 62286-62286 | Wassenaar arrangement is a conventional long name of "Wassenaar Arrangement" |
|