TreeView Knowledge Base Browser - averageRainfallForPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1301-1304
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1305-1305	期间平均降雨量的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1306-1306	期间平均降雨量的 2 数量是月的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1307-1307	期间平均降雨量的 3 数量是长度测量的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1300-1300	期间平均降雨量是三元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 236-236
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 235-235
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 234-234
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9354-9354
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9353-9353
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9352-9352

antecedent

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

Geography.kif 1316-1323

consequent

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

Geography.kif 1325-1332