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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShipBerthing

Sigma KEE - ShipBerthing
ShipBerthing

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


(documentation ShipBerthing EnglishLanguage "ShipBerthing is the class of Translocation processes in which a vessel is brought to a mooring, at dockside or anchorage.") Transportation.kif 2963-2965
(externalImage ShipBerthing "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Mooring2HPoleFixed.jpg") pictureList.kif 9672-9672 externalImage ShipBerthing and "http://upload.wikimedia.org/wikipedia/commons/0/06/ Mooring2HPoleFixed.jpg"
(externalImage ShipBerthing "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ USS_Orion_%28AS-18%29.jpg") pictureList.kif 9673-9673 externalImage ShipBerthing and "http://upload.wikimedia.org/wikipedia/commons/1/15/ USS_Orion_%28AS-18%29.jpg"
(externalImage ShipBerthing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Mooring.jpg") pictureList.kif 8711-8711 externalImage ShipBerthing and "http://upload.wikimedia.org/wikipedia/commons/3/3f/ Mooring.jpg"
(externalImage ShipBerthing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Fougeuse-02.jpg") pictureList.kif 9671-9671 externalImage ShipBerthing and "http://upload.wikimedia.org/wikipedia/commons/6/64/ Fougeuse-02.jpg"
(subclass ShipBerthing Translocation) Transportation.kif 2961-2961 ShipBerthingTranslocationsubclass

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


(rangeSubclass ShipBerthingFn ShipBerthing) Transportation.kif 2969-2969 ShipBerthingFn 的所得值 是 ShipBerthingsubclass
(termFormat EnglishLanguage ShipBerthing "ship berthing") domainEnglishFormat.kif 9193-9193 termFormat EnglishLanguage, ShipBerthing and "ship berthing"

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


(=>
    (and
        (instance ?PORT PortFacility)
        (capability ShipBerthing patient ?PORT))
    (exists (?HARBOR)
        (and
            (instance ?HARBOR Harbor)
            (connected ?HARBOR ?PORT)
            (capability ShipBerthing path ?HARBOR))))
Transportation.kif 2893-2901

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


(=>
    (and
        (instance ?HARBOR Harbor)
        (equipmentCount ?HARBOR ShipBerth ?NUM)
        (greaterThan ?NUM 0))
    (capability ShipBerthing path ?HARBOR))
Transportation.kif 2886-2891
(=>
    (and
        (instance ?PORT PortFacility)
        (capability ShipBerthing patient ?PORT))
    (exists (?HARBOR)
        (and
            (instance ?HARBOR Harbor)
            (connected ?HARBOR ?PORT)
            (capability ShipBerthing path ?HARBOR))))
Transportation.kif 2893-2901


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