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 13907-13908
(domain defendant 1 LegalAction) Mid-level-ontology.kif 13909-13909
(domain defendant 2 CognitiveAgent) Mid-level-ontology.kif 13910-13910
(instance defendant CaseRole) Mid-level-ontology.kif 13912-13912
(subrelation defendant patient) Mid-level-ontology.kif 13911-13911

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 18823-18823
(termFormat ChineseTraditionalLanguage defendant "被告") domainEnglishFormat.kif 18822-18822
(termFormat EnglishLanguage defendant "defendant") domainEnglishFormat.kif 18821-18821

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 336-347
(=>
    (and
        (prosecutor ?P ?A)
        (defendant ?P ?D))
    (desires ?A
        (exists (?L)
            (and
                (instance ?L LegalDecision)
                (refers ?L ?P)
                (not
                    (wants ?D ?L))))))
Law.kif 359-369

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 11771-11785


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners