PremisesFn |
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 16952-16953 | |
(domain PremisesFn 1 Argument) | Merge.kif 16950-16950 | Il numero 1 argomenti di PremisesFn è un istanza di Argument |
(instance PremisesFn TotalValuedRelation) | Merge.kif 16949-16949 | PremisesFn è un' istanza di RelazioneAValoreTotale |
(instance PremisesFn UnaryFunction) | Merge.kif 16948-16948 | PremisesFn è un' istanza di FunzioneUnaria |
(range PremisesFn Formula) | Merge.kif 16951-16951 | rango di PremisesFn è un'istanza di Formula |
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 784-784 | |
(format FrenchLanguage PremisesFn "l'argument d' introduction %1") | french_format.kif 473-473 | |
(format JapaneseLanguage PremisesFn "引数 %1 の premises") | english_format.kif 785-785 | |
(format PortugueseLanguage PremisesFn "o argumento da introducao de %1") | portuguese_format.kif 425-425 | |
(format ro PremisesFn "premises%t{premisele} argumentului %1") | relations-ro.kif 495-495 | |
(termFormat ChineseLanguage PremisesFn "前提函数") | chinese_format.kif 785-785 | |
(termFormat ChineseLanguage PremisesFn "房地") | domainEnglishFormat.kif 47200-47200 | |
(termFormat ChineseTraditionalLanguage PremisesFn "房地") | domainEnglishFormat.kif 47199-47199 | |
(termFormat EnglishLanguage PremisesFn "premises") | domainEnglishFormat.kif 47198-47198 |
antecedent |
(=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION))) |
Merge.kif 16955-16961 |
|
(=> (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 16913-16922 |
|
consequent |
(=> (instance ?ARGUMENT Argument) (exists (?PREMISES ?CONCLUSION) (and (equal (PremisesFn ?ARGUMENT) ?PREMISES) (conclusion ?CONCLUSION ?ARGUMENT)))) |
Merge.kif 16896-16901 |