LegalAction | ![]() | VerbNet: establish-55.5|institute, defend-85|defend, establish-55.5|institute, void-106|invalidate, banish-10.2|recuse, defend-85|defend, void-106|invalidate, void-106|invalidate, |
appearance as argument number 1 |
![]() |
(documentation LegalAction ChineseLanguage "这是当一个 CognitiveAgent 寻求通过法庭去得到一些 东西的任何的 Process。") | chinese_format.kif 3299-3300 | |
(documentation LegalAction EnglishLanguage "Any Process where a CognitiveAgent seeks to obtain something through a court of law.") | Merge.kif 12314-12315 | |
(subclass LegalAction Contest) | Merge.kif 12313-12313 |
appearance as argument number 2 |
![]() |
(subclass LegalCharge LegalAction) | Mid-level-ontology.kif 13759-13759 | |
(subclass PlacingUnderArrest LegalAction) | Mid-level-ontology.kif 21383-21383 | |
(termFormat ChineseLanguage LegalAction "法律诉讼") | chinese_format.kif 1214-1214 | |
(termFormat EnglishLanguage LegalAction "legal action") | english_format.kif 1654-1654 |
appearance as argument number 3 |
![]() |
(domain attorney 1 LegalAction) | Law.kif 487-487 | |
(domain counselInCase 3 LegalAction) | Law.kif 501-501 | |
(domain defendant 1 LegalAction) | Mid-level-ontology.kif 13909-13909 | |
(domain defenseLawyer 1 LegalAction) | Law.kif 323-323 | |
(domain evidence 1 LegalAction) | Law.kif 220-220 | |
(domain plaintiff 1 LegalAction) | Mid-level-ontology.kif 13916-13916 | |
(domain prosecutor 1 LegalAction) | Law.kif 351-351 | |
(domain witness 1 LegalAction) | Law.kif 250-250 |
antecedent |
![]() |
(=> (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 13846-13858 | |
(=> (instance ?ACTION LegalAction) (exists (?REGISTER) (and (instance ?REGISTER Registering) (subProcess ?REGISTER ?ACTION)))) |
Mid-level-ontology.kif 1269-1274 |
consequent |
![]() |
(<=> (holdsDuring ?TIME (instance ?AGENT LegalAgent)) (holdsDuring ?TIME (or (capability LegalAction agent ?AGENT) (capability LegalAction patient ?AGENT)))) |
Merge.kif 1508-1514 | |
(=> (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 11771-11785 | |
(=> (instance ?DECISION LegalDecision) (exists (?ACTION) (and (instance ?ACTION LegalAction) (refers ?DECISION ?ACTION)))) |
Merge.kif 9958-9963 |
![]() |
![]() |