Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CombinationBulkCarrierShip
|
|
|
| appearance as argument number 1 |
|
|
| (subclass CombinationBulkCarrierShip CargoShip) | Transportation.kif 2582-2582 | Combination bulk carrier ship is a subclass of cargo ship |
| (externalImage CombinationBulkCarrierShip "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 64/ Captain_Diamantis_Bulk_Carrier.jpg") | pictureList.kif 1703-1703 | Combination bulk carrier ship is a subclass of cargo ship |
| appearance as argument number 2 |
|
|
|
