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

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 18817-18817
(termFormat ChineseTraditionalLanguage defendant "被告")	domainEnglishFormat.kif 18816-18816
(termFormat EnglishLanguage defendant "defendant")	domainEnglishFormat.kif 18815-18815

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 338-349	defenseLawyer LegalAction and CognitiveAgent defendant LegalAction and CognitiveAgent desires CognitiveAgent and entity instance entity and LegalDecision refers entity and LegalAction wants CognitiveAgent and entity
(=> (and (prosecutor ?P ?A) (defendant ?P ?D)) (desires ?A (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L))))))	Law.kif 361-371	prosecutor LegalAction and CognitiveAgent defendant LegalAction and CognitiveAgent desires CognitiveAgent and entity instance entity and LegalDecision refers entity and LegalAction wants CognitiveAgent and entity

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 11772-11786