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