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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?WATER Waterway))
Transportation.kif 1683-1688
(subclass Waterway Transitway) Geography.kif 5576-5576 Waterway ist eine teilkategorie von Transitway
(subclass Waterway WaterArea) Geography.kif 5577-5577 Waterway ist eine teilkategorie von WaterArea
(subclass ShippingLane Waterway) Transportation.kif 1678-1678 ShippingLane ist eine teilkategorie von Waterway
(subclass ShippingChannel Waterway) Transportation.kif 1679-1679 ShippingChannel ist eine teilkategorie von Waterway
(subclass SeaLane Waterway) Transportation.kif 1680-1680 SeaLane ist eine teilkategorie von Waterway
(subclass Channel Waterway) Transportation.kif 1690-1690 Channel ist eine teilkategorie von Waterway
(subclass CanalLock Waterway) Transportation.kif 1691-1691 CanalLock ist eine teilkategorie von Waterway
(subclass Harbor Waterway) Transportation.kif 1693-1693 Harbor ist eine teilkategorie von Waterway
(subclass WaterJunction Waterway) Transportation.kif 2983-2983 WaterJunction ist eine teilkategorie von Waterway
(subclass Canal Waterway) Geography.kif 5593-5593 Canal ist eine teilkategorie von Waterway


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