TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1465-1465
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1463-1464
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1466-1466	The number 1 argument of variance function is an instance of list
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1467-1467	Variance function is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1469-1469	The range of variance function is an instance of number

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1468-1468
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27851-27851
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27850-27850

antecedent

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

Weather.kif 1471-1480

consequent

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

Weather.kif 1504-1509