| InternationalCriminalTribunalForRwanda(international criminal tribunal for rwanda)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4178-4178 | The day 8 is a date established of international criminal tribunal for rwanda |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5744-5744 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4174-4174 | International criminal tribunal for rwanda is an instance of international organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4177-4177 | War crimes prosecution is an organizational objective of international criminal tribunal for rwanda |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4148-4148 | International criminal tribunal for rwanda is a part of the organization united nations security council |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4176-4176 | "ICTR" is an abbreviation of international criminal tribunal for rwanda |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4175-4175 | International criminal tribunal for rwanda is a conventional long name of "International Criminal Tribunal for Rwanda" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30559-30559 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30558-30558 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30557-30557 |
|
|
|