| ShipsHull(ships hull) |
| appearance as argument number 1 |
|
|
| (documentation ShipsHull EnglishLanguage "The exterior portion of a WaterVehicle that is water tight and designed to be in contact with the water.") | Transportation.kif 2705-2706 | |
| (subclass ShipsHull Artifact) | Transportation.kif 2704-2704 | Ships hull is a subclass of artifact |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ShipsHull "ships hull") | domainEnglishFormat.kif 65480-65480 |
|
|