Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (vegetationType ?REGION ?TYPE)
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (exists (?PLANT)
        (and
            (instance ?PLANT ?TYPE)
            (located ?PLANT ?REGION))))
Geography.kif 6088-6096
(=>
    (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 2699-2708
(=>
    (and
        (not
            (vegetationType ?REGION ?TYPE))
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (not
        (exists (?PLANT)
            (and
                (instance ?PLANT ?TYPE)
                (located ?PLANT ?REGION)))))
Geography.kif 6098-6106
(subclass GeographicArea Region) Merge.kif 13778-13778 Geographic area is a subclass of region
(subclass ParkingLot GeographicArea) TransportDetail.kif 73-73 Parking lot is a subclass of geographic area
(subclass BusStop GeographicArea) Transportation.kif 1993-1993 Bus stop is a subclass of geographic area
(subclass IllicitDrugMoneyLaunderingArea GeographicArea) TransnationalIssues.kif 79-79 Illicit drug money laundering area is a subclass of geographic area
(subclass MilitaryFront GeographicArea) Mid-level-ontology.kif 8617-8617 Military front is a subclass of geographic area
(subclass Marketplace GeographicArea) Mid-level-ontology.kif 21911-21911 Marketplace is a subclass of geographic area
(subclass TouristSite GeographicArea) Mid-level-ontology.kif 22054-22054 Tourist site is a subclass of geographic area
(subclass Neighborhood GeographicArea) Mid-level-ontology.kif 24027-24027 Neighborhood is a subclass of geographic area
(subclass LocalizablePlace GeographicArea) Merge.kif 13787-13787 LocalizablePlace is a subclass of geographic area
(subclass GeopoliticalArea GeographicArea) Merge.kif 13800-13800 Geopolitical area is a subclass of geographic area
(subclass WaterArea GeographicArea) Merge.kif 13867-13867 Water area is a subclass of geographic area
(subclass LandArea GeographicArea) Merge.kif 13900-13900 Land area is a subclass of geographic area
(subclass SurfaceGroundArea GeographicArea) Geography.kif 569-569 Surface ground area is a subclass of geographic area
(subclass WaterOnlyArea GeographicArea) Geography.kif 594-594 Water only area is a subclass of geographic area
(subclass InternationalBorder GeographicArea) Geography.kif 735-735 International border is a subclass of geographic area
(subclass Checkpoint GeographicArea) Geography.kif 740-740 Checkpoint is a subclass of geographic area
(subclass MaritimeClaimArea GeographicArea) Geography.kif 1028-1028 Maritime claim area is a subclass of geographic area
(subclass GeologicalFault GeographicArea) Geography.kif 2374-2374 Geological fault is a subclass of geographic area
(subclass Ecosystem GeographicArea) Geography.kif 2661-2661 Ecosystem is a subclass of geographic area
(subclass Hemisphere GeographicArea) Geography.kif 3384-3384 Hemisphere is a subclass of geographic area
(subclass LandForm GeographicArea) Geography.kif 3897-3897 Land form is a subclass of geographic area
(subclass UndergroundArea GeographicArea) Geography.kif 3910-3910 Underground area is a subclass of geographic area
(subclass LakeRegion GeographicArea) Geography.kif 5297-5297 Lake region is a subclass of geographic area
(subclass LittoralZone GeographicArea) Geography.kif 5665-5665 Littoral zone is a subclass of geographic area
(subclass ArchipelagicArea GeographicArea) Geography.kif 5748-5748 Archipelagic area is a subclass of geographic area
(subclass Cave GeographicArea) Geography.kif 5910-5910 Cave is a subclass of geographic area
(subclass SubmergedLandArea GeographicArea) Geography.kif 5964-5964 Submerged land area is a subclass of geographic area


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners