TreeView Knowledge Base Browser - seaSurfaceTemperature

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 962-966
No TPTP formula. May not be expressible in strict first order.	Weather.kif 959-959	域海面溫度, 1 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Weather.kif 960-960	域海面溫度, 2 and ConstantQuantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 958-958	例海面溫度 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Weather.kif 957-957	例海面溫度 and BinaryPredicate

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 51731-51731
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51730-51730
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51729-51729