| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2287-2292 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14120-14120 | Area Aquatica e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1378-1378 | SurfZone e' uma sub-classe de Area Aquatica |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 917-917 | Harbor e' uma sub-classe de Area Aquatica |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 921-921 | Anchorage e' uma sub-classe de Area Aquatica |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2937-2937 | ShipBerth e' uma sub-classe de Area Aquatica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9032-9032 | Area aquatica em movimento e' uma sub-classe de Area Aquatica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9039-9039 | Area aquatica parada e' uma sub-classe de Area Aquatica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14133-14133 | Area Aquatica salgada e' uma sub-classe de Area Aquatica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14138-14138 | Area Aquatica nao-salgada e' uma sub-classe de Area Aquatica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2028-2028 | HydropowerWaterArea e' uma sub-classe de Area Aquatica |
| 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 4932-4932 | WaterCurrent e' uma sub-classe de Area Aquatica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5341-5341 | InlandWaterSystem e' uma sub-classe de Area Aquatica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5484-5484 | StreamWaterConfluence e' uma sub-classe de Area Aquatica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5509-5509 | RiverSystem e' uma sub-classe de Area Aquatica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5577-5577 | Waterway e' uma sub-classe de Area Aquatica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5655-5655 | RiverMouth e' uma sub-classe de Area Aquatica |
|
|