|
|
  InternationalCourtOfJustice
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3415-3415 | 天 3 and 月 February and 年 1946 是 國際法院 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3417-3419 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5743-5743 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5742-5742 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3410-3410 | 例 國際法院 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3411-3411 | 例 國際法院 and 司法組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3422-3422 | 國際司法 是 國際法院 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3421-3421 | 子組織 國際法院 and 聯合國 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3413-3413 | 國際法院 是 "ICJ" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3412-3412 | 國際法院 是 "International Court of Justice" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3414-3414 | 國際法院 是 "World Court" 的 conventional 簡稱 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30547-30547 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30546-30546 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30545-30545 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3430-3437 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3424-3428 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3430-3437 |
|
|
|
|
