SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Function > BinaryFunction > IntersectionFn

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
IntersectionFn	Class	Class	Class	A 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 BinaryFunction: KappaFn    Up: BinaryFunction    Previous BinaryFunction: HourIntervalFn