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	The number 1 argument of square root is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5218-5218	Square root is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5220-5220	The range of square root is an instance of real number

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