TreeView Knowledge Base Browser - precipitationAmount

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1198-1201
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1196-1196	Le nombre 1 argument de precipitationAmount est une instance de Precipitation
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1197-1197	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 1195-1195	precipitationAmount est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1194-1194	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 47116-47116
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47115-47115
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47114-47114