(=> (and (vegetationType ?REGION ?TYPE) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION)))) |
Geography.kif 6191-6199 | |
(=> (and (subclass ?TYPE Process) (instance ?EVENT ?TYPE) (eventLocated ?EVENT ?REGION) (instance ?ROLE CaseRole) (instance ?OBJECT Object) (instance ?REGION GeographicArea) (?ROLE ?EVENT ?OBJECT)) (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION)) |
Transportation.kif 2692-2701 | |
(=> (and (not (vegetationType ?REGION ?TYPE)) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (not (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION))))) |
Geography.kif 6201-6209 | |
(subclass GeographicArea Region) | Merge.kif 14031-14031 | |
(subclass ParkingLot GeographicArea) | TransportDetail.kif 73-73 | |
(subclass BusStop GeographicArea) | Transportation.kif 1985-1985 | |
(subclass IllicitDrugMoneyLaunderingArea GeographicArea) | TransnationalIssues.kif 79-79 | |
(subclass MilitaryFront GeographicArea) | Mid-level-ontology.kif 9014-9014 | |
(subclass Marketplace GeographicArea) | Mid-level-ontology.kif 22435-22435 | |
(subclass TouristSite GeographicArea) | Mid-level-ontology.kif 22612-22612 | |
(subclass Neighborhood GeographicArea) | Mid-level-ontology.kif 24657-24657 | |
(subclass LocalizablePlace GeographicArea) | Merge.kif 14040-14040 | |
(subclass GeopoliticalArea GeographicArea) | Merge.kif 14053-14053 | |
(subclass WaterArea GeographicArea) | Merge.kif 14120-14120 | |
(subclass LandArea GeographicArea) | Merge.kif 14153-14153 | |
(subclass SurfaceGroundArea GeographicArea) | Geography.kif 562-562 | |
(subclass WaterOnlyArea GeographicArea) | Geography.kif 587-587 | |
(subclass InternationalBorder GeographicArea) | Geography.kif 728-728 | |
(subclass Checkpoint GeographicArea) | Geography.kif 733-733 | |
(subclass MaritimeClaimArea GeographicArea) | Geography.kif 1021-1021 | |
(subclass GeologicalFault GeographicArea) | Geography.kif 2371-2371 | |
(subclass Ecosystem GeographicArea) | Geography.kif 2658-2658 | |
(subclass Hemisphere GeographicArea) | Geography.kif 3462-3462 | |
(subclass LandForm GeographicArea) | Geography.kif 3975-3975 | |
(subclass UndergroundArea GeographicArea) | Geography.kif 3988-3988 | |
(subclass LakeRegion GeographicArea) | Geography.kif 5399-5399 | |
(subclass LittoralZone GeographicArea) | Geography.kif 5768-5768 | |
(subclass ArchipelagicArea GeographicArea) | Geography.kif 5851-5851 | |
(subclass Cave GeographicArea) | Geography.kif 6013-6013 | |
(subclass SubmergedLandArea GeographicArea) | Geography.kif 6067-6067 |