| appearance as argument number 1 |
|
| (documentation PremisesFn ChineseLanguage "(PremisesFn ?ARGUMENT)得出 Argument ?ARGUMENT 整套完整的 premise。") | chinese_format.kif 3779-3780 | |
| (documentation PremisesFn EnglishLanguage "(PremisesFn ?ARGUMENT) returns the complete set of premises of the Argument ?ARGUMENT.") | Merge.kif 15675-15676 | |
| (domain PremisesFn 1 Argument) | Merge.kif 15673-15673 | domain PremisesFn, 1 and Argument |
| (instance PremisesFn TotalValuedRelation) | Merge.kif 15672-15672 | instance PremisesFn and TotalValuedRelation |
| (instance PremisesFn UnaryFunction) | Merge.kif 15671-15671 | instance PremisesFn and UnaryFunction |
| (range PremisesFn Proposition) | Merge.kif 15674-15674 | range PremisesFn and Proposition |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage PremisesFn "%1 Argument 的 premise") | chinese_format.kif 784-784 | |
| (format EnglishLanguage PremisesFn "the premises of argument %1") | english_format.kif 787-787 | |
| (format EnglishLanguage PremisesFn "引数 %1 の premises") | english_format.kif 788-788 | |
| (termFormat ChineseLanguage PremisesFn "前提函数") | chinese_format.kif 785-785 | |
| (termFormat ChineseLanguage PremisesFn "房地") | domainEnglishFormat.kif 47096-47096 | |
| (termFormat ChineseTraditionalLanguage PremisesFn "房地") | domainEnglishFormat.kif 47095-47095 | |
| (termFormat EnglishLanguage PremisesFn "premises") | domainEnglishFormat.kif 47094-47094 |
| antecedent |
|
|
| (=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION))) |
Merge.kif 15678-15684 | |
| (=> (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 |
|
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