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 17648-17649 | |
(domain defendant 1 LegalAction) | Mid-level-ontology.kif 17650-17650 | defendant の数値 1 引数は 訴訟 の instance では |
(domain defendant 2 CognitiveAgent) | Mid-level-ontology.kif 17651-17651 | defendant の数値 2 引数は 認識エージェント の instance では |
(instance defendant CaseRole) | Mid-level-ontology.kif 17653-17653 | defendant は 格役割 の instance では |
(subrelation defendant patient) | Mid-level-ontology.kif 17652-17652 | defendant は patient の subrelation では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage defendant "%2 是在 %1 的 defendant ") | domainEnglishFormat.kif 3214-3214 | |
(format ChineseTraditionalLanguage defendant "%2 是在 %1 的 defendant ") | domainEnglishFormat.kif 3213-3213 | |
(format EnglishLanguage defendant "%2 is the defendant in %1") | domainEnglishFormat.kif 3212-3212 | |
(termFormat ChineseLanguage defendant "被告") | domainEnglishFormat.kif 18903-18903 | |
(termFormat ChineseTraditionalLanguage defendant "被告") | domainEnglishFormat.kif 18902-18902 | |
(termFormat EnglishLanguage defendant "defendant") | domainEnglishFormat.kif 18901-18901 |
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 300-311 | |
(=> (and (prosecutor ?P ?A) (defendant ?P ?D)) (desires ?A (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L)))))) |
Law.kif 324-334 |
consequent |
![]() |
(=> (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 15520-15534 |
|
![]() |
![]() |