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	Le nombre 1 argument de VarianceFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1467-1467	VarianceFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1469-1469	Le domaine de VarianceFn est une instance de nombre

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