TreeView Knowledge Base Browser - totalPrecipitationForPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1228-1231
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1225-1225	期间总降水量的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1226-1226	期间总降水量的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1227-1227	期间总降水量的 3 数量是恒量的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1224-1224	期间总降水量是三元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2523-2523
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2522-2522
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2521-2521
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58610-58610
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58609-58609
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58608-58608