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 February
            (YearFn 1946))))		 Government.kif 3415-3415 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 3417-3419 The day 3 is a date established of international court of justice
(externalImage InternationalCourtOfJustice "http://upload.wikimedia.org/ wikipedia/ commons/ d/ d8/ LocatieDenHaag.png") pictureList.kif 5743-5743 The day 3 is a date established of international court of justice
(externalImage InternationalCourtOfJustice "http://upload.wikimedia.org/ wikipedia/ en/ e/ e7/ Public_hearing_at_the_ICJ.jpg") pictureList.kif 5742-5742 The day 3 is a date established of international court of justice
(instance InternationalCourtOfJustice InternationalOrganization) Government.kif 3410-3410 International court of justice is an instance of international organization
(instance InternationalCourtOfJustice JudicialOrganization) Government.kif 3411-3411 International court of justice is an instance of judicial organization
(organizationalObjective InternationalCourtOfJustice InternationalJustice) Government.kif 3422-3422 International justice is an organizational objective of international court of justice
(subOrganization InternationalCourtOfJustice UnitedNations) Government.kif 3421-3421 International court of justice is a part of the organization united nations

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


(abbreviation "ICJ" InternationalCourtOfJustice) Government.kif 3413-3413 "ICJ" is an abbreviation of international court of justice
(conventionalLongName "International Court of Justice" InternationalCourtOfJustice) Government.kif 3412-3412 International court of justice is a conventional long name of "International Court of Justice"
(conventionalShortName "World Court" InternationalCourtOfJustice) Government.kif 3414-3414 International court of justice is a conventional short name of "World Court"
(termFormat ChineseLanguage InternationalCourtOfJustice "国际法院") domainEnglishFormat.kif 30581-30581 International court of justice is a conventional short name of "World Court"
(termFormat ChineseTraditionalLanguage InternationalCourtOfJustice "國際法院") domainEnglishFormat.kif 30580-30580 International court of justice is a conventional short name of "World Court"
(termFormat EnglishLanguage InternationalCourtOfJustice "international court of justice") domainEnglishFormat.kif 30579-30579 International court of justice is a conventional short name of "World Court"

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


(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))		 Government.kif 3430-3437
(=>
    (member ?AGENT InternationalCourtOfJustice)
    (and
        (instance ?AGENT Human)
        (attribute ?AGENT JudgeAtLaw)))		 Government.kif 3424-3428

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


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


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