TreeView Knowledge Base Browser - ElevationLowPointFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1936-1938
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1933-1933	O argumento numero 1 de ElevationLowPointFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1932-1932	ElevationLowPointFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1934-1934	O contra-dominio de ElevationLowPointFn e' uma instancia de Area Geografica

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 899-899
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 898-898
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 897-897
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21822-21822
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21821-21821
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21820-21820

antecedent

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

Geography.kif 1940-1954

consequent

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

Geography.kif 1940-1954

statement

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

Geography.kif 4687-4689