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 16952-16953
(domain PremisesFn 1 Argument)	Merge.kif 16950-16950	The number 1 argument of premises is an instance of argument
(instance PremisesFn TotalValuedRelation)	Merge.kif 16949-16949	Premises is an instance of total valued relation
(instance PremisesFn UnaryFunction)	Merge.kif 16948-16948	Premises is an instance of unary function
(range PremisesFn Formula)	Merge.kif 16951-16951	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 47236-47236
(termFormat ChineseTraditionalLanguage PremisesFn "房地")	domainEnglishFormat.kif 47235-47235
(termFormat EnglishLanguage PremisesFn "premises")	domainEnglishFormat.kif 47234-47234

antecedent

(=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION)))	Merge.kif 16955-16961	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 16913-16922	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 16896-16901

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: