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 16765-16766
(domain PremisesFn 1 Argument)	Merge.kif 16763-16763	The number 1 argument of premises is an instance of argument
(instance PremisesFn TotalValuedRelation)	Merge.kif 16762-16762	Premises is an instance of total valued relation
(instance PremisesFn UnaryFunction)	Merge.kif 16761-16761	Premises is an instance of unary function
(range PremisesFn Proposition)	Merge.kif 16764-16764	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 47219-47219
(termFormat ChineseTraditionalLanguage PremisesFn "房地")	domainEnglishFormat.kif 47218-47218
(termFormat EnglishLanguage PremisesFn "premises")	domainEnglishFormat.kif 47217-47217

antecedent

(=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION)))	Merge.kif 16768-16774	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 16726-16735	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 16709-16714

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 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: