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	O argumento numero 1 de ElevationHighPointFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1956-1956	ElevationHighPointFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1958-1958	O contra-dominio de ElevationHighPointFn e' uma instancia de Area Geografica

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