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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LegalAction

Sigma KEE - LegalAction
LegalAction

appearance as argument number 1
-------------------------


(documentation LegalAction ChineseLanguage "这是当一个 CognitiveAgent 寻求通过法庭去得到一些 东西的任何的 Process。") chinese_format.kif 3299-3300
(documentation LegalAction EnglishLanguage "Any Process where a CognitiveAgent seeks to obtain something through a court of law.") Merge.kif 13136-13137
(subclass LegalAction Contest) Merge.kif 13135-13135

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


(subclass LegalCharge LegalAction) Mid-level-ontology.kif 15553-15553
(subclass PlacingUnderArrest LegalAction) Mid-level-ontology.kif 22914-22914
(termFormat ChineseLanguage LegalAction "法律诉讼") chinese_format.kif 1214-1214
(termFormat EnglishLanguage LegalAction "legal action") english_format.kif 1649-1649

appearance as argument number 3
-------------------------


(domain attorney 1 LegalAction) Law.kif 489-489
(domain counselInCase 3 LegalAction) Law.kif 503-503
(domain defendant 1 LegalAction) Mid-level-ontology.kif 15704-15704
(domain defenseLawyer 1 LegalAction) Law.kif 325-325
(domain evidence 1 LegalAction) Law.kif 220-220
(domain plaintiff 1 LegalAction) Mid-level-ontology.kif 15711-15711
(domain prosecutor 1 LegalAction) Law.kif 353-353
(domain witness 1 LegalAction) Law.kif 252-252

antecedent
-------------------------


(=>
    (and
        (instance ?AWARD LegalAward)
        (refers ?AWARD ?ACTION)
        (instance ?ACTION LegalAction)
        (agent ?ACTION ?PLAINTIFF))
    (confersRight
        (exists (?GET ?OBJ ?VALUE)
            (and
                (instance ?GET Getting)
                (experiencer ?GET ?PLAINTIFF)
                (patient ?GET ?OBJ)
                (monetaryValue ?OBJ ?VALUE))) ?AWARD ?PLAINTIFF))
Mid-level-ontology.kif 15641-15653
(=>
    (instance ?ACTION LegalAction)
    (exists (?REGISTER)
        (and
            (instance ?REGISTER Registering)
            (subProcess ?REGISTER ?ACTION))))
Mid-level-ontology.kif 848-853

consequent
-------------------------


(<=>
    (holdsDuring ?TIME
        (attribute ?AGENT LegalAgent))
    (holdsDuring ?TIME
        (or
            (capability LegalAction agent ?AGENT)
            (capability LegalAction patient ?AGENT))))
Merge.kif 1541-1547
(=>
    (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 13615-13629
(=>
    (instance ?DECISION LegalDecision)
    (exists (?ACTION)
        (and
            (instance ?ACTION LegalAction)
            (refers ?DECISION ?ACTION))))
Merge.kif 10682-10687


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