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


KB Term:  Term intersection
English Word: 

  LegalOpinion

 Sigma KEE - LegalOpinion
LegalOpinion(legal opinion)opinion, ruling

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


(subclass LegalOpinion Argument) Mid-level-ontology.kif 17816-17816 Legal opinion is a subclass of argument
(documentation LegalOpinion EnglishLanguage "An Argument that explains the reasoning behind a LegalDecision.") Mid-level-ontology.kif 17817-17818 Legal opinion is a subclass of argument

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


(termFormat EnglishLanguage LegalOpinion "legal opinion") domainEnglishFormat.kif 33841-33841
(termFormat ChineseTraditionalLanguage LegalOpinion "法律意見") domainEnglishFormat.kif 33842-33842
(termFormat ChineseLanguage LegalOpinion "法律意见") domainEnglishFormat.kif 33843-33843

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


(=>
    (instance ?OPINION LegalOpinion)
    (exists (?DECISION ?TEXT ?FORM)
        (and
            (instance ?DECISION LegalDecision)
            (result ?DECISION ?TEXT)
            (containsFormula ?TEXT ?FORM)
            (conclusion ?OPINION ?FORM))))		 Mid-level-ontology.kif 17820-17827 If X is an instance of legal opinion, then there exist Y, Z, W such that Y is an instance of legal decision, Z is a result of Y, Z contains the formula W, and the conclusion of argument X is W


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