| LegalAction(legal action) | | action, action_at_law, antitrust_case, appear, bastardy_proceeding, break_up, bring, case, causa, cause, cause_of_action, challenge, charge, civil_action, civil_suit, claim, class-action_suit, class_action, counterclaim, countersuit, criminal_prosecution, criminal_suit, custody_battle, custody_case, defend, deny, dissolve, docket, double_jeopardy, file, foreclose, get_off, institute, invalidate, judicial_proceeding, lawsuit, legal_action, legal_proceeding, lis_pendens, litigate, litigation, lodge, moot, nol.pros., nolle_pros, nolle_prosequi, paternity_suit, pretension, proceeding, proceedings... |
| appearance as argument number 1 |
|
|
| (subclass LegalAction Contest) | Merge.kif 13557-13557 | Legal action is a subclass of contest |
| (documentation LegalAction EnglishLanguage "Any Process where a CognitiveAgent seeks to obtain something through a court of law.") | Merge.kif 13558-13559 | Legal action is a subclass of contest |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain evidence 1 LegalAction) | Law.kif 177-177 | The number 1 argument of evidence is an instance of legal action |
| (domain witness 1 LegalAction) | Law.kif 209-209 | The number 1 argument of witness is an instance of legal action |
| (domain defenseLawyer 1 LegalAction) | Law.kif 261-261 | The number 1 argument of defense lawyer is an instance of legal action |
| (domain prosecutor 1 LegalAction) | Law.kif 290-290 | The number 1 argument of prosecutor is an instance of legal action |
| (domain attorney 1 LegalAction) | Law.kif 426-426 | The number 1 argument of attorney is an instance of legal action |
| (domain counselInCase 3 LegalAction) | Law.kif 440-440 | The number 3 argument of counsel in case is an instance of legal action |
| (domain defendant 1 LegalAction) | Mid-level-ontology.kif 17803-17803 | The number 1 argument of defendant is an instance of legal action |
| (domain plaintiff 1 LegalAction) | Mid-level-ontology.kif 17810-17810 | The number 1 argument of plaintiff is an instance of legal action |
| antecedent |
|
|
| (=> (instance ?ACTION LegalAction) (exists (?REGISTER) (and (instance ?REGISTER Registering) (subProcess ?REGISTER ?ACTION)))) |
Mid-level-ontology.kif 883-888 | If X is an instance of legal action, then there exists Y such that Y is an instance of registering and Y is a subprocess of X |
| (=> (and (instance ?AWARD LegalAward) (refers ?AWARD ?ACTION) (instance ?ACTION LegalAction) (agent ?ACTION ?PLAINTIFF)) (confersRight (exists (?GET ?OBJ ?VALUE) (and (instance ?GET Getting) (experiencer ?GET ?PLAINTIFF) (patient ?GET ?OBJ) (monetaryValue ?OBJ ?VALUE))) ?AWARD ?PLAINTIFF)) |
Mid-level-ontology.kif 17740-17752 | If X is an instance of legal award, X includes a reference to Y, Y is an instance of legal action, and Z is an agent of Y, then X allows Z to perform task of the type there exist W, V, U such that W is an instance of getting, Z experiences W, V is a patient of W, and value of V is U |
| consequent |
|
|
| (<=> (holdsDuring ?TIME (attribute ?AGENT LegalPersonhood)) (holdsDuring ?TIME (or (capability LegalAction agent ?AGENT) (capability LegalAction patient ?AGENT)))) |
Merge.kif 1635-1641 | Legal personhood is an attribute of X holds during Y if and only if X is capable of doing legal action as a agent or X is capable of doing legal action as a patient holds during Y |
| (=> (instance ?DECISION LegalDecision) (exists (?ACTION) (and (instance ?ACTION LegalAction) (refers ?DECISION ?ACTION)))) |
Merge.kif 10952-10957 | If X is an instance of legal decision, then there exists Y such that Y is an instance of legal action and X includes a reference to Y |
| (=> (and (property ?AGREEMENT Contract) (partyToAgreement ?AGENT1 ?AGREEMENT) (partyToAgreement ?AGENT2 ?AGREEMENT) (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT1) (realization ?PROC ?PROP) (not (consistent ?PROP ?AGREEMENT))) (modalAttribute (exists (?LEGAL) (and (instance ?LEGAL LegalAction) (plaintiff ?LEGAL ?AGENT2) (defendant ?LEGAL ?AGENT1))) Possibility)) |
Mid-level-ontology.kif 15647-15661 | If All of the following hold: (1) X the attribute contract (2) X is a party to agreement of Y (3) X is a party to agreement of Z (4) W is an instance of intentional process (5) Y is an agent of W (6) W expresses the content of V (7) X is not a consistent of V, then the statement there exists U such that U is an instance of legal action, Z is the plaintiff in U, and Y is the defendant in U has the modal force of possibility |
|
|
|