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