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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (subclass ?TYPE WaterVehicle)
        (instance ?EVENT
            (TransportationFn ?TYPE))
        (eventLocated ?EVENT ?PLACE))
    (instance ?PLACE WaterArea))		 Transportation.kif 2287-2292
(subclass WaterArea GeographicArea) Merge.kif 14120-14120 水域 是 地理区域 的 subclass
(subclass SurfZone WaterArea) Weather.kif 1378-1378 碎波带 是 水域 的 subclass
(subclass Harbor WaterArea) Transportation.kif 917-917 港口 是 水域 的 subclass
(subclass Anchorage WaterArea) Transportation.kif 921-921 锚地 是 水域 的 subclass
(subclass ShipBerth WaterArea) Transportation.kif 2937-2937 船泊位 是 水域 的 subclass
(subclass StreamWaterArea WaterArea) Mid-level-ontology.kif 9032-9032 溪水区 是 水域 的 subclass
(subclass StaticWaterArea WaterArea) Mid-level-ontology.kif 9039-9039 静水区 是 水域 的 subclass
(subclass SaltWaterArea WaterArea) Merge.kif 14133-14133 盐水区 是 水域 的 subclass
(subclass FreshWaterArea WaterArea) Merge.kif 14138-14138 淡水区 是 水域 的 subclass
(subclass HydropowerWaterArea WaterArea) Geography.kif 2028-2028 水电水域 是 水域 的 subclass
(subclass BodyOfWater WaterArea) Geography.kif 4491-4491 水体 是 水域 的 subclass
(subclass WaterCurrent WaterArea) Geography.kif 4932-4932 水流 是 水域 的 subclass
(subclass InlandWaterSystem WaterArea) Geography.kif 5341-5341 内陆水系统 是 水域 的 subclass
(subclass StreamWaterConfluence WaterArea) Geography.kif 5484-5484 流水汇流 是 水域 的 subclass
(subclass RiverSystem WaterArea) Geography.kif 5509-5509 河流系统 是 水域 的 subclass
(subclass Waterway WaterArea) Geography.kif 5577-5577 水路 是 水域 的 subclass
(subclass RiverMouth WaterArea) Geography.kif 5655-5655 河口 是 水域 的 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