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	The number 1 argument of elevation high point is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1956-1956	Elevation high point is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1958-1958	The range of elevation high point is an instance of geographic area

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