| InternationalCourtOfJustice
|
| appearance as argument number 1 |
|
| (dateEstablished InternationalCourtOfJustice (DayFn 3 (MonthFn 2 (YearFn 1946)))) |
Government.kif 3382-3382 | |
| (documentation InternationalCourtOfJustice EnglishLanguage "The InternationalCourtOfJustice superseded the Permanent Court of International Justice.") | Government.kif 3384-3386 | |
| (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 3377-3377 | |
| (instance InternationalCourtOfJustice JudicialOrganization) | Government.kif 3378-3378 | |
| (organizationalObjective InternationalCourtOfJustice InternationalJustice) | Government.kif 3389-3389 | |
| (subOrganization InternationalCourtOfJustice UnitedNations) | Government.kif 3388-3388 |
| appearance as argument number 2 |
|
|
| (abbreviation "ICJ" InternationalCourtOfJustice) | Government.kif 3380-3380 | |
| (conventionalLongName "International Court of Justice" InternationalCourtOfJustice) | Government.kif 3379-3379 | |
| (conventionalShortName "World Court" InternationalCourtOfJustice) | Government.kif 3381-3381 | |
| (termFormat ChineseLanguage InternationalCourtOfJustice "国际法院") | domainEnglishFormat.kif 30466-30466 | |
| (termFormat ChineseTraditionalLanguage InternationalCourtOfJustice "國際法院") | domainEnglishFormat.kif 30465-30465 | |
| (termFormat EnglishLanguage InternationalCourtOfJustice "international court of justice") | domainEnglishFormat.kif 30464-30464 |
| antecedent |
|
|
| (=> (and (member ?AGENT InternationalCourtOfJustice) (attribute ?AGENT JudgeAtLaw)) (exists (?POLITY) (and (instance ?POLITY GeopoliticalArea) (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice)))) |
Government.kif 3397-3404 | |
| (=> (member ?AGENT InternationalCourtOfJustice) (and (instance ?AGENT Human) (attribute ?AGENT JudgeAtLaw))) |
Government.kif 3391-3395 |
| consequent |
|
|
| (=> (and (member ?AGENT InternationalCourtOfJustice) (attribute ?AGENT JudgeAtLaw)) (exists (?POLITY) (and (instance ?POLITY GeopoliticalArea) (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice)))) |
Government.kif 3397-3404 |
|
|
|