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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShipBerth
ShipBerth

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


(documentation ShipBerth EnglishLanguage "ShipBerth is the class of areas where a Ship may be moored, whether at an Anchorage or dock.") Transportation.kif 2939-2940
(externalImage ShipBerth "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ USS_Orion_%28AS-18%29.jpg") pictureList.kif 9652-9652
(externalImage ShipBerth "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ MV_Blue_Marlin_carrying_USS_Cole.jpg") pictureList.kif 8705-8705
(subclass ShipBerth WaterArea) Transportation.kif 2937-2937 ShipBerth e' uma sub-classe de Area Aquatica

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


(termFormat ChineseLanguage ShipBerth "船泊位") domainEnglishFormat.kif 52611-52611
(termFormat ChineseTraditionalLanguage ShipBerth "船泊位") domainEnglishFormat.kif 52610-52610
(termFormat EnglishLanguage ShipBerth "ship berth") domainEnglishFormat.kif 52609-52609

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


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


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