Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalCourtOfJustice
InternationalCourtOfJustice

appearance as argument number 1
-------------------------


(dateEstablished InternationalCourtOfJustice
    (DayFn 3
        (MonthFn February
            (YearFn 1946))))
Government.kif 3443-3443
(documentation InternationalCourtOfJustice EnglishLanguage "The InternationalCourtOfJustice superseded the Permanent Court of International Justice.") Government.kif 3445-3447
(externalImage InternationalCourtOfJustice "http://upload.wikimedia.org/ wikipedia/ commons/ d/ d8/ LocatieDenHaag.png") pictureList.kif 5744-5744
(externalImage InternationalCourtOfJustice "http://upload.wikimedia.org/ wikipedia/ en/ e/ e7/ Public_hearing_at_the_ICJ.jpg") pictureList.kif 5743-5743
(instance InternationalCourtOfJustice InternationalOrganization) Government.kif 3438-3438
(instance InternationalCourtOfJustice JudicialOrganization) Government.kif 3439-3439
(organizationalObjective InternationalCourtOfJustice InternationalJustice) Government.kif 3450-3450
(subOrganization InternationalCourtOfJustice UnitedNations) Government.kif 3449-3449

appearance as argument number 2
-------------------------


(abbreviation "ICJ" InternationalCourtOfJustice) Government.kif 3441-3441
(conventionalLongName "International Court of Justice" InternationalCourtOfJustice) Government.kif 3440-3440
(conventionalShortName "World Court" InternationalCourtOfJustice) Government.kif 3442-3442
(termFormat ChineseLanguage InternationalCourtOfJustice "国际法院") domainEnglishFormat.kif 30534-30534
(termFormat ChineseTraditionalLanguage InternationalCourtOfJustice "國際法院") domainEnglishFormat.kif 30533-30533
(termFormat EnglishLanguage InternationalCourtOfJustice "international court of justice") domainEnglishFormat.kif 30532-30532

antecedent
-------------------------


(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))
Government.kif 3458-3465
(=>
    (member ?AGENT InternationalCourtOfJustice)
    (and
        (instance ?AGENT Human)
        (attribute ?AGENT JudgeAtLaw)))
Government.kif 3452-3456

consequent
-------------------------


(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))
Government.kif 3458-3465


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners