TreeView Knowledge Base Browser - InternationalCourtOfJustice

appearance as argument number 1

(dateEstablished InternationalCourtOfJustice (DayFn 3 (MonthFn February (YearFn 1946))))	Government.kif 3415-3415	The day 3 is a date established of international court of justice
(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	International court of justice is an instance of international organization
(instance InternationalCourtOfJustice JudicialOrganization)	Government.kif 3411-3411	International court of justice is an instance of judicial organization
(organizationalObjective InternationalCourtOfJustice InternationalJustice)	Government.kif 3422-3422	International justice is an organizational objective of international court of justice
(subOrganization InternationalCourtOfJustice UnitedNations)	Government.kif 3421-3421	International court of justice is a part of the organization united nations

appearance as argument number 2

(abbreviation "ICJ" InternationalCourtOfJustice)	Government.kif 3413-3413	"ICJ" is an abbreviation of international court of justice
(conventionalLongName "International Court of Justice" InternationalCourtOfJustice)	Government.kif 3412-3412	International court of justice is a conventional long name of "International Court of Justice"
(conventionalShortName "World Court" InternationalCourtOfJustice)	Government.kif 3414-3414	International court of justice is a conventional short name of "World Court"
(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	If an agent is a member of international court of justice and judge is an attribute of the agent, then there exists another agent such that the other agent is an instance of geopolitical area and the other agent is representative agent to agent the agent for international court of justice
(=> (member ?AGENT InternationalCourtOfJustice) (and (instance ?AGENT Human) (attribute ?AGENT JudgeAtLaw)))	Government.kif 3424-3428	If an object is a member of international court of justice, then the object is an instance of human and judge is an attribute of the object

consequent

(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))

Government.kif 3430-3437