SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > BinaryFunction > UnionFn
Next BinaryFunctionWhereFn    UpBinaryFunction    Previous BinaryFunctionSecondFn   

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))
UnionFnClassClassClassA 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))
(instance ?ENTITY ?CLASS1)
(instance ?ENTITY ?CLASS2)))

Next BinaryFunctionWhereFn    UpBinaryFunction    Previous BinaryFunctionSecondFn