TreeView Knowledge Base Browser - ContinuousFunction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2010-2011
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3474-3476
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 649-650
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3472-3472	Continuous function is a subclass of function

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 925-925
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1057-1057
No TPTP formula. May not be expressible in strict first order.	french_format.kif 601-601
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 131-131
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 134-134
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2286-2286
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 553-553
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 136-136
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 168-168
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 622-622
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 135-135