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