TreeView Knowledge Base Browser - daylightHoursTotal

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 860-863
No TPTP formula. May not be expressible in strict first order.	Weather.kif 856-856	Le nombre 1 argument de daylightHoursTotal est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 858-858	Le nombre 3 argument de daylightHoursTotal est une instance de dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 857-857	Le nombre 2 argument de daylightHoursTotal est une sous-classe de jour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 855-855	daylightHoursTotal est une instance de pr�dicat ternaire

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