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	17 Day 是红十字国际委员会的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3433-3433	红十字国际委员会是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3438-3438	人道主义援助是红十字国际委员会的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3435-3435	红十字国际委员会是 "ICRC" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3434-3434	红十字国际委员会是 "International Committee of the Red Cross" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3436-3436	红十字国际委员会是 "Red Cross" 的 conventional 简称
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