| 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 4093-4094 | |
| (subclass ShipCrew Organization) | Transportation.kif 4092-4092 | Ship crew is a subclass of organization |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ShipCrew "船员") | domainEnglishFormat.kif 52699-52699 | |
| (termFormat ChineseTraditionalLanguage ShipCrew "船員") | domainEnglishFormat.kif 52698-52698 | |
| (termFormat EnglishLanguage ShipCrew "ship crew") | domainEnglishFormat.kif 52697-52697 |
|
|
|