InternationalCourtOfJustice(国际法院) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3451-3451 | 3 Day 是 国际法院 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3453-3455 | |
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 3446-3446 | 国际法院 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3447-3447 | 国际法院 是 司法组织 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3458-3458 | 国际司法 是 国际法院 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3457-3457 | 国际法院 是 联合国 Organization 的一部分 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3449-3449 | 国际法院 是 "ICJ" 的简称 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3448-3448 | 国际法院 是 "International Court of Justice" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3450-3450 | 国际法院 是 "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 3466-3473 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3460-3464 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3466-3473 |