Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| s__subclass(s__LegalAction,s__Contest)
|
Merge.kif 13691-13691 | Legal action is a subclass of contest |
| s__documentation(s__LegalAction, s__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 |
|
|
| antecedent |
|
|
| ! [V__ACTION] : ((s__instance(V__ACTION,s__LegalAction) => (? [V__REGISTER] : ((s__instance(V__REGISTER,s__Registering) & s__subProcess(V__REGISTER,V__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 |
| ! [V__ACTION : $i,V__AWARD : $i,V__PLAINTIFF : $i] : (((s__instance(V__AWARD, s__LegalAward) & s__refers(V__AWARD, V__ACTION) & s__instance(V__ACTION, s__LegalAction) & s__agent(V__ACTION, V__PLAINTIFF)) => s__confersRight(V__AWARD, V__PLAINTIFF, ( ? [V__GET:$i, V__OBJ:$i, V__VALUE:$i] : ((s__instance(V__GET, s__Getting) & s__experiencer(V__GET, V__PLAINTIFF) & s__patient(V__GET, V__OBJ) & s__monetaryValue(V__OBJ, V__VALUE))))))) | Mid-level-ontology.kif 17833-17845 | 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 |
|
|
| ! [V__AGENT : $i,V__TIME : $i] : (((s__holdsDuring(V__TIME, s__attribute(V__AGENT, s__LegalPersonhood)) => s__holdsDuring(V__TIME, (s__capability(s__LegalAction, s__agent, V__AGENT) | s__capability(s__LegalAction, s__patient, V__AGENT)))) & (s__holdsDuring(V__TIME, (s__capability(s__LegalAction, s__agent, V__AGENT) | s__capability(s__LegalAction, s__patient, V__AGENT))) => s__holdsDuring(V__TIME, s__attribute(V__AGENT, s__LegalPersonhood))))) | 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 |
| ! [V__DECISION] : ((s__instance(V__DECISION,s__LegalDecision) => (? [V__ACTION] : ((s__instance(V__ACTION,s__LegalAction) & s__refers(V__DECISION,V__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 |
| ! [V__AGENT1 : $i,V__AGENT2 : $i,V__AGREEMENT : $i,V__FORM1 : $i,V__FORM2 : $i,V__PROC : $i,V__PROP : $i] : (((s__instance(V__AGREEMENT, s__Contract) & s__partyToAgreement(V__AGENT1, V__AGREEMENT) & s__partyToAgreement(V__AGENT2, V__AGREEMENT) & s__instance(V__PROC, s__IntentionalProcess) & s__agent(V__PROC, V__AGENT1) & s__realization(V__PROC, V__PROP) & s__containsFormula(V__PROP, V__FORM1) & s__containsFormula(V__AGREEMENT, V__FORM2) & ~(s__consistent(V__FORM1, V__FORM2))) => s__modalAttribute(( ? [V__LEGAL:$i] : ((s__instance(V__LEGAL, s__LegalAction) & s__plaintiff(V__LEGAL, V__AGENT2) & s__defendant(V__LEGAL, V__AGENT1)))), s__Possibility))) | Mid-level-ontology.kif 15750-15767 | 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 |
|