conclusion - Sigma 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 16993-16996
(domain conclusion 1 Argument)	Merge.kif 16991-16991	The number 1 argument of conclusion is an instance of argument
(domain conclusion 2 Proposition)	Merge.kif 16992-16992	The number 2 argument of conclusion is an instance of proposition
(instance conclusion BinaryPredicate)	Merge.kif 16988-16988	conclusion is an instance of binary predicate
(instance conclusion SingleValuedRelation)	Merge.kif 16989-16989	conclusion is an instance of single valued relation
(instance conclusion TotalValuedRelation)	Merge.kif 16990-16990	conclusion is an instance of total valued relation

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 16484-16484
(termFormat EnglishLanguage conclusion "conclusion")	domainEnglishFormat.kif 16483-16483

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 16938-16947

If an argument is an instance of valid deductive argument and a formula is equal to the premises of argument the argument and the conclusion of argument another formula is the argument,
then there exist a content bearing physical and another content bearing physical such that the content bearing physical contains information the formula and the other content bearing physical contains information the other formula and the formula entails the other formula

consequent

(=> (instance ?ARGUMENT Argument) (exists (?PREMISES ?CONCLUSION) (and (equal (PremisesFn ?ARGUMENT) ?PREMISES) (conclusion ?CONCLUSION ?ARGUMENT))))	Merge.kif 16921-16926	If an argument is an instance of argument, then there exist a formula and another argument such that the premises of argument the argument is equal to the formula and the conclusion of argument the other argument is the 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 17115-17122	If a proposition is an instance of legal opinion, then there exist a process, a content bearing physical and an argument such that the process is an instance of legal decision and the content bearing physical is a result of the process and the content bearing physical contains information the argument and the conclusion of argument the argument is the proposition

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

KB Term:			Term intersection

English Word: