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 O argumento numero 1 de defendant e' uma instancia de Acao Legal
(domain defendant 2 CognitiveAgent) Mid-level-ontology.kif 16264-16264 O argumento numero 2 de defendant e' uma instancia de Agente Cognitivo
(instance defendant CaseRole) Mid-level-ontology.kif 16266-16266 defendant e' uma instancia de Role em Caso
(subrelation defendant patient) Mid-level-ontology.kif 16265-16265 defendant e' uma sub-relacao de 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