GeneralizedUnionFn Comparison Table

Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > GeneralizedUnionFn

Next UnaryFunction: IdentityFn Up: UnaryFunction Previous UnaryFunction: GeneralizedIntersectionFn

GeneralizedUnionFn 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

GeneralizedUnionFn Class Class A UnaryFunction that takes a Class of Classes as its single argument and returns a Class which is the merge of all of the Classes in the original Class, i.e. the Class containing just those instances which are instances of an instance of the original Class
(<=>
(instance ?ENTITY (GeneralizedUnionFn ?SUPERCLASS))
(exists (?CLASS)
(and
(instance ?CLASS ?SUPERCLASS)
(instance ?ENTITY ?CLASS))))
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
GeneralizedUnionFn	Class	Class	A UnaryFunction that takes a Class of Classes as its single argument and returns a Class which is the merge of all of the Classes in the original Class, i.e. the Class containing just those instances which are instances of an instance of the original Class	(<=> (instance ?ENTITY (GeneralizedUnionFn ?SUPERCLASS)) (exists (?CLASS) (and (instance ?CLASS ?SUPERCLASS) (instance ?ENTITY ?CLASS))))		UnaryFunction

Next UnaryFunction: IdentityFn Up: UnaryFunction Previous UnaryFunction: GeneralizedIntersectionFn