TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2194-2194
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2192-2193
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2195-2195	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 2196-2196	Variance function is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2198-2198	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 2197-2197
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27862-27862
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27861-27861

antecedent

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

Weather.kif 2200-2209

consequent

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

Weather.kif 2233-2238