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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Harbor
Harbor

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


(documentation Harbor EnglishLanguage "Harbor is the subclass of WaterAreas that provide shelter and anchorage for WaterVehicle.") Transportation.kif 907-908
(externalImage Harbor "http://upload.wikimedia.org/wikipedia/commons/8/88/ Sitka_Harbor.jpg") pictureList.kif 1483-1483 externalImage Harbor and "http://upload.wikimedia.org/wikipedia/commons/8/88/ Sitka_Harbor.jpg"
(externalImage Harbor "http://upload.wikimedia.org/wikipedia/commons/8/8b/ Harbour.JPG") pictureList.kif 954-954 externalImage Harbor and "http://upload.wikimedia.org/wikipedia/commons/8/8b/ Harbour.JPG"
(subclass Harbor WaterArea) Transportation.kif 906-906 subclass Harbor and WaterArea
(subclass Harbor Waterway) Transportation.kif 1678-1678 subclass Harbor and Waterway

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


(subclass DeepDraftHarbor Harbor) Transportation.kif 884-884 subclass DeepDraftHarbor and Harbor
(termFormat ChineseLanguage Harbor "港口") domainEnglishFormat.kif 27331-27331 termFormat ChineseLanguage, Harbor and "港口"
(termFormat ChineseTraditionalLanguage Harbor "港口") domainEnglishFormat.kif 27330-27330 termFormat ChineseTraditionalLanguage, Harbor and "港口"
(termFormat EnglishLanguage Harbor "harbor") domainEnglishFormat.kif 27329-27329 termFormat EnglishLanguage, Harbor and "harbor"

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


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

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


(=>
    (and
        (instance ?PORT PortFacility)
        (capability ShipBerthing patient ?PORT))
    (exists (?HARBOR)
        (and
            (instance ?HARBOR Harbor)
            (connected ?HARBOR ?PORT)
            (capability ShipBerthing path ?HARBOR))))
Transportation.kif 2918-2926
(=>
    (instance ?ANCHOR OffshoreAnchorage)
    (not
        (exists (?HARBOR)
            (and
                (instance ?HARBOR Harbor)
                (located ?ANCHOR ?HARBOR)))))
Transportation.kif 919-925


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners