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 17189-17190
(domain defendant 1 LegalAction)	Mid-level-ontology.kif 17191-17191	The number 1 argument of defendant is an instance of legal action
(domain defendant 2 CognitiveAgent)	Mid-level-ontology.kif 17192-17192	The number 2 argument of defendant is an instance of cognitive agent
(instance defendant CaseRole)	Mid-level-ontology.kif 17194-17194	defendant is an instance of case role
(subrelation defendant patient)	Mid-level-ontology.kif 17193-17193	defendant is a subrelation of patient

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 18909-18909
(termFormat ChineseTraditionalLanguage defendant "被告")	domainEnglishFormat.kif 18908-18908
(termFormat EnglishLanguage defendant "defendant")	domainEnglishFormat.kif 18907-18907

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	If a cognitive agent is the defense lawyer in a legal action and another cognitive agent is the defendant in the legal action, then the cognitive agent desires there doesn't exist an entity such that the entity is an instance of legal decision and the entity includes a reference to the legal action and the other cognitive agent doesn't want the 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 318-328	If a cognitive agent is the prosecutor in a legal action and another cognitive agent is the defendant in the legal action, then the cognitive agent desires there exists an entity such that the entity is an instance of legal decision and the entity includes a reference to the legal action and the other cognitive agent doesn't want the 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 15077-15091