TreeView Knowledge Base Browser - precipitationAmount

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1210-1213
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1208-1208	Le nombre 1 argument de precipitationAmount est une instance de Precipitation
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1209-1209	Le nombre 2 argument de precipitationAmount est une instance de quantit� constante
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1207-1207	precipitationAmount est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1206-1206	precipitationAmount est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2019-2019
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2018-2018
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2017-2017
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47114-47114
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47113-47113
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47112-47112