No TPTP formula. May not be expressible in strict first order. | Geography.kif 4026-4026 | Mountain is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4027-4027 | Mountain is a subclass of upland area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4078-4078 | Volcanic mountain is a subclass of mountain |