TreeView Knowledge Base Browser - overcastDaysInPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 940-943
No TPTP formula. May not be expressible in strict first order.	Weather.kif 936-936	域期間陰天, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Weather.kif 937-937	域期間陰天, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 938-938	域期間陰天, 3 and NonnegativeRealNumber
No TPTP formula. May not be expressible in strict first order.	Weather.kif 935-935	例期間陰天 and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1887-1887
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1886-1886
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1885-1885
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43736-43736
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43735-43735
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43734-43734