TreeView Knowledge Base Browser - totalPrecipitationForPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1232-1235
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1229-1229	期间总降水量的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1230-1230	期间总降水量的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1231-1231	期间总降水量的 3 数量是恒量的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1228-1228	期间总降水量是三元谓语的 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