| appearance as argument number 1 |
|
| (instance conclusion BinaryPredicate) | Merge.kif 17089-17089 | conclusion is an instance of binary predicate |
| (instance conclusion SingleValuedRelation) | Merge.kif 17090-17090 | conclusion is an instance of single valued relation |
| (instance conclusion TotalValuedRelation) | Merge.kif 17091-17091 | conclusion is an instance of total valued relation |
| (domain conclusion 1 Argument) | Merge.kif 17092-17092 | The number 1 argument of conclusion is an instance of argument |
| (domain conclusion 2 Proposition) | Merge.kif 17093-17093 | The number 2 argument of conclusion is an instance of proposition |
| (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 17094-17097 | The number 2 argument of conclusion is an instance of proposition |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage conclusion "conclusion") | domainEnglishFormat.kif 16470-16470 | |
| (termFormat ChineseTraditionalLanguage conclusion "結論") | domainEnglishFormat.kif 16471-16471 | |
| (termFormat ChineseLanguage conclusion "结论") | domainEnglishFormat.kif 16472-16472 | |
| (format EnglishLanguage conclusion "the conclusion of argument %1 is %n %2") | english_format.kif 787-787 | |
| (format JapaneseLanguage conclusion "引数 %1 の 結論は %2 です") | english_format.kif 788-788 |
| 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 17039-17048 | If X is an instance of valid deductive argument, equal Y and the premises of argument X, and the conclusion of argument Z is X, then there exist W, V such that W contains information Y, V contains information Z, and Y entails Z |
| consequent |
|
|
| (=> (instance ?ARGUMENT Argument) (exists (?PREMISES ?CONCLUSION) (and (equal (PremisesFn ?ARGUMENT) ?PREMISES) (conclusion ?CONCLUSION ?ARGUMENT)))) |
Merge.kif 17022-17027 | If X is an instance of argument, then there exist Y, Z such that equal the premises of argument X, Y, and the conclusion of argument Z is X |
| (=> (instance ?OPINION LegalOpinion) (exists (?DECISION ?TEXT ?PROPOSITION) (and (instance ?DECISION LegalDecision) (result ?DECISION ?TEXT) (containsInformation ?TEXT ?PROPOSITION) (conclusion ?PROPOSITION ?OPINION)))) |
Mid-level-ontology.kif 17750-17757 | If X is an instance of legal opinion, then there exist Y, Z, W such that Y is an instance of legal decision, Z is a result of Y, Z contains information W, and the conclusion of argument W is X |
|
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