defendant |
appearance as argument number 1 |
(documentation defendant EnglishLanguage "(defendant ?AGENT ?ACTION) means the LegalAction ?ACTION makes a legal claim against ?AGENT.") | Mid-level-ontology.kif 16261-16262 | |
(domain defendant 1 LegalAction) | Mid-level-ontology.kif 16263-16263 | Die Zahl 1 Argument von defendant ist ein fall von LegalAction %n{nicht} |
(domain defendant 2 CognitiveAgent) | Mid-level-ontology.kif 16264-16264 | Die Zahl 2 Argument von defendant ist ein fall von CognitiveAgent %n{nicht} |
(instance defendant CaseRole) | Mid-level-ontology.kif 16266-16266 | defendant ist ein fall von CaseRole %n{nicht} |
(subrelation defendant patient) | Mid-level-ontology.kif 16265-16265 | defendant ist eine teilrelation von patient |
appearance as argument number 2 |
(format ChineseLanguage defendant "%2 是在 %1 的 defendant ") | domainEnglishFormat.kif 3218-3218 | |
(format ChineseTraditionalLanguage defendant "%2 是在 %1 的 defendant ") | domainEnglishFormat.kif 3217-3217 | |
(format EnglishLanguage defendant "%2 is the defendant in %1") | domainEnglishFormat.kif 3216-3216 | |
(termFormat ChineseLanguage defendant "被告") | domainEnglishFormat.kif 18894-18894 | |
(termFormat ChineseTraditionalLanguage defendant "被告") | domainEnglishFormat.kif 18893-18893 | |
(termFormat EnglishLanguage defendant "defendant") | domainEnglishFormat.kif 18892-18892 |
antecedent |
(=> (and (defenseLawyer ?P ?A) (defendant ?P ?D)) (desires ?A (not (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L))))))) |
Law.kif 295-306 |
|
(=> (and (prosecutor ?P ?A) (defendant ?P ?D)) (desires ?A (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L)))))) |
Law.kif 318-328 |
|
consequent |