TreeView Knowledge Base Browser

appearance as argument number 1

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

consequent

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

Weather.kif 1508-1513