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 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
(subclass ParkingLot GeographicArea) TransportDetail.kif 73-73 停车场 是 地理区域 的 subclass
(subclass BusStop GeographicArea) Transportation.kif 1985-1985 巴士车站 是 地理区域 的 subclass
(subclass IllicitDrugMoneyLaunderingArea GeographicArea) TransnationalIssues.kif 79-79 非法毒品洗钱区 是 地理区域 的 subclass
(subclass MilitaryFront GeographicArea) Mid-level-ontology.kif 9014-9014 军事阵线 是 地理区域 的 subclass
(subclass Marketplace GeographicArea) Mid-level-ontology.kif 22435-22435 市场 是 地理区域 的 subclass
(subclass TouristSite GeographicArea) Mid-level-ontology.kif 22612-22612 旅游景点 是 地理区域 的 subclass
(subclass Neighborhood GeographicArea) Mid-level-ontology.kif 24657-24657 Neighborhood 是 地理区域 的 subclass
(subclass LocalizablePlace GeographicArea) Merge.kif 14040-14040 LocalizablePlace 是 地理区域 的 subclass
(subclass GeopoliticalArea GeographicArea) Merge.kif 14053-14053 地缘政治区域 是 地理区域 的 subclass
(subclass WaterArea GeographicArea) Merge.kif 14120-14120 水域 是 地理区域 的 subclass
(subclass LandArea GeographicArea) Merge.kif 14153-14153 土地面积 是 地理区域 的 subclass
(subclass SurfaceGroundArea GeographicArea) Geography.kif 562-562 地面面积 是 地理区域 的 subclass
(subclass WaterOnlyArea GeographicArea) Geography.kif 587-587 仅水区 是 地理区域 的 subclass
(subclass InternationalBorder GeographicArea) Geography.kif 728-728 国际边界 是 地理区域 的 subclass
(subclass Checkpoint GeographicArea) Geography.kif 733-733 检查站 是 地理区域 的 subclass
(subclass MaritimeClaimArea GeographicArea) Geography.kif 1021-1021 海事索赔区 是 地理区域 的 subclass
(subclass GeologicalFault GeographicArea) Geography.kif 2371-2371 地质断层 是 地理区域 的 subclass
(subclass Ecosystem GeographicArea) Geography.kif 2658-2658 生态系统 是 地理区域 的 subclass
(subclass Hemisphere GeographicArea) Geography.kif 3462-3462 半球 是 地理区域 的 subclass
(subclass LandForm GeographicArea) Geography.kif 3975-3975 土地形式 是 地理区域 的 subclass
(subclass UndergroundArea GeographicArea) Geography.kif 3988-3988 地下区域 是 地理区域 的 subclass
(subclass LakeRegion GeographicArea) Geography.kif 5399-5399 湖区 是 地理区域 的 subclass
(subclass LittoralZone GeographicArea) Geography.kif 5768-5768 沿岸带 是 地理区域 的 subclass
(subclass ArchipelagicArea GeographicArea) Geography.kif 5851-5851 群岛地区 是 地理区域 的 subclass
(subclass Cave GeographicArea) Geography.kif 6013-6013 洞穴 是 地理区域 的 subclass
(subclass SubmergedLandArea GeographicArea) Geography.kif 6067-6067 淹没的土地面积 是 地理区域 的 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