Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ShipCrew(ship crew) |  | air_crew, aircrew, bomber_aircrew, bomber_crew, company, crew, merchant_marine, ship's_company |
| appearance as argument number 1 |
|
|
| (subclass ShipCrew Organization) | Transportation.kif 4948-4948 | Ship crew is a subclass of organization |
| (documentation ShipCrew EnglishLanguage "A ShipCrew is an Organization of people who operate a Ship, Plane, Train, or other transportation vehicle.") | Transportation.kif 4949-4950 | Ship crew is a subclass of organization |
| appearance as argument number 2 |
|
|
|