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 16851-16852
(domain PremisesFn 1 Argument)	Merge.kif 16849-16849	The number 1 argument of premises is an instance of argument
(instance PremisesFn TotalValuedRelation)	Merge.kif 16848-16848	Premises is an instance of total valued relation
(instance PremisesFn UnaryFunction)	Merge.kif 16847-16847	Premises is an instance of unary function
(range PremisesFn Proposition)	Merge.kif 16850-16850	The range of premises is an instance of 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 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 47210-47210
(termFormat ChineseTraditionalLanguage PremisesFn "房地")	domainEnglishFormat.kif 47209-47209
(termFormat EnglishLanguage PremisesFn "premises")	domainEnglishFormat.kif 47208-47208

antecedent

(=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION)))	Merge.kif 16854-16860	If an argument is an instance of argument and a proposition is equal to the premises of argument the argument, then another proposition is a sub-proposition of the proposition if and only if the other 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 16812-16821	If an argument is an instance of valid deductive argument and a formula is equal to 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 16795-16800

If an argument is an instance of argument,
then there exist a proposition and another argument such that the premises of argument the argument is equal to the proposition 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: