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	白天的总时数的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 862-862	白天的总时数的 3 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 861-861	白天的总时数的 2 数量是日的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 859-859	白天的总时数是三元谓语的 instance

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