TreeView Knowledge Base Browser - InternationalCourtOfJustice

appearance as argument number 1

(dateEstablished InternationalCourtOfJustice (DayFn 3 (MonthFn February (YearFn 1946))))	Government.kif 3451-3451	天 3 and 月 February and 年 1946 是國際法院的成立 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	例國際法院 and 國際組織
(instance InternationalCourtOfJustice JudicialOrganization)	Government.kif 3447-3447	例國際法院 and 司法組織
(organizationalObjective InternationalCourtOfJustice InternationalJustice)	Government.kif 3458-3458	國際司法是國際法院的 organizational 目標
(subOrganization InternationalCourtOfJustice UnitedNations)	Government.kif 3457-3457	子組織國際法院 and 聯合國

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	會員 AutonomousAgent and 國際法院 attribute AutonomousAgent and 法官 AutonomousAgent 例 AutonomousAgent and GeopoliticalArea %１是對於％３給代理％２的 representative 代理
(=> (member ?AGENT InternationalCourtOfJustice) (and (instance ?AGENT Human) (attribute ?AGENT JudgeAtLaw)))	Government.kif 3460-3464	會員 Object and 國際法院例 Object and Human attribute Object and 法官

consequent

(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))

Government.kif 3466-3473