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 16919-16922 | |
(domain conclusion 1 Argument) | Merge.kif 16917-16917 | conclusion の数値 1 引数は Argument の instance では %n |
(domain conclusion 2 Proposition) | Merge.kif 16918-16918 | conclusion の数値 2 引数は 命題 の instance では %n |
(instance conclusion BinaryPredicate) | Merge.kif 16914-16914 | conclusion は 2進述語 の instance では %n |
(instance conclusion SingleValuedRelation) | Merge.kif 16915-16915 | conclusion は 一価関係 の instance では %n |
(instance conclusion TotalValuedRelation) | Merge.kif 16916-16916 | 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 16864-16873 |
|
consequent |
(=> (instance ?ARGUMENT Argument) (exists (?PREMISES ?CONCLUSION) (and (equal (PremisesFn ?ARGUMENT) ?PREMISES) (conclusion ?CONCLUSION ?ARGUMENT)))) |
Merge.kif 16847-16852 | |
(=> (instance ?OPINION LegalOpinion) (exists (?DECISION ?TEXT ?PROPOSITION) (and (instance ?DECISION LegalDecision) (result ?DECISION ?TEXT) (containsInformation ?TEXT ?PROPOSITION) (conclusion ?PROPOSITION ?OPINION)))) |
Mid-level-ontology.kif 16186-16193 |
|