InternationalFederationOfRedCrossAndRedCrescentSocieties(international federation of red cross and red crescent societies) |
appearance as argument number 1 |
(dateEstablished InternationalFederationOfRedCrossAndRedCrescentSocieties (DayFn 5 (MonthFn May (YearFn 1919)))) |
Government.kif 3472-3472 | The day 5 is a date established of international federation of red cross and red crescent societies |
(instance InternationalFederationOfRedCrossAndRedCrescentSocieties OrganizationOfNations) | Government.kif 3467-3467 | International federation of red cross and red crescent societies is an instance of organization of nations |
(organizationalObjective InternationalFederationOfRedCrossAndRedCrescentSocieties HumanitarianAid) | Government.kif 3473-3473 | Humanitarian aid is an organizational objective of international federation of red cross and red crescent societies |
appearance as argument number 2 |
consequent |
(<=> (member ?PART InternationalRedCrossAndRedCrescentMovement) (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties)) |
Government.kif 3567-3569 | A physical is a member of international red cross and red crescent movement if and only if the physical is a member of international federation of red cross and red crescent societies |