InternationalCourtOfJustice - Sigma Knowledge base Browser

appearance as argument number 1

(dateEstablished InternationalCourtOfJustice (DayFn 3 (MonthFn February (YearFn 1946))))	Government.kif 3451-3451	dateEstablished InternationalCourtOfJustice and le jour 3
(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	InternationalCourtOfJustice est une instance de InternationalOrganization
(instance InternationalCourtOfJustice JudicialOrganization)	Government.kif 3447-3447	InternationalCourtOfJustice est une instance de JudicialOrganization
(organizationalObjective InternationalCourtOfJustice InternationalJustice)	Government.kif 3458-3458	organizationalObjective InternationalCourtOfJustice and InternationalJustice
(subOrganization InternationalCourtOfJustice UnitedNations)	Government.kif 3457-3457	InternationalCourtOfJustice est une partie de l'organization UnitedNations

appearance as argument number 2

(abbreviation "ICJ" InternationalCourtOfJustice)	Government.kif 3449-3449	abbreviation "ICJ" and InternationalCourtOfJustice
(conventionalLongName "International Court of Justice" InternationalCourtOfJustice)	Government.kif 3448-3448	conventionalLongName "International Court of Justice" and InternationalCourtOfJustice
(conventionalShortName "World Court" InternationalCourtOfJustice)	Government.kif 3450-3450	conventionalShortName "World Court" and InternationalCourtOfJustice
(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	AutonomousAgent est un membre de InternationalCourtOfJustice JudgeAtLaw est un attribut de AutonomousAgent AutonomousAgent AutonomousAgent est une instance de secteur g�opolitique representativeAgentToAgent AutonomousAgent, AutonomousAgent and InternationalCourtOfJustice
(=> (member ?AGENT InternationalCourtOfJustice) (and (instance ?AGENT Human) (attribute ?AGENT JudgeAtLaw)))	Government.kif 3460-3464	Objet est un membre de InternationalCourtOfJustice objet est une instance de humain JudgeAtLaw est un attribut de objet

consequent

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

Government.kif 3466-3473