| LegalAction(法律诉讼) | |
| appearance as argument number 1 |
|
|
| (documentation LegalAction ChineseLanguage "这是当一个 CognitiveAgent 寻求通过法庭去得到一些 东西的任何的 Process。") | Merge.kif 13380-13381 | |
| (documentation LegalAction EnglishLanguage "Any Process where a CognitiveAgent seeks to obtain something through a court of law.") | Merge.kif 13378-13379 | |
| (subclass LegalAction Contest) | Merge.kif 13377-13377 | 法律诉讼 是 比赛 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass LegalCharge LegalAction) | Mid-level-ontology.kif 13760-13760 | LegalCharge 是 法律诉讼 的 subclass |
| (subclass PlacingUnderArrest LegalAction) | Mid-level-ontology.kif 21382-21382 | PlacingUnderArrest 是 法律诉讼 的 subclass |
| (termFormat ChineseLanguage LegalAction "法律诉讼") | chinese_format.kif 1214-1214 | termFormat ChineseLanguage, 法律诉讼 and "法律诉讼" |
| (termFormat EnglishLanguage LegalAction "legal action") | english_format.kif 901-901 | termFormat EnglishLanguage, 法律诉讼 and "legal action" |
| appearance as argument number 3 |
|
|
| (domain attorney 1 LegalAction) | Law.kif 485-485 | attorney 的 1 数量 是 法律诉讼 的 instance |
| (domain counselInCase 3 LegalAction) | Law.kif 499-499 | counselInCase 的 3 数量 是 法律诉讼 的 instance |
| (domain defendant 1 LegalAction) | Mid-level-ontology.kif 13909-13909 | defendant 的 1 数量 是 法律诉讼 的 instance |
| (domain defenseLawyer 1 LegalAction) | Law.kif 321-321 | defenseLawyer 的 1 数量 是 法律诉讼 的 instance |
| (domain evidence 1 LegalAction) | Law.kif 219-219 | evidence 的 1 数量 是 法律诉讼 的 instance |
| (domain plaintiff 1 LegalAction) | Mid-level-ontology.kif 13916-13916 | plaintiff 的 1 数量 是 法律诉讼 的 instance |
| (domain prosecutor 1 LegalAction) | Law.kif 349-349 | prosecutor 的 1 数量 是 法律诉讼 的 instance |
| (domain witness 1 LegalAction) | Law.kif 249-249 | witness 的 1 数量 是 法律诉讼 的 instance |
| 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 13847-13858 | |
| (=> (instance ?ACTION LegalAction) (exists (?REGISTER) (and (instance ?REGISTER Registering) (subProcess ?REGISTER ?ACTION)))) |
Mid-level-ontology.kif 1274-1279 |
|
| consequent |
|
|
|
|
|