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 ist eine teilkategorie von GeographicArea
(subclass SurfZone WaterArea) Weather.kif 1378-1378 SurfZone ist eine teilkategorie von WaterArea
(subclass Harbor WaterArea) Transportation.kif 917-917 Harbor ist eine teilkategorie von WaterArea
(subclass Anchorage WaterArea) Transportation.kif 921-921 Anchorage ist eine teilkategorie von WaterArea
(subclass ShipBerth WaterArea) Transportation.kif 2937-2937 ShipBerth ist eine teilkategorie von WaterArea
(subclass StreamWaterArea WaterArea) Mid-level-ontology.kif 9032-9032 StreamWaterArea ist eine teilkategorie von WaterArea
(subclass StaticWaterArea WaterArea) Mid-level-ontology.kif 9039-9039 StaticWaterArea ist eine teilkategorie von WaterArea
(subclass SaltWaterArea WaterArea) Merge.kif 14133-14133 SaltWaterArea ist eine teilkategorie von WaterArea
(subclass FreshWaterArea WaterArea) Merge.kif 14138-14138 FreshWaterArea ist eine teilkategorie von WaterArea
(subclass HydropowerWaterArea WaterArea) Geography.kif 2028-2028 HydropowerWaterArea ist eine teilkategorie von WaterArea
(subclass BodyOfWater WaterArea) Geography.kif 4491-4491 BodyOfWater ist eine teilkategorie von WaterArea
(subclass WaterCurrent WaterArea) Geography.kif 4932-4932 WaterCurrent ist eine teilkategorie von WaterArea
(subclass InlandWaterSystem WaterArea) Geography.kif 5341-5341 InlandWaterSystem ist eine teilkategorie von WaterArea
(subclass StreamWaterConfluence WaterArea) Geography.kif 5484-5484 StreamWaterConfluence ist eine teilkategorie von WaterArea
(subclass RiverSystem WaterArea) Geography.kif 5509-5509 RiverSystem ist eine teilkategorie von WaterArea
(subclass Waterway WaterArea) Geography.kif 5577-5577 Waterway ist eine teilkategorie von WaterArea
(subclass RiverMouth WaterArea) Geography.kif 5655-5655 RiverMouth ist eine teilkategorie von 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