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 13907-13908
(domain defendant 1 LegalAction)	Mid-level-ontology.kif 13909-13909
(domain defendant 2 CognitiveAgent)	Mid-level-ontology.kif 13910-13910
(instance defendant CaseRole)	Mid-level-ontology.kif 13912-13912
(subrelation defendant patient)	Mid-level-ontology.kif 13911-13911

appearance as argument number 2

(format ChineseLanguage defendant "%2 是在 %1 的 defendant ")	domainEnglishFormat.kif 3219-3219
(format ChineseTraditionalLanguage defendant "%2 是在 %1 的 defendant ")	domainEnglishFormat.kif 3218-3218
(format EnglishLanguage defendant "%2 is the defendant in %1")	domainEnglishFormat.kif 3217-3217
(termFormat ChineseLanguage defendant "被告")	domainEnglishFormat.kif 18823-18823
(termFormat ChineseTraditionalLanguage defendant "被告")	domainEnglishFormat.kif 18822-18822
(termFormat EnglishLanguage defendant "defendant")	domainEnglishFormat.kif 18821-18821

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 336-347
(=> (and (prosecutor ?P ?A) (defendant ?P ?D)) (desires ?A (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L))))))	Law.kif 359-369

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 11771-11785