TreeView Knowledge Base Browser

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 16903-16904
(domain PremisesFn 1 Argument)	Merge.kif 16901-16901	PremisesFn の数値 1 引数は Argument の instance では %n
(instance PremisesFn TotalValuedRelation)	Merge.kif 16900-16900	PremisesFn は合計値関係の instance では %n
(instance PremisesFn UnaryFunction)	Merge.kif 16899-16899	PremisesFn は 1変数関数の instance では %n
(range PremisesFn Proposition)	Merge.kif 16902-16902	PremisesFn の range は命題のインスタンスでは %n

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 47198-47198
(termFormat ChineseTraditionalLanguage PremisesFn "房地")	domainEnglishFormat.kif 47197-47197
(termFormat EnglishLanguage PremisesFn "premises")	domainEnglishFormat.kif 47196-47196

antecedent

(=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION)))	Merge.kif 16906-16912	Argument は Argument の instance では %n 命題は引数 Argument の premises と equal では %n 命題は命題の sub-proposition では %n premise Argument and 命題
(=> (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 16864-16873	Argument は ValidDeductiveArgument の instance では %n 公式は引数 Argument の premises と equal では %n 引数公式の結論は Argument です ContentBearingPhysical ContentBearingPhysical ContentBearingPhysical は公式の情報を contains %n{ない} ContentBearingPhysical は公式の情報を contains %n{ない} 公式は公式を entails %n{ない}

consequent

(=>
    (instance ?ARGUMENT Argument)
    (exists (?PREMISES ?CONCLUSION)
        (and
            (equal
                (PremisesFn ?ARGUMENT) ?PREMISES)
            (conclusion ?CONCLUSION ?ARGUMENT))))

Merge.kif 16847-16852

Argument は Argument の instance では %n
命題 Argument 引数 Argument の premises は命題と equal では %n 引数 Argument の結論は Argument です

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

KB Term:			Term intersection

English Word: