TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2275-2275
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5222-5223
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 941-942
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5219-5219	Le nombre 1 argument de SquareRootFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5218-5218	SquareRootFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5220-5220	Le domaine de SquareRootFn est une instance de nombre r�el

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 730-730
No TPTP formula. May not be expressible in strict first order.	english_format.kif 732-732
No TPTP formula. May not be expressible in strict first order.	french_format.kif 438-438
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 268-268
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2155-2155
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 390-390
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 943-943
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 305-305
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 460-460
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 500-500
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54888-54888
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 731-731
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54887-54887
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54886-54886

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 5225-5227

consequent

No TPTP formula. May not be expressible in strict first order.

Weather.kif 1508-1513