|
|
   UserPasswordLogin
|
|
|
| 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 2338-2338 | 集装箱船 是 货船 的 subclass |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept ContainerPort ContainerShip) | Transportation.kif 885-885 | 集装箱港口 和 集装箱船 是 内部相关 |
| (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 2339-2341 |
|
|
|
