Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - LegalAward
LegalAward(legal award)

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


(subclass LegalAward LegalDecision) Mid-level-ontology.kif 17829-17829 Legal award is a subclass of legal decision
(documentation LegalAward EnglishLanguage "Any LegalDecision which gives to the plaintiff of the corresponding LegalAction some amount of monetary compensation.") Mid-level-ontology.kif 17830-17831 Legal award is a subclass of legal decision

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


(termFormat EnglishLanguage LegalAward "legal award") domainEnglishFormat.kif 33799-33799
(termFormat ChineseTraditionalLanguage LegalAward "法律獎勵") domainEnglishFormat.kif 33800-33800
(termFormat ChineseLanguage LegalAward "法律奖励") domainEnglishFormat.kif 33801-33801

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


(=>
    (and
        (instance ?AWARD LegalAward)
        (refers ?AWARD ?ACTION)
        (instance ?ACTION LegalAction)
        (agent ?ACTION ?PLAINTIFF))
    (confersRight ?AWARD ?PLAINTIFF
        (exists (?GET ?OBJ ?VALUE)
            (and
                (instance ?GET Getting)
                (experiencer ?GET ?PLAINTIFF)
                (patient ?GET ?OBJ)
                (monetaryValue ?OBJ ?VALUE)))))		 Mid-level-ontology.kif 17833-17845 If X is an instance of legal award, X includes a reference to Y, Y is an instance of legal action, and Z is an agent of Y, then Z allows there exist W, V, U such that W is an instance of getting, Z experiences W, V is a patient of W, and value of V is U to perform task of the type X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners