|
|
   ContainerShip
|
|
|
| appearance as argument number 1 |
|
|
| (externalImage ContainerShip "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ CMA_CGM_Balzac.jpg") | pictureList.kif 857-857 | |
| (externalImage ContainerShip "http://upload.wikimedia.org/wikipedia/en/8/ 83/ Resim_057.jpg") | pictureList.kif 1718-1718 | |
| (subclass ContainerShip CargoShip) | Transportation.kif 2332-2332 | Container ship is a subclass of cargo ship |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept ContainerPort ContainerShip) | Transportation.kif 885-885 | Container port is internally related to container ship |
| (termFormat ChineseLanguage ContainerShip "集装箱船") | domainEnglishFormat.kif 16926-16926 | |
| (termFormat ChineseTraditionalLanguage ContainerShip "集裝箱船") | domainEnglishFormat.kif 16925-16925 | |
| (termFormat EnglishLanguage ContainerShip "container ship") | domainEnglishFormat.kif 16924-16924 |
| antecedent |
|
|
| (=> (instance ?SHIP ContainerShip) (cargoType ?SHIP ShipContainer)) |
Transportation.kif 2333-2335 |
|
|
|
|
