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

Formal Language: 



KB Term:  Term intersection
English Word: 

  defendant

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 16261-16262
(domain defendant 1 LegalAction) Mid-level-ontology.kif 16263-16263 The number 1 argument of defendant is an instance of legal action
(domain defendant 2 CognitiveAgent) Mid-level-ontology.kif 16264-16264 The number 2 argument of defendant is an instance of cognitive agent
(instance defendant CaseRole) Mid-level-ontology.kif 16266-16266 defendant is an instance of case role
(subrelation defendant patient) Mid-level-ontology.kif 16265-16265 defendant is a subrelation of patient

appearance as argument number 2
-------------------------


(format ChineseLanguage defendant "%2 是在 %1 的 defendant ") domainEnglishFormat.kif 3218-3218
(format ChineseTraditionalLanguage defendant "%2 是在 %1 的 defendant ") domainEnglishFormat.kif 3217-3217
(format EnglishLanguage defendant "%2 is the defendant in %1") domainEnglishFormat.kif 3216-3216
(termFormat ChineseLanguage defendant "被告") domainEnglishFormat.kif 18894-18894
(termFormat ChineseTraditionalLanguage defendant "被告") domainEnglishFormat.kif 18893-18893
(termFormat EnglishLanguage defendant "defendant") domainEnglishFormat.kif 18892-18892

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
(=>
    (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

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 14149-14163


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

Show without tree


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