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	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	defenseLawyer 訴訟 and 認識エージェント defendant 訴訟 and 認識エージェント認識エージェントがエンティティーエンティティーは LegalDecision の instance ではエンティティーは訴訟への reference を includes 認識エージェントはエンティティーを want ないを desires
(=> (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	prosecutor 訴訟 and 認識エージェント defendant 訴訟 and 認識エージェント認識エージェントがエンティティーエンティティーは LegalDecision の instance ではエンティティーは訴訟への reference を includes 認識エージェントはエンティティーを want ないを desires

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