TreeView Knowledge Base Browser - precipitationAmount

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1214-1217
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1212-1212	降水量的 1 数量是沉淀的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1213-1213	降水量的 2 数量是恒量的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1211-1211	降水量是非对称关系的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1210-1210	降水量是二元谓语的 instance

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