InternationalCourtOfJustice - Sigma Knowledge base Browser

appearance as argument number 1

(dateEstablished InternationalCourtOfJustice (DayFn 3 (MonthFn February (YearFn 1946))))	Government.kif 3412-3412	dateEstablished InternationalCourtOfJustice and le jour 3
(documentation InternationalCourtOfJustice EnglishLanguage "The InternationalCourtOfJustice superseded the Permanent Court of International Justice.")	Government.kif 3414-3416	dateEstablished InternationalCourtOfJustice and le jour 3
(externalImage InternationalCourtOfJustice "http://upload.wikimedia.org/ wikipedia/ commons/ d/ d8/ LocatieDenHaag.png")	pictureList.kif 5742-5742	dateEstablished InternationalCourtOfJustice and le jour 3
(externalImage InternationalCourtOfJustice "http://upload.wikimedia.org/ wikipedia/ en/ e/ e7/ Public_hearing_at_the_ICJ.jpg")	pictureList.kif 5741-5741	dateEstablished InternationalCourtOfJustice and le jour 3
(instance InternationalCourtOfJustice InternationalOrganization)	Government.kif 3407-3407	InternationalCourtOfJustice est une instance de InternationalOrganization
(instance InternationalCourtOfJustice JudicialOrganization)	Government.kif 3408-3408	InternationalCourtOfJustice est une instance de JudicialOrganization
(organizationalObjective InternationalCourtOfJustice InternationalJustice)	Government.kif 3419-3419	organizationalObjective InternationalCourtOfJustice and InternationalJustice
(subOrganization InternationalCourtOfJustice UnitedNations)	Government.kif 3418-3418	InternationalCourtOfJustice est une partie de l'organization UnitedNations

appearance as argument number 2

(abbreviation "ICJ" InternationalCourtOfJustice)	Government.kif 3410-3410	abbreviation "ICJ" and InternationalCourtOfJustice
(conventionalLongName "International Court of Justice" InternationalCourtOfJustice)	Government.kif 3409-3409	conventionalLongName "International Court of Justice" and InternationalCourtOfJustice
(conventionalShortName "World Court" InternationalCourtOfJustice)	Government.kif 3411-3411	conventionalShortName "World Court" and InternationalCourtOfJustice
(termFormat ChineseLanguage InternationalCourtOfJustice "国际法院")	domainEnglishFormat.kif 30558-30558	conventionalShortName "World Court" and InternationalCourtOfJustice
(termFormat ChineseTraditionalLanguage InternationalCourtOfJustice "國際法院")	domainEnglishFormat.kif 30557-30557	conventionalShortName "World Court" and InternationalCourtOfJustice
(termFormat EnglishLanguage InternationalCourtOfJustice "international court of justice")	domainEnglishFormat.kif 30556-30556	conventionalShortName "World Court" and InternationalCourtOfJustice

antecedent

(=> (and (member ?AGENT InternationalCourtOfJustice) (attribute ?AGENT JudgeAtLaw)) (exists (?POLITY) (and (instance ?POLITY GeopoliticalArea) (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))	Government.kif 3427-3434	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 3421-3425	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 3427-3434