TreeView Knowledge Base Browser - InternationalCommitteeOfTheRedCross

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3437-3437	dateEstablished InternationalCommitteeOfTheRedCross and le jour 17
No TPTP formula. May not be expressible in strict first order.	Government.kif 3433-3433	InternationalCommitteeOfTheRedCross est une instance de InternationalOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 3438-3438	organizationalObjective InternationalCommitteeOfTheRedCross and HumanitarianAid

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3435-3435	abbreviation "ICRC" and InternationalCommitteeOfTheRedCross
No TPTP formula. May not be expressible in strict first order.	Government.kif 3434-3434	conventionalLongName "International Committee of the Red Cross" and InternationalCommitteeOfTheRedCross
No TPTP formula. May not be expressible in strict first order.	Government.kif 3436-3436	conventionalShortName "Red Cross" and InternationalCommitteeOfTheRedCross
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30535-30535
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30534-30534
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30533-30533