| 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 14053-14053 | Secteur g�ographique est une sous-classe de r�gion |
| No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 73-73 | ParkingLot est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1985-1985 | BusStop est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 79-79 | IllicitDrugMoneyLaunderingArea est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9013-9013 | MilitaryFront est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22434-22434 | Marketplace est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22611-22611 | TouristSite est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24656-24656 | Neighborhood est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14062-14062 | LocalizablePlace est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14075-14075 | Secteur g�opolitique est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14142-14142 | Plan d'eau est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14175-14175 | Zone de terre est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 562-562 | SurfaceGroundArea est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 587-587 | WaterOnlyArea est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 728-728 | InternationalBorder est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 733-733 | Checkpoint est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1021-1021 | MaritimeClaimArea est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2371-2371 | GeologicalFault est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2658-2658 | Ecosystem est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3462-3462 | Hemisphere est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3975-3975 | LandForm est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3988-3988 | UndergroundArea est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5399-5399 | LakeRegion est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5768-5768 | LittoralZone est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5851-5851 | ArchipelagicArea est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6013-6013 | Cave est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6067-6067 | SubmergedLandArea est une sous-classe de secteur g�ographique |
|
|