PetroleumTankerShip
|
|
appearance as argument number 1 |
(externalImage PetroleumTankerShip "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 75/ Supertanker_AbQaiq.jpg") | pictureList.kif 1901-1901 | |
(externalImage PetroleumTankerShip "http://upload.wikimedia.org/wikipedia/ en/ d/ da/ Knock_Nevis.jpg") | pictureList.kif 2288-2288 | |
(subclass PetroleumTankerShip CargoShip) | Transportation.kif 2369-2369 | PetroleumTankerShip e' uma sub-classe de CargoShip |
appearance as argument number 2 |
(names "oil tanker" PetroleumTankerShip) | Transportation.kif 2371-2371 | PetroleumTankerShip se chama nome "oil tanker" |
(names "petroleum tanker" PetroleumTankerShip) | Transportation.kif 2370-2370 | PetroleumTankerShip se chama nome "petroleum tanker" |
(termFormat ChineseLanguage PetroleumTankerShip "石油油轮船") | domainEnglishFormat.kif 45518-45518 | |
(termFormat ChineseTraditionalLanguage PetroleumTankerShip "石油油輪船") | domainEnglishFormat.kif 45517-45517 | |
(termFormat EnglishLanguage PetroleumTankerShip "petroleum tanker ship") | domainEnglishFormat.kif 45516-45516 |
antecedent |
(=> (instance ?SHIP PetroleumTankerShip) (cargoType ?SHIP PetroleumProduct)) |
Transportation.kif 2373-2375 |