Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   RefrigeratedCargoShip
|
|
|
| appearance as argument number 1 |
|
|
| (subclass RefrigeratedCargoShip CargoShip) | Transportation.kif 2522-2522 | Refrigerated cargo ship is a subclass of cargo ship |
| (externalImage RefrigeratedCargoShip "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1b/ Salica_Frigo_cropped.jpg") | pictureList.kif 1949-1949 | Refrigerated cargo ship is a subclass of cargo ship |
| appearance as argument number 2 |
|
|
| (names "refrigerated carrier" RefrigeratedCargoShip) | Transportation.kif 2523-2523 | Refrigerated cargo ship has name "refrigerated carrier" |
| (termFormat EnglishLanguage RefrigeratedCargoShip "refrigerated cargo ship") | domainEnglishFormat.kif 49149-49149 | Refrigerated cargo ship has name "refrigerated carrier" |
| (termFormat ChineseTraditionalLanguage RefrigeratedCargoShip "冷藏貨船") | domainEnglishFormat.kif 49150-49150 | Refrigerated cargo ship has name "refrigerated carrier" |
| (termFormat ChineseLanguage RefrigeratedCargoShip "冷藏货船") | domainEnglishFormat.kif 49151-49151 | Refrigerated cargo ship has name "refrigerated carrier" |
|
