|
|
  InternationalCriminalTribunalForTheFormerYugoslavia
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4207-4207 | 25 Day 是 前南斯拉夫问题国际刑事法庭 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5630-5630 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4204-4204 | 前南斯拉夫问题国际刑事法庭 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4208-4208 | 战争罪起诉 是 前南斯拉夫问题国际刑事法庭 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4183-4183 | 前南斯拉夫问题国际刑事法庭 是 联合国安理会 Organization 的一部分 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4206-4206 | 前南斯拉夫问题国际刑事法庭 是 "ICTY" 的简称 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4205-4205 | 前南斯拉夫问题国际刑事法庭 是 "International Criminal Tribunal for the Former Yugoslavia" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30565-30565 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30564-30564 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30563-30563 |
|
|
|
