|
|
  InternationalCourtOfJustice
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3451-3451 | dateEstablished InternationalCourtOfJustice and o dia 3 |
| 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 | InternationalCourtOfJustice e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3447-3447 | InternationalCourtOfJustice e' uma instancia de JudicialOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3458-3458 | organizationalObjective InternationalCourtOfJustice and InternationalJustice |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3457-3457 | InternationalCourtOfJustice e' uma parte da organizacao UnitedNations |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3449-3449 | abbreviation "ICJ" and InternationalCourtOfJustice |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3448-3448 | conventionalLongName "International Court of Justice" and InternationalCourtOfJustice |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3450-3450 | conventionalShortName "World Court" and InternationalCourtOfJustice |
| 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 |
|
|
|
