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	Le nombre 1 argument de RelativeComplementFn est une instance de ensemble ou classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5467-5467	Le nombre 2 argument de RelativeComplementFn est une instance de ensemble ou classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5464-5464	RelativeComplementFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5465-5465	RelativeComplementFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5468-5468	Le domaine de RelativeComplementFn est une instance de ensemble ou classe

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