|
|
  InternationalRedCrossAndRedCrescentMovement
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3600-3600 | 1928 Year 是 国际红十字和红新月运动 的成立 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 | 国际红十字和红新月运动 是 国际组织 的 instance |
| 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 | 物理 是 国际红十字和红新月运动 的 member 若且唯若 那个 物理 是 国际红十字会和红新月会联合会 的 member |
|
|
|
