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 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 est une sous-classe de plan d'eau
(subclass Harbor Waterway) Transportation.kif 1833-1833 Harbor est une sous-classe de Waterway

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


(subclass DeepDraftHarbor Harbor) Transportation.kif 895-895 DeepDraftHarbor est une sous-classe de Harbor
(termFormat ChineseLanguage Harbor "港口") domainEnglishFormat.kif 27413-27413 DeepDraftHarbor est une sous-classe de Harbor
(termFormat ChineseTraditionalLanguage Harbor "港口") domainEnglishFormat.kif 27412-27412 DeepDraftHarbor est une sous-classe de Harbor
(termFormat EnglishLanguage Harbor "harbor") domainEnglishFormat.kif 27411-27411 DeepDraftHarbor est une sous-classe de Harbor

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


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

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


(=>
    (and
        (instance ?PORT PortFacility)
        (capability ShipBerthing patient ?PORT))
    (exists (?HARBOR)
        (and
            (instance ?HARBOR Harbor)
            (connected ?HARBOR ?PORT)
            (capability ShipBerthing path ?HARBOR))))
Transportation.kif 3787-3795
(=>
    (instance ?ANCHOR OffshoreAnchorage)
    (not
        (exists (?HARBOR)
            (and
                (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