No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1690-1690 | Channel is a subclass of waterway |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5316-5316 | Channel is a subclass of body of water |