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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalCourtOfJustice
InternationalCourtOfJustice(international court of justice)

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


(dateEstablished InternationalCourtOfJustice
    (DayFn 3
        (MonthFn 2
            (YearFn 1946))))
Government.kif 3382-3382 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 3384-3386
(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 3377-3377 International court of justice is an instance of international organization
(instance InternationalCourtOfJustice JudicialOrganization) Government.kif 3378-3378 International court of justice is an instance of judicial organization
(organizationalObjective InternationalCourtOfJustice InternationalJustice) Government.kif 3389-3389 International justice is an organizational objective of international court of justice
(subOrganization InternationalCourtOfJustice UnitedNations) Government.kif 3388-3388 International court of justice は組織 united nations の一部では %n

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


(abbreviation "ICJ" InternationalCourtOfJustice) Government.kif 3380-3380 "ICJ" is an abbreviation of international court of justice
(conventionalLongName "International Court of Justice" InternationalCourtOfJustice) Government.kif 3379-3379 International court of justice is a conventional long name of "International Court of Justice"
(conventionalShortName "World Court" InternationalCourtOfJustice) Government.kif 3381-3381 International court of justice is a conventional short name of "World Court"
(termFormat ChineseLanguage InternationalCourtOfJustice "国际法院") domainEnglishFormat.kif 30475-30475
(termFormat ChineseTraditionalLanguage InternationalCourtOfJustice "國際法院") domainEnglishFormat.kif 30474-30474
(termFormat EnglishLanguage InternationalCourtOfJustice "international court of justice") domainEnglishFormat.kif 30473-30473

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


(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))
Government.kif 3397-3404
(=>
    (member ?AGENT InternationalCourtOfJustice)
    (and
        (instance ?AGENT Human)
        (attribute ?AGENT JudgeAtLaw)))
Government.kif 3391-3395

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


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


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