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 February
            (YearFn 1946))))
Government.kif 3451-3451 3 Day国际法院 的成立 date
(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 国际法院国际组织instance
(instance InternationalCourtOfJustice JudicialOrganization) Government.kif 3447-3447 国际法院司法组织instance
(organizationalObjective InternationalCourtOfJustice InternationalJustice) Government.kif 3458-3458 国际司法国际法院organizational 目标
(subOrganization InternationalCourtOfJustice UnitedNations) Government.kif 3457-3457 国际法院联合国 Organization 的一部分

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


(abbreviation "ICJ" InternationalCourtOfJustice) Government.kif 3449-3449 国际法院 是 "ICJ" 的简称
(conventionalLongName "International Court of Justice" InternationalCourtOfJustice) Government.kif 3448-3448 国际法院 是 "International Court of Justice" 的 conventional 全名
(conventionalShortName "World Court" InternationalCourtOfJustice) Government.kif 3450-3450 国际法院 是 "World Court" 的 conventional 简称
(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
(=>
    (member ?AGENT InternationalCourtOfJustice)
    (and
        (instance ?AGENT Human)
        (attribute ?AGENT JudgeAtLaw)))
Government.kif 3460-3464

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


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


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 3.0 is open source software produced by Articulate Software and its partners