counselInCase |
appearance as argument number 1 |
![]() |
(documentation counselInCase EnglishLanguage "A relationship among an AutonomousAgent, a LegalAction and the Attorney representing the agent in the action.") | Law.kif 457-458 | |
(domain counselInCase 1 Human) | Law.kif 463-463 | counselInCase の数値 1 引数は 人[人間] の instance では |
(domain counselInCase 2 AutonomousAgent) | Law.kif 464-464 | counselInCase の数値 2 引数は AutonomousAgent の instance では |
(domain counselInCase 3 LegalAction) | Law.kif 465-465 | counselInCase の数値 3 引数は 訴訟 の instance では |
(instance counselInCase TernaryPredicate) | Law.kif 462-462 | counselInCase は 3進述語 の instance では |
appearance as argument number 2 |
![]() |
(format EnglishLanguage counselInCase "%1 is the counsel for %2 in %3") | Law.kif 460-460 | |
(termFormat EnglishLanguage counselInCase "counsel in case") | Law.kif 459-459 |
antecedent |
![]() |
(=> (counselInCase ?H ?A ?L) (attribute ?H Attorney)) |
Law.kif 466-468 |
|
(=> (counselInCase ?H ?A ?L) (desires ?H (exists (?LD) (and (instance ?LD LegalDecision) (causes ?L ?LD) (benefits ?LD ?A))))) |
Law.kif 470-477 |
|
![]() |
![]() |