TreeView Knowledge Base Browser - ElevationHighPointFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1960-1962
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1957-1957	域海拔高點, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1956-1956	例海拔高點 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1958-1958	範圍海拔高點 and GeographicArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 895-895
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 894-894
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 893-893
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21816-21816
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21815-21815
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21814-21814

antecedent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 1964-1975

consequent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 1964-1975

statement

No TPTP formula. May not be expressible in strict first order.

Geography.kif 4683-4685