ChemicalTankerShip(chemical tanker ship)![]() |
appearance as argument number 1 |
![]() |
(documentation ChemicalTankerShip EnglishLanguage "ChemicalTankerShip is the subclass of ships that carry ChemicalProducts.") | Transportation.kif 2553-2554 | |
(externalImage ChemicalTankerShip "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 75/ Supertanker_AbQaiq.jpg") | pictureList.kif 1695-1695 | |
(subclass ChemicalTankerShip CargoShip) | Transportation.kif 2546-2546 | Chemical tanker ship is a subclass of cargo ship |
appearance as argument number 2 |
![]() |
(names "chemical carrier" ChemicalTankerShip) | Transportation.kif 2547-2547 | Chemical tanker ship has name "chemical carrier" |
(subclass Chemical_OilTankerShip ChemicalTankerShip) | Transportation.kif 2555-2555 | Chemical- oil tanker ship is a subclass of chemical tanker ship |
(termFormat ChineseLanguage ChemicalTankerShip "化学品船") | domainEnglishFormat.kif 14355-14355 | Chemical- oil tanker ship is a subclass of chemical tanker ship |
(termFormat ChineseTraditionalLanguage ChemicalTankerShip "化學品船") | domainEnglishFormat.kif 14354-14354 | Chemical- oil tanker ship is a subclass of chemical tanker ship |
(termFormat EnglishLanguage ChemicalTankerShip "chemical tanker ship") | domainEnglishFormat.kif 14353-14353 | Chemical- oil tanker ship is a subclass of chemical tanker ship |
antecedent |
![]() |
(=> (instance ?SHIP ChemicalTankerShip) (cargoType ?SHIP ChemicalProduct)) |
Transportation.kif 2549-2551 |
|
![]() |
![]() |