| ShipCrew(ship crew) | | air_crew, aircrew, bomber_aircrew, bomber_crew, company, crew, merchant_marine, ship's_company |
| appearance as argument number 1 |
|
|
| (documentation ShipCrew EnglishLanguage "A ShipCrew is an Organization of people who operate a Ship, Plane, Train, or other transportation vehicle.") | Transportation.kif 3318-3319 | |
| (subclass ShipCrew Organization) | Transportation.kif 3317-3317 | Ship crew is a subclass of organization |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ShipCrew "船员") | domainEnglishFormat.kif 52661-52661 | |
| (termFormat ChineseTraditionalLanguage ShipCrew "船員") | domainEnglishFormat.kif 52660-52660 | |
| (termFormat EnglishLanguage ShipCrew "ship crew") | domainEnglishFormat.kif 52659-52659 |
|
|
|