PremisesFn - Sigma 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 16977-16978
(domain PremisesFn 1 Argument)	Merge.kif 16975-16975	The number 1 argument of premises is an instance of argument
(instance PremisesFn TotalValuedRelation)	Merge.kif 16974-16974	Premises is an instance of total valued relation
(instance PremisesFn UnaryFunction)	Merge.kif 16973-16973	Premises is an instance of unary function
(range PremisesFn Formula)	Merge.kif 16976-16976	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 47229-47229
(termFormat ChineseTraditionalLanguage PremisesFn "房地")	domainEnglishFormat.kif 47228-47228
(termFormat EnglishLanguage PremisesFn "premises")	domainEnglishFormat.kif 47227-47227

antecedent

(=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION)))	Merge.kif 16980-16986	If an argument is an instance of argument and a formula is equal to 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 16938-16947	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 16921-16926

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

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: