Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - defendant
defendant

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 The number 1 argument of defendant is an instance of legal action
(domain defendant 2 CognitiveAgent) Mid-level-ontology.kif 17651-17651 The number 2 argument of defendant is an instance of cognitive agent
(instance defendant CaseRole) Mid-level-ontology.kif 17653-17653 defendant is an instance of case role
(subrelation defendant patient) Mid-level-ontology.kif 17652-17652 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 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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners