TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2817-2818
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2814-2816
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2821-2821	降雨强度的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2822-2822	降雨强度的 2 数量是时距的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2823-2823	降雨强度的 3 数量是函数量的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2824-2824	降雨强度是三元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4322-4322
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4321-4321
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4320-4320
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2820-2820
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2819-2819

antecedent

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

Weather.kif 2826-2851

consequent

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

Weather.kif 1105-1119