GeneralCargoShip(general cargo ship)![]() |
appearance as argument number 1 |
![]() |
(externalImage GeneralCargoShip "http://upload.wikimedia.org/wikipedia/en/ c/ c5/ Cargoship06b.jpg") | pictureList.kif 1778-1778 | |
(subclass GeneralCargoShip CargoShip) | Transportation.kif 2490-2490 | General cargo ship is a subclass of cargo ship |
appearance as argument number 2 |
![]() |
(subclass DeckCargoShip GeneralCargoShip) | Transportation.kif 2498-2498 | Deck cargo ship is a subclass of general cargo ship |
(subclass PalletizedCargoShip GeneralCargoShip) | Transportation.kif 2497-2497 | Palletized cargo ship is a subclass of general cargo ship |
(termFormat ChineseLanguage GeneralCargoShip "普通货船") | domainEnglishFormat.kif 25667-25667 | Palletized cargo ship is a subclass of general cargo ship |
(termFormat ChineseTraditionalLanguage GeneralCargoShip "普通貨船") | domainEnglishFormat.kif 25666-25666 | Palletized cargo ship is a subclass of general cargo ship |
(termFormat EnglishLanguage GeneralCargoShip "general cargo ship") | domainEnglishFormat.kif 25665-25665 | Palletized cargo ship is a subclass of general cargo ship |
antecedent |
![]() |
(=> (instance ?SHIP GeneralCargoShip) (cargoType ?SHIP Product)) |
Transportation.kif 2493-2495 |
|
![]() |
![]() |