| 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 13691-13691 | 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 13692-13693 | Legal action is a subclass of contest |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain defendant 1 LegalAction) | Mid-level-ontology.kif 17867-17867 | The number 1 argument of defendant is an instance of legal action |
| (domain plaintiff 1 LegalAction) | Mid-level-ontology.kif 17874-17874 | The number 1 argument of plaintiff is an instance of legal action |
| (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 |
| antecedent |
|
|
| (=> (instance ?ACTION LegalAction) (exists (?REGISTER) (and (instance ?REGISTER Registering) (subProcess ?REGISTER ?ACTION)))) |
Mid-level-ontology.kif 877-882 | 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 ?AWARD ?PLAINTIFF (exists (?GET ?OBJ ?VALUE) (and (instance ?GET Getting) (experiencer ?GET ?PLAINTIFF) (patient ?GET ?OBJ) (monetaryValue ?OBJ ?VALUE))))) |
Mid-level-ontology.kif 17804-17816 | 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 Z allows 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 to perform task of the type X |
| consequent |
|
|
| (<=> (holdsDuring ?TIME (attribute ?AGENT LegalPersonhood)) (holdsDuring ?TIME (or (capability LegalAction agent ?AGENT) (capability LegalAction patient ?AGENT)))) |
Merge.kif 1695-1701 | 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 11041-11046 | 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 (instance ?AGREEMENT Contract) (partyToAgreement ?AGENT1 ?AGREEMENT) (partyToAgreement ?AGENT2 ?AGREEMENT) (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT1) (realization ?PROC ?PROP) (containsFormula ?PROP ?FORM1) (containsFormula ?AGREEMENT ?FORM2) (not (consistent ?FORM1 ?FORM2))) (modalAttribute (exists (?LEGAL) (and (instance ?LEGAL LegalAction) (plaintiff ?LEGAL ?AGENT2) (defendant ?LEGAL ?AGENT1))) Possibility)) |
Mid-level-ontology.kif 15721-15738 | If All of the following hold: (1) X is an instance of 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) V contains the formula U (8) X contains the formula T (9) T is not a consistent of U, then the statement there exists S such that S is an instance of legal action, Z is the plaintiff in S, and Y is the defendant in S has the modal force of possibility |
|
|
|