| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6191-6199 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2692-2701 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6201-6209 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14031-14031 | Area Geografica e' uma sub-classe de Regiao |
| No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 73-73 | ParkingLot e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1985-1985 | BusStop e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 79-79 | IllicitDrugMoneyLaunderingArea e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9014-9014 | MilitaryFront e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22435-22435 | Marketplace e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22612-22612 | TouristSite e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24657-24657 | Neighborhood e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14040-14040 | LocalizablePlace e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14053-14053 | Area Geopolitica e' uma sub-classe de Area Geografica |
| 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. | Merge.kif 14153-14153 | Area terrestre e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 562-562 | SurfaceGroundArea e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 587-587 | WaterOnlyArea e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 728-728 | InternationalBorder e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 733-733 | Checkpoint e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1021-1021 | MaritimeClaimArea e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2371-2371 | GeologicalFault e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2658-2658 | Ecosystem e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3462-3462 | Hemisphere e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3975-3975 | LandForm e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3988-3988 | UndergroundArea e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5399-5399 | LakeRegion e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5768-5768 | LittoralZone e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5851-5851 | ArchipelagicArea e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6013-6013 | Cave e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6067-6067 | SubmergedLandArea e' uma sub-classe de Area Geografica |
|
|