No TPTP formula. May not be expressible in strict first order. | Geography.kif 4078-4078 | VolcanicMountain est une sous-classe de Mountain |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4079-4079 | VolcanicMountain est une sous-classe de Volcano |