|
|
   ChemicalTankerShip
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ChemicalTankerShip EnglishLanguage "ChemicalTankerShip is the subclass of ships that carry ChemicalProducts.") | Transportation.kif 2384-2385 | |
| (externalImage ChemicalTankerShip "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 75/ Supertanker_AbQaiq.jpg") | pictureList.kif 1696-1696 | |
| (subclass ChemicalTankerShip CargoShip) | Transportation.kif 2377-2377 | ChemicalTankerShip ist eine teilkategorie von CargoShip |
| appearance as argument number 2 |
|
|
| (names "chemical carrier" ChemicalTankerShip) | Transportation.kif 2378-2378 | names "chemical carrier" and ChemicalTankerShip |
| (subclass Chemical-OilTankerShip ChemicalTankerShip) | Transportation.kif 2386-2386 | Chemical-OilTankerShip ist eine teilkategorie von ChemicalTankerShip |
| (termFormat ChineseLanguage ChemicalTankerShip "化学品船") | domainEnglishFormat.kif 14340-14340 | |
| (termFormat ChineseTraditionalLanguage ChemicalTankerShip "化學品船") | domainEnglishFormat.kif 14339-14339 | |
| (termFormat EnglishLanguage ChemicalTankerShip "chemical tanker ship") | domainEnglishFormat.kif 14338-14338 |
| antecedent |
|
|
| (=> (instance ?SHIP ChemicalTankerShip) (cargoType ?SHIP ChemicalProduct)) |
Transportation.kif 2380-2382 |
|
|
|
|
