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 and 月 February and 年 1863 是紅十字國際委員會的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3397-3397	例紅十字國際委員會 and 國際組織
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