Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Waterway
Waterway

appearance as argument number 1
-------------------------


(documentation Waterway EnglishLanguage "Waterway is the class of navigable waters, including Oceans, SeaLanes, Rivers, Canals, Lakes, and inland bodies of water.") Geography.kif 5578-5580
(subclass Waterway Transitway) Geography.kif 5576-5576 Waterway e' uma sub-classe de Transitway
(subclass Waterway WaterArea) Geography.kif 5577-5577 Waterway e' uma sub-classe de Area Aquatica

appearance as argument number 2
-------------------------


(instance NorthernSeaRoute Waterway) Transportation.kif 1669-1669 NorthernSeaRoute e' uma instancia de Waterway
(instance NorthwestPassage Waterway) Transportation.kif 1660-1660 NorthwestPassage e' uma instancia de Waterway
(subclass Canal Waterway) Geography.kif 5593-5593 Canal e' uma sub-classe de Waterway
(subclass CanalLock Waterway) Transportation.kif 1691-1691 CanalLock e' uma sub-classe de Waterway
(subclass Channel Waterway) Transportation.kif 1690-1690 Channel e' uma sub-classe de Waterway
(subclass Harbor Waterway) Transportation.kif 1693-1693 Harbor e' uma sub-classe de Waterway
(subclass SeaLane Waterway) Transportation.kif 1680-1680 SeaLane e' uma sub-classe de Waterway
(subclass ShippingChannel Waterway) Transportation.kif 1679-1679 ShippingChannel e' uma sub-classe de Waterway
(subclass ShippingLane Waterway) Transportation.kif 1678-1678 ShippingLane e' uma sub-classe de Waterway
(subclass WaterJunction Waterway) Transportation.kif 2983-2983 WaterJunction e' uma sub-classe de Waterway
(termFormat ChineseLanguage Waterway "水路") domainEnglishFormat.kif 62517-62517
(termFormat ChineseTraditionalLanguage Waterway "水路") domainEnglishFormat.kif 62516-62516
(termFormat EnglishLanguage Waterway "waterway") domainEnglishFormat.kif 62515-62515

antecedent
-------------------------


(=>
    (and
        (instance ?WATERWAY Waterway)
        (depth ?OBJ ?WATERWAY
            (MeasureFn ?DEPTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (lessThan ?DRAFT ?DEPTH))
    (navigableForDraft ?WATERWAY
        (MeasureFn ?DRAFT ?UNIT)))		 Transportation.kif 2667-2673
(=>
    (instance ?P Waterway)
    (hasPurpose ?P
        (exists (?T)
            (and
                (instance ?T WaterTransportation)
                (path ?T ?P)))))		 Geography.kif 5582-5588

consequent
-------------------------


(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))		 Transportation.kif 656-663 totalLengthOfWaterways Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?WATER Waterway))		 Transportation.kif 1683-1688
(=>
    (and
        (totalLengthOfWaterways ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?WATERWAY)
        (and
            (instance ?WATERWAY Waterway)
            (located ?WATERWAY ?AREA))))		 Transportation.kif 665-673
(=>
    (instance ?PORT RiverPort)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (instance ?RIVER Waterway)
            (meetsSpatially ?PORT ?RIVER))))		 Transportation.kif 856-862


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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