No TPTP formula. May not be expressible in strict first order. | Geography.kif 4931-4931 | Water current is a subclass of flow region |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4932-4932 | Water current is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5039-5039 | Littoral current is a subclass of water current |