RelativeComplementFn Comparison Table

Next BinaryFunction: RemainderFn Up: BinaryFunction Previous BinaryFunction: MonthFn

RelativeComplementFn 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

RelativeComplementFn Class Class Class A BinaryFunction that maps two Classes to the difference between these Classes. More precisely, the relative complement of one class C1 relative to another C2 consists of the instances of C1 that are instances of the ComplementFn of C2
(equal (RelativeComplementFn ?CLASS1 ?CLASS2)
(IntersectionFn ?CLASS1 (ComplementFn ?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
RelativeComplementFn	Class	Class	Class	A BinaryFunction that maps two Classes to the difference between these Classes. More precisely, the relative complement of one class C1 relative to another C2 consists of the instances of C1 that are instances of the ComplementFn of C2	(equal (RelativeComplementFn ?CLASS1 ?CLASS2) (IntersectionFn ?CLASS1 (ComplementFn ?CLASS2)))		BinaryFunction

Next BinaryFunction: RemainderFn Up: BinaryFunction Previous BinaryFunction: MonthFn