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	Le nombre 1 argument de seaSurfaceTemperature est une instance de plan d'eau
No TPTP formula. May not be expressible in strict first order.	Weather.kif 972-972	Le nombre 2 argument de seaSurfaceTemperature est une instance de quantit� constante
No TPTP formula. May not be expressible in strict first order.	Weather.kif 970-970	seaSurfaceTemperature est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 969-969	seaSurfaceTemperature 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 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