GeneralizedIntersectionFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance GeneralizedIntersectionFn UnaryFunction)	Merge.kif 5616-5616	Generalized intersection is an instance of unary function
(instance GeneralizedIntersectionFn TotalValuedRelation)	Merge.kif 5617-5617	Generalized intersection is an instance of total valued relation
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass)	Merge.kif 5618-5618	The number 1 argument of generalized intersection is a subclass of set or class
(range GeneralizedIntersectionFn SetOrClass)	Merge.kif 5619-5619	The range of generalized intersection is an instance of set or class
(documentation GeneralizedIntersectionFn EnglishLanguage "A UnaryFunction that takes a SetOrClass of Classes as its single argument and returns a SetOrClass which is the intersection of all of the Classes in the original SetOrClass, i.e. the SetOrClass containing just those instances which are instances of all instances of the original SetOrClass.")	Merge.kif 5621-5625	The range of generalized intersection is an instance of set or class

appearance as argument number 2

(termFormat EnglishLanguage GeneralizedIntersectionFn "generalized intersection")	domainEnglishFormat.kif 25700-25700
(termFormat ChineseTraditionalLanguage GeneralizedIntersectionFn "一般化交叉口")	domainEnglishFormat.kif 25701-25701
(termFormat ChineseLanguage GeneralizedIntersectionFn "一般化交叉口")	domainEnglishFormat.kif 25702-25702
(format EnglishLanguage GeneralizedIntersectionFn "the intersection of all the elements of %1")	english_format.kif 509-509