Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
PetroleumTankerShip(petroleum tanker ship)
|  | oil_tanker, oiler, tank_ship, tanker |
| appearance as argument number 1 |
|
|
| (subclass PetroleumTankerShip CargoShip) | Transportation.kif 2549-2549 | Petroleum tanker ship is a subclass of cargo ship |
| (externalImage PetroleumTankerShip "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 75/ Supertanker_AbQaiq.jpg") | pictureList.kif 1900-1900 | Petroleum tanker ship is a subclass of cargo ship |
| (externalImage PetroleumTankerShip "http://upload.wikimedia.org/wikipedia/ en/ d/ da/ Knock_Nevis.jpg") | pictureList.kif 2287-2287 | Petroleum tanker ship is a subclass of cargo ship |
| appearance as argument number 2 |
|
|
| (names "petroleum tanker" PetroleumTankerShip) | Transportation.kif 2550-2550 | Petroleum tanker ship has name "petroleum tanker" |
| (names "oil tanker" PetroleumTankerShip) | Transportation.kif 2551-2551 | Petroleum tanker ship has name "oil tanker" |
| (termFormat EnglishLanguage PetroleumTankerShip "petroleum tanker ship") | domainEnglishFormat.kif 45509-45509 | Petroleum tanker ship has name "oil tanker" |
| (termFormat ChineseTraditionalLanguage PetroleumTankerShip "石油油輪船") | domainEnglishFormat.kif 45510-45510 | Petroleum tanker ship has name "oil tanker" |
| (termFormat ChineseLanguage PetroleumTankerShip "石油油轮船") | domainEnglishFormat.kif 45511-45511 | Petroleum tanker ship has name "oil tanker" |
| antecedent |
|
|
| (=> (instance ?SHIP PetroleumTankerShip) (cargoType ?SHIP PetroleumProduct)) |
Transportation.kif 2553-2555 | If X is an instance of petroleum tanker ship, then petroleum product is a cargo type of X |
|