| 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 | The number 1 argument of counsel in case is an instance of human |
| (domain counselInCase 2 AutonomousAgent) | Law.kif 464-464 | The number 2 argument of counsel in case is an instance of agent |
| (domain counselInCase 3 LegalAction) | Law.kif 465-465 | The number 3 argument of counsel in case is an instance of legal action |
| (instance counselInCase TernaryPredicate) | Law.kif 462-462 | counsel in case is an instance of ternary predicate |
| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners