SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > BinaryFunction > IntersectionFn
Next BinaryFunctionKappaFn    UpBinaryFunction    Previous BinaryFunctionHourIntervalFn   

IntersectionFn 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 
IntersectionFnClassClassClassA BinaryFunction that maps two %Classes to the intersection of these Classes. An object is an instance of the intersection of two Classes just in case it is an instance of both of those Classes
(equal (RelativeComplementFn ?CLASS1 ?CLASS2)
(IntersectionFn ?CLASS1 (ComplementFn ?CLASS2)))
 BinaryFunction

Next BinaryFunctionKappaFn    UpBinaryFunction    Previous BinaryFunctionHourIntervalFn