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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShipBerth
ShipBerth(ship berth)
Charlestown_Navy_Yard

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


s__documentation(s__ShipBerth,s__EnglishLanguage,'"ShipBerth is the class of areas where a Ship may be moored, whether at an Anchorage or dock."')

Transportation.kif 2946-2947
s__externalImage(s__ShipBerth,'"http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ USS_Orion_%28AS-18%29.jpg"')

pictureList.kif 9660-9660
s__externalImage(s__ShipBerth,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ MV_Blue_Marlin_carrying_USS_Cole.jpg"')

pictureList.kif 8706-8706
s__subclass(s__ShipBerth,s__WaterArea)

s__instance(s__ShipBerth,s__Class)

s__instance(s__WaterArea,s__Class)

Transportation.kif 2944-2944 Ship berth is a subclass of water area

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


s__termFormat(s__ChineseLanguage,s__ShipBerth,'"船泊位"')

domainEnglishFormat.kif 52594-52594
s__termFormat(s__ChineseTraditionalLanguage,s__ShipBerth,'"船泊位"')

domainEnglishFormat.kif 52593-52593
s__termFormat(s__EnglishLanguage,s__ShipBerth,'"ship berth"')

domainEnglishFormat.kif 52592-52592

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


( ! [V__HARBOR,V__NUM] :
   ((s__instance(V__NUM,s__Quantity) =>
       (((s__instance(V__HARBOR,s__Harbor) &
             s__equipmentCount(V__HARBOR,s__ShipBerth,V__NUM)
           &
           s__greaterThan(V__NUM,n__0))
       =>
       (s__capability(s__ShipBerthing,s__path__m,V__HARBOR)))))
)
)

Transportation.kif 2949-2954


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