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 è una sottoclasse di Transitway
(subclass Waterway WaterArea) Geography.kif 5577-5577 Waterway è una sottoclasse di SuperficieAcquatica
(subclass ShippingLane Waterway) Transportation.kif 1678-1678 ShippingLane è una sottoclasse di Waterway
(subclass ShippingChannel Waterway) Transportation.kif 1679-1679 ShippingChannel è una sottoclasse di Waterway
(subclass SeaLane Waterway) Transportation.kif 1680-1680 SeaLane è una sottoclasse di Waterway
(subclass Channel Waterway) Transportation.kif 1690-1690 Channel è una sottoclasse di Waterway
(subclass CanalLock Waterway) Transportation.kif 1691-1691 CanalLock è una sottoclasse di Waterway
(subclass Harbor Waterway) Transportation.kif 1693-1693 Harbor è una sottoclasse di Waterway
(subclass WaterJunction Waterway) Transportation.kif 3164-3164 WaterJunction è una sottoclasse di Waterway
(subclass Canal Waterway) Geography.kif 5593-5593 Canal è una sottoclasse di 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