UnionFn Comparison Table

Next BinaryFunction: WhereFn Up: BinaryFunction Previous BinaryFunction: SecondFn

UnionFn comparison table

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

BinaryFunction The Class of Functions that require two arguments
(=>
(instance ?FUNCTION BinaryFunction)
(valence ?FUNCTION 2))
TernaryRelation

UnionFn Class Class Class A BinaryFunction that maps two Classes to the union of these Classes. An object is an instance of the union of two Classes just in case it is an instance of either Class
(<=>
(instance ?ENTITY (UnionFn ?CLASS1 ?CLASS2))
(or
(instance ?ENTITY ?CLASS1)
(instance ?ENTITY ?CLASS2)))
BinaryFunction

Subject	have domain2	have domain1	have range	documentation	have axiom	is a kind of	is an instance of
BinaryFunction				The Class of Functions that require two arguments	(=> (instance ?FUNCTION BinaryFunction) (valence ?FUNCTION 2))	TernaryRelation
UnionFn	Class	Class	Class	A BinaryFunction that maps two Classes to the union of these Classes. An object is an instance of the union of two Classes just in case it is an instance of either Class	(<=> (instance ?ENTITY (UnionFn ?CLASS1 ?CLASS2)) (or (instance ?ENTITY ?CLASS1) (instance ?ENTITY ?CLASS2)))		BinaryFunction

Next BinaryFunction: WhereFn Up: BinaryFunction Previous BinaryFunction: SecondFn