TreeView Knowledge Base Browser - RelativeComplementFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2297-2299
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5470-5473
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 966-968
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5466-5466	The number 1 argument of relative complement is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5467-5467	The number 2 argument of relative complement is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5464-5464	Relative complement is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5465-5465	Relative complement is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5468-5468	The range of relative complement is an instance of set or class

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 498-498
No TPTP formula. May not be expressible in strict first order.	english_format.kif 503-503
No TPTP formula. May not be expressible in strict first order.	french_format.kif 292-292
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 250-250
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2069-2069
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 244-244
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 647-647
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 288-288
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 313-313
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 320-320
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 442-442
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49334-49334
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 499-499
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49333-49333
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49332-49332