GeneralizedIntersectionFn Comparison Table

Next UnaryFunction: GeneralizedUnionFn Up: UnaryFunction Previous UnaryFunction: FutureFn

GeneralizedIntersectionFn comparison table

Subject have domain1 have range documentation have axiom is a kind of is an instance of

UnaryFunction The Class of Functions that require a single argument
(=>
(instance ?FUNCTION UnaryFunction)
(valence ?FUNCTION 1))
Function

GeneralizedIntersectionFn Class Class A UnaryFunction that takes a Class of Classes as its single argument and returns a Class which is the intersection of all of the Classes in the original Class, i.e. the Class containing just those instances which are instances of all instances of the original Class
(=>
(instance ?CLASS MutuallyDisjointClass)
(equal (GeneralizedIntersectionFn ?CLASS) NullSet))
UnaryFunction

Subject	have domain1	have range	documentation	have axiom	is a kind of	is an instance of
UnaryFunction			The Class of Functions that require a single argument	(=> (instance ?FUNCTION UnaryFunction) (valence ?FUNCTION 1))	Function
GeneralizedIntersectionFn	Class	Class	A UnaryFunction that takes a Class of Classes as its single argument and returns a Class which is the intersection of all of the Classes in the original Class, i.e. the Class containing just those instances which are instances of all instances of the original Class	(=> (instance ?CLASS MutuallyDisjointClass) (equal (GeneralizedIntersectionFn ?CLASS) NullSet))		UnaryFunction

Next UnaryFunction: GeneralizedUnionFn Up: UnaryFunction Previous UnaryFunction: FutureFn