Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| conclusion |
| appearance as argument number 1 |
|
| (instance conclusion BinaryPredicate) | Merge.kif 17246-17246 | conclusion is an instance of binary predicate |
| (instance conclusion SingleValuedRelation) | Merge.kif 17247-17247 | conclusion is an instance of single valued relation |
| (instance conclusion TotalValuedRelation) | Merge.kif 17248-17248 | conclusion is an instance of total valued relation |
| (domain conclusion 1 Argument) | Merge.kif 17249-17249 | The number 1 argument of conclusion is an instance of argument |
| (domain conclusion 2 Formula) | Merge.kif 17250-17250 | The number 2 argument of conclusion is an instance of formula |
| (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 17251-17254 | The number 2 argument of conclusion is an instance of formula |
| 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 |
| consequent |
|
|
| (=> (instance ?OPINION LegalOpinion) (exists (?DECISION ?TEXT ?FORM) (and (instance ?DECISION LegalDecision) (result ?DECISION ?TEXT) (containsFormula ?TEXT ?FORM) (conclusion ?OPINION ?FORM)))) |
Mid-level-ontology.kif 17820-17827 | 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 the formula W, and the conclusion of argument X is W |
|