InternationalCriminalTribunalForRwanda
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4214-4214 | 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 4210-4210 | International criminal tribunal for rwanda is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4213-4213 | 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 4184-4184 | 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 4212-4212 | "ICTR" is an abbreviation of international criminal tribunal for rwanda |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4211-4211 | 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 |