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	Le nombre 1 argument de ElevationHighPointFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1956-1956	ElevationHighPointFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1958-1958	Le domaine de ElevationHighPointFn est une instance de secteur g�ographique

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