InternationalRedCrossAndRedCrescentMovement
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3600-3600 | 年 1928 是 國際紅十字和紅新月運動 的成立 date |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6040-6040 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6583-6583 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6582-6582 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6579-6579 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6580-6580 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6581-6581 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3597-3597 | 例 國際紅十字和紅新月運動 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3601-3601 | 人道主義援助 是 國際紅十字和紅新月運動 的 organizational 目標 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3599-3599 | 國際紅十字和紅新月運動 是 "ICRM" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3598-3598 | 國際紅十字和紅新月運動 是 "International Red Cross and Red Crescent Movement" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30685-30685 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30684-30684 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30683-30683 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3603-3605 | 會員 Physical and 國際紅十字和紅新月運動 會員 Physical and 國際紅十字會和紅新月會聯合會 |