Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ContainerShip(container ship)
|  | container_ship, container_vessel, containership |
| appearance as argument number 1 |
|
|
| (subclass ContainerShip CargoShip) | Transportation.kif 2517-2517 | Container ship is a subclass of cargo ship |
| (externalImage ContainerShip "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ CMA_CGM_Balzac.jpg") | pictureList.kif 857-857 | Container ship is a subclass of cargo ship |
| (externalImage ContainerShip "http://upload.wikimedia.org/wikipedia/en/8/ 83/ Resim_057.jpg") | pictureList.kif 1717-1717 | 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 EnglishLanguage ContainerShip "container ship") | domainEnglishFormat.kif 16926-16926 | Container port is internally related to container ship |
| (termFormat ChineseTraditionalLanguage ContainerShip "集裝箱船") | domainEnglishFormat.kif 16927-16927 | Container port is internally related to container ship |
| (termFormat ChineseLanguage ContainerShip "集装箱船") | domainEnglishFormat.kif 16928-16928 | Container port is internally related to container ship |
| antecedent |
|
|
| (=> (instance ?SHIP ContainerShip) (cargoType ?SHIP ShipContainer)) |
Transportation.kif 2518-2520 | If X is an instance of container ship, then ship container is a cargo type of X |
|