Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Explanation
account, account_for, explanation, exposition, hypothesis, hypothetical, possibility, reason, simplification, theory, walk-through

appearance as argument number 1

(documentation Explanation ChineseLanguage "这是一个 Argument,他出现于当结论是来自观察所得的 事实,而前提是另外一些共同指向结论的事实。注:这是说明的假设演绎模式。") chinese_format.kif 3773-3774
(documentation Explanation EnglishLanguage "An Argument where the conclusion is an observed fact and the premises are other facts which collectively imply the conclusion. Note that this is the hypothetico-deductive model of explanation.") Merge.kif 16881-16884
(externalImage Explanation " 4/ 4a/ Plato-raphael.jpg") pictureList.kif 5998-5998
(subclass Explanation DeductiveArgument) Merge.kif 16880-16880 Explanation is a subclass of deductive argument

appearance as argument number 2

(termFormat ChineseLanguage Explanation "说明") domainEnglishFormat.kif 22834-22834
(termFormat ChineseTraditionalLanguage Explanation "說明") domainEnglishFormat.kif 22833-22833
(termFormat EnglishLanguage Explanation "explanation") domainEnglishFormat.kif 22832-22832

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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