Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalCourtOfJustice
InternationalCourtOfJustice(international court of justice)

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


(instance InternationalCourtOfJustice InternationalOrganization) Government.kif 3438-3438 International court of justice is an instance of international organization
(instance InternationalCourtOfJustice JudicialOrganization) Government.kif 3439-3439 International court of justice is an instance of judicial organization
(dateEstablished InternationalCourtOfJustice
    (DayFn 3
        (MonthFn February
            (YearFn 1946))))		 Government.kif 3443-3443 The day 3 of month the month February is a date established of international court of justice
(documentation InternationalCourtOfJustice EnglishLanguage "The InternationalCourtOfJustice superseded the Permanent Court of International Justice.") Government.kif 3445-3447 The day 3 of month the month February is a date established of international court of justice
(subOrganization InternationalCourtOfJustice UnitedNations) Government.kif 3449-3449 International court of justice is a part of the organization united nations
(organizationalObjective InternationalCourtOfJustice InternationalJustice) Government.kif 3450-3450 International justice is an organizational objective of international court of justice
(externalImage InternationalCourtOfJustice "http://upload.wikimedia.org/ wikipedia/ en/ e/ e7/ Public_hearing_at_the_ICJ.jpg") pictureList.kif 5741-5741 International justice is an organizational objective of international court of justice
(externalImage InternationalCourtOfJustice "http://upload.wikimedia.org/ wikipedia/ commons/ d/ d8/ LocatieDenHaag.png") pictureList.kif 5742-5742 International justice is an organizational objective of international court of justice

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


(conventionalLongName "International Court of Justice" InternationalCourtOfJustice) Government.kif 3440-3440 International court of justice is a conventional long name of "International Court of Justice"
(abbreviation "ICJ" InternationalCourtOfJustice) Government.kif 3441-3441 "ICJ" is an abbreviation of international court of justice
(conventionalShortName "World Court" InternationalCourtOfJustice) Government.kif 3442-3442 International court of justice is a conventional short name of "World Court"
(termFormat EnglishLanguage InternationalCourtOfJustice "international court of justice") domainEnglishFormat.kif 30549-30549 International court of justice is a conventional short name of "World Court"
(termFormat ChineseTraditionalLanguage InternationalCourtOfJustice "國際法院") domainEnglishFormat.kif 30550-30550 International court of justice is a conventional short name of "World Court"
(termFormat ChineseLanguage InternationalCourtOfJustice "国际法院") domainEnglishFormat.kif 30551-30551 International court of justice is a conventional short name of "World Court"

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


(=>
    (member ?AGENT InternationalCourtOfJustice)
    (and
        (instance ?AGENT Human)
        (attribute ?AGENT JudgeAtLaw)))		 Government.kif 3452-3456 If X is a member of international court of justice, then X is an instance of human and judge is an attribute of X
(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))		 Government.kif 3458-3465 If X is a member of international court of justice and judge is an attribute of X, then there exists Y such that Y is an instance of geopolitical area and Y is representative agent to agent X for international court of justice

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


(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))		 Government.kif 3458-3465 If X is a member of international court of justice and judge is an attribute of X, then there exists Y such that Y is an instance of geopolitical area and Y is representative agent to agent X for international court of justice


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners