InternationalFederationOfRedCrossAndRedCrescentSocieties
|
|
appearance as argument number 1 |
(dateEstablished InternationalFederationOfRedCrossAndRedCrescentSocieties (DayFn 5 (MonthFn May (YearFn 1919)))) |
Government.kif 3508-3508 | |
(instance InternationalFederationOfRedCrossAndRedCrescentSocieties OrganizationOfNations) | Government.kif 3503-3503 | |
(organizationalObjective InternationalFederationOfRedCrossAndRedCrescentSocieties HumanitarianAid) | Government.kif 3509-3509 |
appearance as argument number 2 |
consequent |
(<=> (member ?PART InternationalRedCrossAndRedCrescentMovement) (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties)) |
Government.kif 3603-3605 |