TreeView Knowledge Base Browser - InternationalCommitteeOfTheRedCross

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3401-3401	17 Day 是红十字国际委员会的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3397-3397	红十字国际委员会是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3402-3402	人道主义援助是红十字国际委员会的 organizational 目标

appearance as argument number 2

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