| InternationalCourtOfJustice
|
| appearance as argument number 1 |
|
| (dateEstablished InternationalCourtOfJustice (DayFn 3 (MonthFn February (YearFn 1946)))) |
Government.kif 3431-3431 | |
| (documentation InternationalCourtOfJustice EnglishLanguage "The InternationalCourtOfJustice superseded the Permanent Court of International Justice.") | Government.kif 3433-3435 | |
| (externalImage InternationalCourtOfJustice "http://upload.wikimedia.org/ wikipedia/ commons/ d/ d8/ LocatieDenHaag.png") | pictureList.kif 5744-5744 | |
| (externalImage InternationalCourtOfJustice "http://upload.wikimedia.org/ wikipedia/ en/ e/ e7/ Public_hearing_at_the_ICJ.jpg") | pictureList.kif 5743-5743 | |
| (instance InternationalCourtOfJustice InternationalOrganization) | Government.kif 3426-3426 | |
| (instance InternationalCourtOfJustice JudicialOrganization) | Government.kif 3427-3427 | |
| (organizationalObjective InternationalCourtOfJustice InternationalJustice) | Government.kif 3438-3438 | |
| (subOrganization InternationalCourtOfJustice UnitedNations) | Government.kif 3437-3437 |
| appearance as argument number 2 |
|
|
| (abbreviation "ICJ" InternationalCourtOfJustice) | Government.kif 3429-3429 | |
| (conventionalLongName "International Court of Justice" InternationalCourtOfJustice) | Government.kif 3428-3428 | |
| (conventionalShortName "World Court" InternationalCourtOfJustice) | Government.kif 3430-3430 | |
| (termFormat ChineseLanguage InternationalCourtOfJustice "国际法院") | domainEnglishFormat.kif 30534-30534 | |
| (termFormat ChineseTraditionalLanguage InternationalCourtOfJustice "國際法院") | domainEnglishFormat.kif 30533-30533 | |
| (termFormat EnglishLanguage InternationalCourtOfJustice "international court of justice") | domainEnglishFormat.kif 30532-30532 |
| antecedent |
|
|
| (=> (and (member ?AGENT InternationalCourtOfJustice) (attribute ?AGENT JudgeAtLaw)) (exists (?POLITY) (and (instance ?POLITY GeopoliticalArea) (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice)))) |
Government.kif 3446-3453 | |
| (=> (member ?AGENT InternationalCourtOfJustice) (and (instance ?AGENT Human) (attribute ?AGENT JudgeAtLaw))) |
Government.kif 3440-3444 |
| consequent |
|
|
| (=> (and (member ?AGENT InternationalCourtOfJustice) (attribute ?AGENT JudgeAtLaw)) (exists (?POLITY) (and (instance ?POLITY GeopoliticalArea) (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice)))) |
Government.kif 3446-3453 |
|
|
|