InternationalCourtOfJustice |
appearance as argument number 1 |
(dateEstablished InternationalCourtOfJustice (DayFn 3 (MonthFn February (YearFn 1946)))) |
Government.kif 3451-3451 | |
(documentation InternationalCourtOfJustice EnglishLanguage "The InternationalCourtOfJustice superseded the Permanent Court of International Justice.") | Government.kif 3453-3455 | |
(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 3446-3446 | |
(instance InternationalCourtOfJustice JudicialOrganization) | Government.kif 3447-3447 | |
(organizationalObjective InternationalCourtOfJustice InternationalJustice) | Government.kif 3458-3458 | |
(subOrganization InternationalCourtOfJustice UnitedNations) | Government.kif 3457-3457 |
appearance as argument number 2 |
(abbreviation "ICJ" InternationalCourtOfJustice) | Government.kif 3449-3449 | |
(conventionalLongName "International Court of Justice" InternationalCourtOfJustice) | Government.kif 3448-3448 | |
(conventionalShortName "World Court" InternationalCourtOfJustice) | Government.kif 3450-3450 | |
(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 3466-3473 | |
(=> (member ?AGENT InternationalCourtOfJustice) (and (instance ?AGENT Human) (attribute ?AGENT JudgeAtLaw))) |
Government.kif 3460-3464 |
consequent |
(=> (and (member ?AGENT InternationalCourtOfJustice) (attribute ?AGENT JudgeAtLaw)) (exists (?POLITY) (and (instance ?POLITY GeopoliticalArea) (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice)))) |
Government.kif 3466-3473 |