No TPTP formula. May not be expressible in strict first order. | Geography.kif 4057-4057 | Volcano is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4079-4079 | Volcanic mountain is a subclass of volcano |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4086-4086 | Volcanic cone is a subclass of volcano |