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 17078-17079
(domain PremisesFn 1 Argument)	Merge.kif 17076-17076	The number 1 argument of premises is an instance of argument
(instance PremisesFn TotalValuedRelation)	Merge.kif 17075-17075	Premises is an instance of total valued relation
(instance PremisesFn UnaryFunction)	Merge.kif 17074-17074	Premises is an instance of unary function
(range PremisesFn Formula)	Merge.kif 17077-17077	The range of premises is an instance of 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 47199-47199
(termFormat ChineseTraditionalLanguage PremisesFn "房地")	domainEnglishFormat.kif 47198-47198
(termFormat EnglishLanguage PremisesFn "premises")	domainEnglishFormat.kif 47197-47197

antecedent

(=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION)))	Merge.kif 17081-17087	If an argument is an instance of argument and equal a formula and the premises of argument the argument, then a proposition is a sub-proposition of the formula if and only if the proposition is a premise of the argument
(=> (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 17039-17048	If an argument is an instance of valid deductive argument and equal a formula and 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 17022-17027

If an argument is an instance of argument,
then there exist a formula and another argument such that equal the premises of argument the argument and the formula and the conclusion of argument the other argument is the argument

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

KB Term:			Term intersection

English Word: