|
|
  InternationalRedCrossAndRedCrescentMovement
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3600-3600 | The year 1928 is a date established of international red cross and red crescent movement |
| 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 | International red cross and red crescent movement is an instance of international organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3601-3601 | Humanitarian aid is an organizational objective of international red cross and red crescent movement |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3599-3599 | "ICRM" is an abbreviation of international red cross and red crescent movement |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3598-3598 | International red cross and red crescent movement is a conventional long name of "International Red Cross and Red Crescent Movement" |
| 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 | A physical is a member of international red cross and red crescent movement if and only if the physical is a member of international federation of red cross and red crescent societies |
|
|
|
