TreeView Knowledge Base Browser - seaSurfaceTemperature

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 978-982
No TPTP formula. May not be expressible in strict first order.	Weather.kif 975-975	海面温度的 1 数量是水域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 976-976	海面温度的 2 数量是恒量的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 974-974	海面温度是非对称关系的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 973-973	海面温度是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2203-2203
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2202-2202
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2201-2201
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51729-51729
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51728-51728
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51727-51727