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	The number 1 argument of daylight hours total is an instance of region
No TPTP formula. May not be expressible in strict first order.	Weather.kif 858-858	The number 3 argument of daylight hours total is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Weather.kif 857-857	The number 2 argument of daylight hours total is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Weather.kif 855-855	daylight hours total is an instance of ternary predicate

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