TreeView Knowledge Base Browser - averagePrecipitationForPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1219-1222
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1216-1216	The number 1 argument of average precipitation for period is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1217-1217	The number 2 argument of average precipitation for period is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1218-1218	The number 3 argument of average precipitation for period is an instance of constant quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1215-1215	average precipitation for period is an instance of ternary predicate

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