conclusion - Sigma Knowledge base Browser

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 16781-16784
(domain conclusion 1 Argument)	Merge.kif 16779-16779	conclusion の数値 1 引数は Argument の instance では %n
(domain conclusion 2 Proposition)	Merge.kif 16780-16780	conclusion の数値 2 引数は命題の instance では %n
(instance conclusion BinaryPredicate)	Merge.kif 16776-16776	conclusion は 2進述語の instance では %n
(instance conclusion SingleValuedRelation)	Merge.kif 16777-16777	conclusion は一価関係の instance では %n
(instance conclusion TotalValuedRelation)	Merge.kif 16778-16778	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 787-787
(format FrenchLanguage conclusion "l'argument de conclusion %1 est %n %2")	french_format.kif 474-474
(format JapaneseLanguage conclusion "引数 %1 の結論は %2 です")	english_format.kif 788-788
(format PortugueseLanguage conclusion "o argumento da conclusao %1 e' %n %2")	portuguese_format.kif 426-426
(format ro conclusion "conclusion%t{concluzia} argumentului %1 %n{nu} este %2")	relations-ro.kif 496-496
(termFormat ChineseLanguage conclusion "结论")	chinese_format.kif 787-787
(termFormat ChineseTraditionalLanguage conclusion "結論")	domainEnglishFormat.kif 16466-16466
(termFormat EnglishLanguage conclusion "conclusion")	domainEnglishFormat.kif 16465-16465

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 16726-16735

Argument は ValidDeductiveArgument の instance では %n 公式は引数 Argument の premises と equal では %n 引数公式の結論は 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 16709-16714	Argument は Argument の instance では %n 命題 Argument 引数 Argument の premises は命題と equal では %n 引数 Argument の結論は 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 16057-16064	命題は LegalOpinion の instance では %n 工程 ContentBearingPhysical and Argument 工程は LegalDecision の instance では %n ContentBearingPhysical は工程の result では %n ContentBearingPhysical は Argument の情報を contains %n{ない} 引数 Argument の結論は命題です

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: