RelativeComplementFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance RelativeComplementFn BinaryFunction)	Merge.kif 5584-5584	Relative complement is an instance of binary function
(instance RelativeComplementFn TotalValuedRelation)	Merge.kif 5585-5585	Relative complement is an instance of total valued relation
(domain RelativeComplementFn 1 SetOrClass)	Merge.kif 5586-5586	The number 1 argument of relative complement is an instance of set or class
(domain RelativeComplementFn 2 SetOrClass)	Merge.kif 5587-5587	The number 2 argument of relative complement is an instance of set or class
(range RelativeComplementFn SetOrClass)	Merge.kif 5588-5588	The range of relative complement is an instance of set or class
(documentation RelativeComplementFn EnglishLanguage "A BinaryFunction that maps two SetOrClasses to the difference between these SetOrClasses. More precisely, (RelativeComplementFn ?CLASS1 ?CLASS2) denotes the instances of ?CLASS1 that are not also instances of ?CLASS2.")	Merge.kif 5590-5593	The range of relative complement is an instance of set or class

appearance as argument number 2

(termFormat EnglishLanguage RelativeComplementFn "relative complement")	domainEnglishFormat.kif 49329-49329
(termFormat ChineseTraditionalLanguage RelativeComplementFn "相對補充")	domainEnglishFormat.kif 49330-49330
(termFormat ChineseLanguage RelativeComplementFn "相对补充")	domainEnglishFormat.kif 49331-49331
(format EnglishLanguage RelativeComplementFn "the difference between %1 and %2")	english_format.kif 503-503