No TPTP formula. May not be expressible in strict first order. | Geography.kif 4931-4931 | WaterCurrent est une sous-classe de FlowRegion |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4932-4932 | WaterCurrent est une sous-classe de plan d'eau |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5039-5039 | LittoralCurrent est une sous-classe de WaterCurrent |