InternationalCourtOfJustice
|
|
appearance as argument number 1 |
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 ?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 |