| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5218-5218 | Inlet e' uma sub-classe de BodyOfWater |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5181-5181 | Estuary e' uma sub-classe de Inlet |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5253-5253 | InletPassage e' uma sub-classe de Inlet |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5259-5259 | Bay e' uma sub-classe de Inlet |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5265-5265 | Cove e' uma sub-classe de Inlet |
|
|