TreeView Knowledge Base Browser - seaSurfaceTemperature

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 974-978
No TPTP formula. May not be expressible in strict first order.	Weather.kif 971-971	O argumento numero 1 de seaSurfaceTemperature e' uma instancia de Area Aquatica
No TPTP formula. May not be expressible in strict first order.	Weather.kif 972-972	O argumento numero 2 de seaSurfaceTemperature e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order.	Weather.kif 970-970	seaSurfaceTemperature e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Weather.kif 969-969	seaSurfaceTemperature e' uma instancia de Predicado Binario

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