InternationalCourtOfJustice(international court of justice)![]() ![]() |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (member ?AGENT InternationalCourtOfJustice) (attribute ?AGENT JudgeAtLaw)) (exists (?POLITY) (and (instance ?POLITY GeopoliticalArea) (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice)))) |
Government.kif 3428-3435 |
|
(=> (member ?AGENT InternationalCourtOfJustice) (and (instance ?AGENT Human) (attribute ?AGENT JudgeAtLaw))) |
Government.kif 3422-3426 |
|
consequent |
![]() |
(=> (and (member ?AGENT InternationalCourtOfJustice) (attribute ?AGENT JudgeAtLaw)) (exists (?POLITY) (and (instance ?POLITY GeopoliticalArea) (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice)))) |
Government.kif 3428-3435 |
|
![]() |
![]() |