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 13933-13934
(domain defendant 1 LegalAction) Mid-level-ontology.kif 13935-13935 domain defendant, 1 and LegalAction
(domain defendant 2 CognitiveAgent) Mid-level-ontology.kif 13936-13936 domain defendant, 2 and CognitiveAgent
(instance defendant CaseRole) Mid-level-ontology.kif 13938-13938 instance defendant and CaseRole
(subrelation defendant patient) Mid-level-ontology.kif 13937-13937 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
(=>
    (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

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 11797-11811


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