No TPTP formula. May not be expressible in strict first order. | Geography.kif 5122-5122 | Gulf est une sous-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5123-5123 | Gulf est une sous-classe de plan d'eau sal� |