TreeView Knowledge Base Browser - averagePrecipitationForPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1207-1210
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1204-1204	期间平均降水量的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1205-1205	期间平均降水量的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1206-1206	期间平均降水量的 3 数量是恒量的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1203-1203	期间平均降水量是三元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 232-232
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 231-231
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 230-230
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9348-9348
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9347-9347
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9346-9346