TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2241-2242
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4911-4912
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 905-906
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4908-4908	Le nombre 1 argument de ImaginaryPartFn est une instance de nombre complexe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4907-4907	ImaginaryPartFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4906-4906	ImaginaryPartFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4909-4909	Le domaine de ImaginaryPartFn est une instance de nombre imaginaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 702-702
No TPTP formula. May not be expressible in strict first order.	english_format.kif 704-704
No TPTP formula. May not be expressible in strict first order.	french_format.kif 424-424
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 136-136
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2141-2141
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 376-376
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 915-915
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 175-175
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 446-446
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 475-475
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 276-276
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29319-29319
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 703-703
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29318-29318
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29317-29317
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 277-277