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	O argumento numero 1 de VarianceFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1471-1471	VarianceFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1473-1473	O contra-dominio de VarianceFn e' uma instancia de Numero

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