PremisesFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance PremisesFn UnaryFunction)	Merge.kif 17231-17231	Premises is an instance of unary function
(instance PremisesFn TotalValuedRelation)	Merge.kif 17232-17232	Premises is an instance of total valued relation
(domain PremisesFn 1 Argument)	Merge.kif 17233-17233	The number 1 argument of premises is an instance of argument
(range PremisesFn Formula)	Merge.kif 17234-17234	The range of premises is an instance of formula
(documentation PremisesFn EnglishLanguage "(PremisesFn ?ARGUMENT) returns the complete set of premises of the Argument ?ARGUMENT.")	Merge.kif 17235-17236	The range of premises is an instance of formula

appearance as argument number 2

(termFormat EnglishLanguage PremisesFn "premises")	domainEnglishFormat.kif 47191-47191
(termFormat ChineseTraditionalLanguage PremisesFn "房地")	domainEnglishFormat.kif 47192-47192
(termFormat ChineseLanguage PremisesFn "房地")	domainEnglishFormat.kif 47193-47193
(format EnglishLanguage PremisesFn "the premises of argument %1")	english_format.kif 784-784
(format JapaneseLanguage PremisesFn "引数 %1 の premises")	english_format.kif 785-785