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 子類 WaterArea and GeographicArea
(subclass SurfZone WaterArea) Weather.kif 1378-1378 子類 SurfZone and WaterArea
(subclass Harbor WaterArea) Transportation.kif 917-917 子類 港口 and WaterArea
(subclass Anchorage WaterArea) Transportation.kif 921-921 子類 錨地 and WaterArea
(subclass ShipBerth WaterArea) Transportation.kif 2937-2937 子類 船泊位 and WaterArea
(subclass StreamWaterArea WaterArea) Mid-level-ontology.kif 9032-9032 子類 StreamWaterArea and WaterArea
(subclass StaticWaterArea WaterArea) Mid-level-ontology.kif 9039-9039 子類 StaticWaterArea and WaterArea
(subclass SaltWaterArea WaterArea) Merge.kif 14133-14133 子類 SaltWaterArea and WaterArea
(subclass FreshWaterArea WaterArea) Merge.kif 14138-14138 子類 FreshWaterArea and WaterArea
(subclass HydropowerWaterArea WaterArea) Geography.kif 2028-2028 子類 水電水域 and WaterArea
(subclass BodyOfWater WaterArea) Geography.kif 4491-4491 子類 水體 and WaterArea
(subclass WaterCurrent WaterArea) Geography.kif 4932-4932 子類 水流 and WaterArea
(subclass InlandWaterSystem WaterArea) Geography.kif 5341-5341 子類 內陸水系統 and WaterArea
(subclass StreamWaterConfluence WaterArea) Geography.kif 5484-5484 子類 流水匯流 and WaterArea
(subclass RiverSystem WaterArea) Geography.kif 5509-5509 子類 河流系統 and WaterArea
(subclass Waterway WaterArea) Geography.kif 5577-5577 子類 水路 and WaterArea
(subclass RiverMouth WaterArea) Geography.kif 5655-5655 子類 河口 and WaterArea


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