TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2259-2260
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5057-5058
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 923-924
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5054-5054	Le nombre 1 argument de RationalNumberFn est une instance de nombre
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5053-5053	RationalNumberFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5055-5055	Le domaine de RationalNumberFn est une instance de nombre rationnel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 716-716
No TPTP formula. May not be expressible in strict first order.	english_format.kif 718-718
No TPTP formula. May not be expressible in strict first order.	french_format.kif 431-431
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 241-241
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2148-2148
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 383-383
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 929-929
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 279-279
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 453-453
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 488-488
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48800-48800
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 717-717
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48799-48799
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48798-48798