InternationalFederationOfRedCrossAndRedCrescentSocieties
|
|
appearance as argument number 1 |
(dateEstablished InternationalFederationOfRedCrossAndRedCrescentSocieties (DayFn 5 (MonthFn May (YearFn 1919)))) |
Government.kif 3508-3508 | dateEstablished InternationalFederationOfRedCrossAndRedCrescentSocieties and der tag 5 |
(instance InternationalFederationOfRedCrossAndRedCrescentSocieties OrganizationOfNations) | Government.kif 3503-3503 | InternationalFederationOfRedCrossAndRedCrescentSocieties ist ein fall von OrganizationOfNations %n{nicht} |
(organizationalObjective InternationalFederationOfRedCrossAndRedCrescentSocieties HumanitarianAid) | Government.kif 3509-3509 | organizationalObjective InternationalFederationOfRedCrossAndRedCrescentSocieties and HumanitarianAid |
appearance as argument number 2 |
consequent |
(<=> (member ?PART InternationalRedCrossAndRedCrescentMovement) (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties)) |
Government.kif 3603-3605 | Physical ist ein Mitglied von InternationalRedCrossAndRedCrescentMovement %n{nicht} genau dann wenn ** Physical ist ein Mitglied von InternationalFederationOfRedCrossAndRedCrescentSocieties %n{nicht} |