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	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 960-960	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 958-958	seaSurfaceTemperature est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 957-957	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 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