TreeView Knowledge Base Browser - ElevationLowPointFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1939-1941
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1936-1936	The number 1 argument of elevation low point is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1935-1935	Elevation low point is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1937-1937	The range of elevation low 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 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 21819-21819
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21818-21818
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21817-21817

antecedent

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

Geography.kif 1943-1957

consequent

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

Geography.kif 1943-1957

statement

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

Geography.kif 4586-4588

-7235.0 Meter(s) is an elevation of the elevation low point of southern ocean