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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - conclusion
conclusion

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


(documentation conclusion ChineseLanguage "(conclusion ?ARGUMENT ?PROPOSITION)的意思是 Proposition ?PROPOSITION 是由 Argument ?ARGUMENT 所得出明确的结论。注:有可能是但也有可能不是 由 ?ARGUMENT entails ?PROPOSITION。 ") chinese_format.kif 3781-3783
(documentation conclusion EnglishLanguage "(conclusion ?ARGUMENT ?PROPOSITION) means that the Proposition ?PROPOSITION is the conclusion explicitly drawn from the Argument ?ARGUMENT. Note that it may or may not be the case that ?ARGUMENT entails ?PROPOSITION.") Merge.kif 15598-15601
(domain conclusion 1 Argument) Merge.kif 15596-15596 The number 1 argument of conclusion is an instance of argument
(domain conclusion 2 Proposition) Merge.kif 15597-15597 The number 2 argument of conclusion is an instance of proposition
(instance conclusion BinaryPredicate) Merge.kif 15593-15593 conclusion is an instance of binary predicate
(instance conclusion SingleValuedRelation) Merge.kif 15594-15594 conclusion is an instance of single valued relation
(instance conclusion TotalValuedRelation) Merge.kif 15595-15595 conclusion is an instance of total valued relation

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


(format ChineseLanguage conclusion "%1 Argumentconclusion %n 是 %2") chinese_format.kif 786-786
(format EnglishLanguage conclusion "the conclusion of argument %1 is %n %2") english_format.kif 791-791
(termFormat ChineseLanguage conclusion "结论") chinese_format.kif 787-787 "结论" is the printable form of conclusion in ChineseLanguage
(termFormat ChineseTraditionalLanguage conclusion "結論") domainEnglishFormat.kif 16398-16398 "結論" is the printable form of conclusion in ChineseTraditionalLanguage
(termFormat EnglishLanguage conclusion "conclusion") domainEnglishFormat.kif 16397-16397 "conclusion" is the printable form of conclusion in english language

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


(=>
    (and
        (instance ?ARGUMENT ValidDeductiveArgument)
        (equal ?PREMISES
            (PremisesFn ?ARGUMENT))
        (conclusion ?CONCLUSION ?ARGUMENT))
    (exists (?FORMULA1 ?FORMULA2)
        (and
            (containsInformation ?FORMULA1 ?PREMISES)
            (containsInformation ?FORMULA2 ?CONCLUSION)
            (entails ?PREMISES ?CONCLUSION))))
Merge.kif 15543-15552

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


(=>
    (instance ?ARGUMENT Argument)
    (exists (?PREMISES ?CONCLUSION)
        (and
            (equal
                (PremisesFn ?ARGUMENT) ?PREMISES)
            (conclusion ?CONCLUSION ?ARGUMENT))))
Merge.kif 15526-15531
(=>
    (instance ?OPINION LegalOpinion)
    (exists (?DECISION ?TEXT ?PROPOSITION)
        (and
            (instance ?DECISION LegalDecision)
            (result ?DECISION ?TEXT)
            (containsInformation ?TEXT ?PROPOSITION)
            (conclusion ?PROPOSITION ?OPINION))))
Mid-level-ontology.kif 13833-13840


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners