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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternationalCourtOfJustice

Sigma KEE - InternationalCourtOfJustice
InternationalCourtOfJustice

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


(dateEstablished InternationalCourtOfJustice
    (DayFn 3
        (MonthFn 2
            (YearFn 1946))))
Government.kif 3388-3388 dateEstablished InternationalCourtOfJustice and 3 day
(documentation InternationalCourtOfJustice EnglishLanguage "The InternationalCourtOfJustice superseded the Permanent Court of International Justice.") Government.kif 3390-3392
(externalImage InternationalCourtOfJustice "http://upload.wikimedia.org/ wikipedia/ commons/ d/ d8/ LocatieDenHaag.png") pictureList.kif 5744-5744 externalImage InternationalCourtOfJustice and "http://upload.wikimedia.org/wikipedia/commons/d/d8/ LocatieDenHaag.png"
(externalImage InternationalCourtOfJustice "http://upload.wikimedia.org/ wikipedia/ en/ e/ e7/ Public_hearing_at_the_ICJ.jpg") pictureList.kif 5743-5743 externalImage InternationalCourtOfJustice and "http://upload.wikimedia.org/wikipedia/en/e/e7/Public_hearing_at_the_ICJ.jpg"
(instance InternationalCourtOfJustice InternationalOrganization) Government.kif 3383-3383 InternationalCourtOfJusticeInternationalOrganizationinstance
(instance InternationalCourtOfJustice JudicialOrganization) Government.kif 3384-3384 InternationalCourtOfJusticeJudicialOrganizationinstance
(organizationalObjective InternationalCourtOfJustice InternationalJustice) Government.kif 3395-3395 organizationalObjective InternationalCourtOfJustice and InternationalJustice
(subOrganization InternationalCourtOfJustice UnitedNations) Government.kif 3394-3394 InternationalCourtOfJusticeUnitedNations Organization 的一部分

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


(abbreviation "ICJ" InternationalCourtOfJustice) Government.kif 3386-3386 abbreviation "ICJ" and InternationalCourtOfJustice
(conventionalLongName "International Court of Justice" InternationalCourtOfJustice) Government.kif 3385-3385 conventionalLongName "International Court of Justice" and InternationalCourtOfJustice
(conventionalShortName "World Court" InternationalCourtOfJustice) Government.kif 3387-3387 conventionalShortName "World Court" and InternationalCourtOfJustice
(termFormat EnglishLanguage InternationalCourtOfJustice "international court of justice") domainEnglishFormat.kif 5508-5508 termFormat EnglishLanguage, InternationalCourtOfJustice and "international court of justice"

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


(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))
Government.kif 3403-3410
(=>
    (member ?AGENT InternationalCourtOfJustice)
    (and
        (instance ?AGENT Human)
        (attribute ?AGENT JudgeAtLaw)))
Government.kif 3397-3401

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


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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners