defendant - Sigma Knowledge base Browser

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
(domain defendant 2 CognitiveAgent)	Mid-level-ontology.kif 17651-17651
(instance defendant CaseRole)	Mid-level-ontology.kif 17653-17653
(subrelation defendant patient)	Mid-level-ontology.kif 17652-17652

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