TreeView 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 16790-16793
(domain conclusion 1 Argument)	Merge.kif 16788-16788	conclusion の数値 1 引数は Argument の instance では %n
(domain conclusion 2 Proposition)	Merge.kif 16789-16789	conclusion の数値 2 引数は命題の instance では %n
(instance conclusion BinaryPredicate)	Merge.kif 16785-16785	conclusion は 2進述語の instance では %n
(instance conclusion SingleValuedRelation)	Merge.kif 16786-16786	conclusion は一価関係の instance では %n
(instance conclusion TotalValuedRelation)	Merge.kif 16787-16787	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 16469-16469
(termFormat EnglishLanguage conclusion "conclusion")	domainEnglishFormat.kif 16468-16468

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

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 16718-16723	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 16122-16129	命題は LegalOpinion の instance では %n 工程 ContentBearingPhysical and Argument 工程は LegalDecision の instance では %n ContentBearingPhysical は工程の result では %n ContentBearingPhysical は Argument の情報を contains %n{ない} 引数 Argument の結論は命題です

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: