TreeView Knowledge Base Browser - daylightHoursTotal

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 864-867
No TPTP formula. May not be expressible in strict first order.	Weather.kif 860-860	O argumento numero 1 de daylightHoursTotal e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Weather.kif 862-862	O argumento numero 3 de daylightHoursTotal e' uma instancia de Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 861-861	O argumento numero 2 de daylightHoursTotal e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order.	Weather.kif 859-859	daylightHoursTotal e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 672-672
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 671-671
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 670-670
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18672-18672
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18671-18671
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18670-18670