conclusion - Sigma Knowledge base Browser

appearance as argument number 1

(documentation conclusion ChineseLanguage "(conclusion ?ARGUMENT ?PROPOSITION)的意思是 Proposition ?PROPOSITION 是由 Argument ?ARGUMENT 所得出明确的结论。注：有可能是但也有可能不是由 ?ARGUMENT entails ?PROPOSITION。 ")	Merge.kif 21581-21583
(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 21577-21580
(domain conclusion 1 Argument)	Merge.kif 21575-21575	conclusion の数値 1 引数は Argument の instance では %n
(domain conclusion 2 Proposition)	Merge.kif 21576-21576	conclusion の数値 2 引数は命題の instance では %n
(instance conclusion BinaryPredicate)	Merge.kif 21572-21572	conclusion は 2進述語の instance では %n
(instance conclusion SingleValuedRelation)	Merge.kif 21573-21573	conclusion は一価関係の instance では %n
(instance conclusion TotalValuedRelation)	Merge.kif 21574-21574	conclusion は合計値関係の instance では %n

appearance as argument number 2

(format ChineseLanguage conclusion "%1 Argument 的 conclusion %n 是 %2")	chinese_format.kif 786-786
(format EnglishLanguage conclusion "the conclusion of argument %1 is %n %2")	english_format.kif 1090-1090
(termFormat ChineseLanguage conclusion "结论")	chinese_format.kif 787-787	termFormat ChineseLanguage, conclusion and "结论"
(termFormat ChineseTraditionalLanguage conclusion "結論")	domainEnglishFormat.kif 16398-16398	termFormat ChineseTraditionalLanguage, conclusion and "結論"
(termFormat EnglishLanguage conclusion "conclusion")	domainEnglishFormat.kif 16397-16397	termFormat EnglishLanguage, conclusion and "conclusion"

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 21512-21521

Argument は ValidDeductiveArgument の instance では %n 公式は PremisesFn Argument と equal では %n conclusion 公式 and Argument
ContentBearingPhysical ContentBearingPhysical ContentBearingPhysical は公式の情報を contains %n{ない} ContentBearingPhysical は公式の情報を contains %n{ない} 公式は公式を entails %n{ない}

consequent

(=> (instance ?ARGUMENT Argument) (exists (?PREMISES ?CONCLUSION) (and (equal (PremisesFn ?ARGUMENT) ?PREMISES) (conclusion ?CONCLUSION ?ARGUMENT))))	Merge.kif 21491-21496	Argument は Argument の instance では %n 命題 Argument PremisesFn Argument は命題と equal では %n conclusion Argument and Argument
(=> (instance ?OPINION LegalOpinion) (exists (?DECISION ?TEXT ?PROPOSITION) (and (instance ?DECISION LegalDecision) (result ?DECISION ?TEXT) (containsInformation ?TEXT ?PROPOSITION) (conclusion ?PROPOSITION ?OPINION))))	Mid-level-ontology.kif 13835-13842	命題は LegalOpinion の instance では %n 工程 ContentBearingPhysical and Argument 工程は LegalDecision の instance では %n ContentBearingPhysical は工程の result では %n ContentBearingPhysical は Argument の情報を contains %n{ない} conclusion Argument and 命題

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

KB Term:			Term intersection

English Word: