| InternationalCourtOfJustice
|
| appearance as argument number 1 |
|
| (dateEstablished InternationalCourtOfJustice (DayFn 3 (MonthFn February (YearFn 1946)))) |
Government.kif 3415-3415 | |
| (documentation InternationalCourtOfJustice EnglishLanguage "The InternationalCourtOfJustice superseded the Permanent Court of International Justice.") | Government.kif 3417-3419 | |
| (externalImage InternationalCourtOfJustice "http://upload.wikimedia.org/ wikipedia/ commons/ d/ d8/ LocatieDenHaag.png") | pictureList.kif 5743-5743 | |
| (externalImage InternationalCourtOfJustice "http://upload.wikimedia.org/ wikipedia/ en/ e/ e7/ Public_hearing_at_the_ICJ.jpg") | pictureList.kif 5742-5742 | |
| (instance InternationalCourtOfJustice InternationalOrganization) | Government.kif 3410-3410 | |
| (instance InternationalCourtOfJustice JudicialOrganization) | Government.kif 3411-3411 | |
| (organizationalObjective InternationalCourtOfJustice InternationalJustice) | Government.kif 3422-3422 | |
| (subOrganization InternationalCourtOfJustice UnitedNations) | Government.kif 3421-3421 |
| appearance as argument number 2 |
|
|
| (abbreviation "ICJ" InternationalCourtOfJustice) | Government.kif 3413-3413 | |
| (conventionalLongName "International Court of Justice" InternationalCourtOfJustice) | Government.kif 3412-3412 | |
| (conventionalShortName "World Court" InternationalCourtOfJustice) | Government.kif 3414-3414 | |
| (termFormat ChineseLanguage InternationalCourtOfJustice "国际法院") | domainEnglishFormat.kif 30547-30547 | |
| (termFormat ChineseTraditionalLanguage InternationalCourtOfJustice "國際法院") | domainEnglishFormat.kif 30546-30546 | |
| (termFormat EnglishLanguage InternationalCourtOfJustice "international court of justice") | domainEnglishFormat.kif 30545-30545 |
| antecedent |
|
|
| (=> (and (member ?AGENT InternationalCourtOfJustice) (attribute ?AGENT JudgeAtLaw)) (exists (?POLITY) (and (instance ?POLITY GeopoliticalArea) (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice)))) |
Government.kif 3430-3437 | |
| (=> (member ?AGENT InternationalCourtOfJustice) (and (instance ?AGENT Human) (attribute ?AGENT JudgeAtLaw))) |
Government.kif 3424-3428 |
| consequent |
|
|
| (=> (and (member ?AGENT InternationalCourtOfJustice) (attribute ?AGENT JudgeAtLaw)) (exists (?POLITY) (and (instance ?POLITY GeopoliticalArea) (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice)))) |
Government.kif 3430-3437 |
|
|
|