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 6493-6501
(=>
    (and
        (subclass ?TYPE Translocation)
        (instance ?EVENT ?TYPE)
        (eventLocated ?EVENT ?REGION)
        (instance ?ROLE CaseRole)
        (instance ?OBJECT Object)
        (instance ?REGION GeographicArea)
        (capability ?TYPE ?ROLE ?OBJECT))
    (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 3223-3232
(=>
    (and
        (not
            (vegetationType ?REGION ?TYPE))
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (not
        (exists (?PLANT)
            (and
                (instance ?PLANT ?TYPE)
                (located ?PLANT ?REGION)))))
Geography.kif 6503-6511
(subclass GeographicArea Region) Merge.kif 14184-14184 地理的地域地域subclass では
(subclass ParkingLot GeographicArea) TransportDetail.kif 77-77 ParkingLot地理的地域subclass では
(subclass BusStop GeographicArea) Transportation.kif 2125-2125 BusStop地理的地域subclass では
(subclass IllicitDrugMoneyLaunderingArea GeographicArea) TransnationalIssues.kif 79-79 IllicitDrugMoneyLaunderingArea地理的地域subclass では
(subclass MilitaryFront GeographicArea) Mid-level-ontology.kif 10220-10220 MilitaryFront地理的地域subclass では
(subclass Marketplace GeographicArea) Mid-level-ontology.kif 24076-24076 Marketplace地理的地域subclass では
(subclass TouristSite GeographicArea) Mid-level-ontology.kif 24253-24253 TouristSite地理的地域subclass では
(subclass Neighborhood GeographicArea) Mid-level-ontology.kif 26319-26319 Neighborhood地理的地域subclass では
(subclass LocalizablePlace GeographicArea) Merge.kif 14193-14193 LocalizablePlace地理的地域subclass では
(subclass GeopoliticalArea GeographicArea) Merge.kif 14206-14206 地政学的地域地理的地域subclass では
(subclass WaterArea GeographicArea) Merge.kif 14273-14273 水域地理的地域subclass では
(subclass LandArea GeographicArea) Merge.kif 14306-14306 土地面積地理的地域subclass では
(subclass SurfaceGroundArea GeographicArea) Geography.kif 732-732 SurfaceGroundArea地理的地域subclass では
(subclass WaterOnlyArea GeographicArea) Geography.kif 757-757 WaterOnlyArea地理的地域subclass では
(subclass InternationalBorder GeographicArea) Geography.kif 893-893 InternationalBorder地理的地域subclass では
(subclass Checkpoint GeographicArea) Geography.kif 898-898 Checkpoint地理的地域subclass では
(subclass MaritimeClaimArea GeographicArea) Geography.kif 1185-1185 MaritimeClaimArea地理的地域subclass では
(subclass GeologicalFault GeographicArea) Geography.kif 2529-2529 GeologicalFault地理的地域subclass では
(subclass Ecosystem GeographicArea) Geography.kif 2816-2816 Ecosystem地理的地域subclass では
(subclass Hemisphere GeographicArea) Geography.kif 3620-3620 Hemisphere地理的地域subclass では
(subclass LandForm GeographicArea) Geography.kif 4215-4215 LandForm地理的地域subclass では
(subclass UndergroundArea GeographicArea) Geography.kif 4228-4228 UndergroundArea地理的地域subclass では
(subclass LakeRegion GeographicArea) Geography.kif 5702-5702 LakeRegion地理的地域subclass では
(subclass LittoralZone GeographicArea) Geography.kif 6071-6071 LittoralZone地理的地域subclass では
(subclass ArchipelagicArea GeographicArea) Geography.kif 6154-6154 ArchipelagicArea地理的地域subclass では
(subclass Cave GeographicArea) Geography.kif 6316-6316 Cave地理的地域subclass では
(subclass SubmergedLandArea GeographicArea) Geography.kif 6370-6370 SubmergedLandArea地理的地域subclass では


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