No TPTP formula. May not be expressible in strict first order. | Geography.kif 4078-4078 | Volcanic mountain is a subclass of mountain |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4079-4079 | Volcanic mountain is a subclass of volcano |