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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Harbor

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 " Sitka_Harbor.jpg") pictureList.kif 1483-1483
(externalImage Harbor " Harbour.JPG") pictureList.kif 954-954
(subclass Harbor WaterArea) Transportation.kif 917-917 港口水域subclass
(subclass Harbor Waterway) Transportation.kif 1693-1693 港口水路subclass

appearance as argument number 2

(subclass DeepDraftHarbor Harbor) Transportation.kif 895-895 深海港口港口subclass
(termFormat ChineseLanguage Harbor "港口") domainEnglishFormat.kif 27393-27393
(termFormat ChineseTraditionalLanguage Harbor "港口") domainEnglishFormat.kif 27392-27392
(termFormat EnglishLanguage Harbor "harbor") domainEnglishFormat.kif 27391-27391


        (instance ?HARBOR Harbor)
        (equipmentCount ?HARBOR ShipBerth ?NUM)
        (greaterThan ?NUM 0))
    (capability ShipBerthing path ?HARBOR))
Transportation.kif 2949-2954


        (instance ?PORT PortFacility)
        (capability ShipBerthing patient ?PORT))
    (exists (?HARBOR)
            (instance ?HARBOR Harbor)
            (connected ?HARBOR ?PORT)
            (capability ShipBerthing path ?HARBOR))))
Transportation.kif 2956-2964
    (instance ?ANCHOR OffshoreAnchorage)
        (exists (?HARBOR)
                (instance ?HARBOR Harbor)
                (located ?ANCHOR ?HARBOR)))))
Transportation.kif 930-936

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