| No TPTP formula. May not be expressible in strict first order. | Food.kif 1928-1937 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4491-4491 | BodyOfWater e' uma sub-classe de Area Aquatica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4492-4492 | BodyOfWater e' uma sub-classe de Objeto auto-conectado |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4513-4513 | Ocean e' uma sub-classe de BodyOfWater |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4758-4758 | Sea e' uma sub-classe de BodyOfWater |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5078-5078 | LandlockedWater e' uma sub-classe de BodyOfWater |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5122-5122 | Gulf e' uma sub-classe de BodyOfWater |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5179-5179 | Estuary e' uma sub-classe de BodyOfWater |
| 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 5278-5278 | Sound e' uma sub-classe de BodyOfWater |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5292-5292 | Strait e' uma sub-classe de BodyOfWater |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5316-5316 | Channel e' uma sub-classe de BodyOfWater |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5474-5474 | River e' uma sub-classe de BodyOfWater |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5672-5672 | Creek e' uma sub-classe de BodyOfWater |
|
|