TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

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

antecedent

(=>
    (instance ?OPINION LegalOpinion)
    (exists (?DECISION ?TEXT ?PROPOSITION)
        (and
            (instance ?DECISION LegalDecision)
            (result ?DECISION ?TEXT)
            (containsInformation ?TEXT ?PROPOSITION)
            (conclusion ?PROPOSITION ?OPINION))))

Mid-level-ontology.kif 16159-16166

If a proposition is an instance of legal opinion,
then there exist a process, a content bearing physical and an argument such that the process is an instance of legal decision and the content bearing physical is a result of the process and the content bearing physical contains information the argument and the conclusion of argument the argument is the proposition

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

KB Term:			Term intersection

English Word: