TreeView Knowledge Base Browser - highestTemperatureForPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1001-1006
No TPTP formula. May not be expressible in strict first order.	Weather.kif 997-997	The number 1 argument of highest temperature for period is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 998-998	The number 2 argument of highest temperature for period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 999-999	The number 3 argument of highest temperature for period is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 996-996	highest temperature for period is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1185-1185
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1184-1184
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1183-1183
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28098-28098
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28097-28097
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28096-28096