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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Harbor

Sigma KEE - Harbor
Harbor(harbor)
marina

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


(documentation Harbor EnglishLanguage "Harbor is the subclass of WaterAreas that provide shelter and anchorage for WaterVehicle.") Transportation.kif 918-919
(externalImage Harbor "http://upload.wikimedia.org/wikipedia/commons/8/88/ Sitka_Harbor.jpg") pictureList.kif 1482-1482
(externalImage Harbor "http://upload.wikimedia.org/wikipedia/commons/8/8b/ Harbour.JPG") pictureList.kif 953-953
(subclass Harbor WaterArea) Transportation.kif 917-917 Harbor is a subclass of water area
(subclass Harbor Waterway) Transportation.kif 1693-1693 Harbor is a subclass of waterway

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


(subclass DeepDraftHarbor Harbor) Transportation.kif 895-895 Deep draft harbor is a subclass of harbor
(termFormat ChineseLanguage Harbor "港口") domainEnglishFormat.kif 27402-27402
(termFormat ChineseTraditionalLanguage Harbor "港口") domainEnglishFormat.kif 27401-27401
(termFormat EnglishLanguage Harbor "harbor") domainEnglishFormat.kif 27400-27400

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


(=>
    (and
        (instance ?HARBOR Harbor)
        (equipmentCount ?HARBOR ShipBerth ?NUM)
        (greaterThan ?NUM 0))
    (capability ShipBerthing path ?HARBOR))
Transportation.kif 2942-2947

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


(=>
    (and
        (instance ?PORT PortFacility)
        (capability ShipBerthing patient ?PORT))
    (exists (?HARBOR)
        (and
            (instance ?HARBOR Harbor)
            (connected ?HARBOR ?PORT)
            (capability ShipBerthing path ?HARBOR))))
Transportation.kif 2949-2957
(=>
    (instance ?ANCHOR OffshoreAnchorage)
    (not
        (exists (?HARBOR)
            (and
                (instance ?HARBOR Harbor)
                (located ?ANCHOR ?HARBOR)))))
Transportation.kif 930-936


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

Show without tree


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