No TPTP formula. May not be expressible in strict first order. | Geography.kif 5655-5655 | River mouth is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5656-5656 | River mouth is a subclass of stream water area |