| 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 15691-15694 | |
| (domain conclusion 1 Argument) | Merge.kif 15689-15689 | domain conclusion, 1 and Argument |
| (domain conclusion 2 Proposition) | Merge.kif 15690-15690 | domain conclusion, 2 and Proposition |
| (instance conclusion BinaryPredicate) | Merge.kif 15686-15686 | instance conclusion and BinaryPredicate |
| (instance conclusion SingleValuedRelation) | Merge.kif 15687-15687 | instance conclusion and SingleValuedRelation |
| (instance conclusion TotalValuedRelation) | Merge.kif 15688-15688 | instance conclusion and TotalValuedRelation |
| 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 791-791 | |
| (termFormat ChineseLanguage conclusion "结论") | chinese_format.kif 787-787 | |
| (termFormat ChineseTraditionalLanguage conclusion "結論") | domainEnglishFormat.kif 16392-16392 | |
| (termFormat EnglishLanguage conclusion "conclusion") | domainEnglishFormat.kif 16391-16391 |
| 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 15636-15645 |
| consequent |
|
|
| (=> (instance ?ARGUMENT Argument) (exists (?PREMISES ?CONCLUSION) (and (equal (PremisesFn ?ARGUMENT) ?PREMISES) (conclusion ?CONCLUSION ?ARGUMENT)))) |
Merge.kif 15619-15624 | |
| (=> (instance ?OPINION LegalOpinion) (exists (?DECISION ?TEXT ?PROPOSITION) (and (instance ?DECISION LegalDecision) (result ?DECISION ?TEXT) (containsInformation ?TEXT ?PROPOSITION) (conclusion ?PROPOSITION ?OPINION)))) |
Mid-level-ontology.kif 13834-13841 |
|
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