TreeView Knowledge Base Browser - InternationalCourtOfJustice

appearance as argument number 1

(dateEstablished InternationalCourtOfJustice (DayFn 3 (MonthFn February (YearFn 1946))))	Government.kif 3415-3415	3 Day 是国际法院的成立 date
(documentation InternationalCourtOfJustice EnglishLanguage "The InternationalCourtOfJustice superseded the Permanent Court of International Justice.")	Government.kif 3417-3419
(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 3410-3410	国际法院是国际组织的 instance
(instance InternationalCourtOfJustice JudicialOrganization)	Government.kif 3411-3411	国际法院是司法组织的 instance
(organizationalObjective InternationalCourtOfJustice InternationalJustice)	Government.kif 3422-3422	国际司法是国际法院的 organizational 目标
(subOrganization InternationalCourtOfJustice UnitedNations)	Government.kif 3421-3421	国际法院是联合国 Organization 的一部分

appearance as argument number 2

(abbreviation "ICJ" InternationalCourtOfJustice)	Government.kif 3413-3413	国际法院是 "ICJ" 的简称
(conventionalLongName "International Court of Justice" InternationalCourtOfJustice)	Government.kif 3412-3412	国际法院是 "International Court of Justice" 的 conventional 全名
(conventionalShortName "World Court" InternationalCourtOfJustice)	Government.kif 3414-3414	国际法院是 "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 3430-3437	如果施事体是国际法院的 member 和法官是那个施事体的 attribute，然后有存在另一个施事体这样那个另外施事体是地缘政治区域的 instance 和 %１是对于％３给代理％２的 representative 代理
(=> (member ?AGENT InternationalCourtOfJustice) (and (instance ?AGENT Human) (attribute ?AGENT JudgeAtLaw)))	Government.kif 3424-3428	如果客体是国际法院的 member，然后那个客体是人类的 instance 和法官是那个客体的 attribute

consequent

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

Government.kif 3430-3437