InternationalCourtOfJustice(international court of justice) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3451-3451 | The day 3 is a date established of international court of justice |
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 | International court of justice is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3447-3447 | International court of justice is an instance of judicial organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3458-3458 | International justice is an organizational objective of international court of justice |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3457-3457 | International court of justice is a part of the organization united nations |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3449-3449 | "ICJ" is an abbreviation of international court of justice |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3448-3448 | International court of justice is a conventional long name of "International Court of Justice" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3450-3450 | International court of justice is a conventional short name of "World Court" |
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 |
|