| 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 4403-4404 | |
| (subclass ShipCrew Organization) | Transportation.kif 4402-4402 | Ship crew is a subclass of organization |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ShipCrew "船员") | domainEnglishFormat.kif 52692-52692 | |
| (termFormat ChineseTraditionalLanguage ShipCrew "船員") | domainEnglishFormat.kif 52691-52691 | |
| (termFormat EnglishLanguage ShipCrew "ship crew") | domainEnglishFormat.kif 52690-52690 |
|
|
|