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 3508-3508 | The day 5 is a date established of international federation of red cross and red crescent societies |
(instance InternationalFederationOfRedCrossAndRedCrescentSocieties OrganizationOfNations) | Government.kif 3503-3503 | International federation of red cross and red crescent societies is an instance of organization of nations |
(organizationalObjective InternationalFederationOfRedCrossAndRedCrescentSocieties HumanitarianAid) | Government.kif 3509-3509 | 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 3603-3605 | 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 |