Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
LiquefiedGasTankerShip(liquefied gas tanker ship)
|
| appearance as argument number 1 |
|
| (subclass LiquefiedGasTankerShip CargoShip) | Transportation.kif 2568-2568 | Liquefied gas tanker ship is a subclass of cargo ship |
| (externalImage LiquefiedGasTankerShip "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 75/ Supertanker_AbQaiq.jpg") | pictureList.kif 1833-1833 | Liquefied gas tanker ship is a subclass of cargo ship |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?SHIP LiquefiedGasTankerShip) (cargoType ?SHIP ChemicalProduct)) |
Transportation.kif 2571-2573 | If X is an instance of liquefied gas tanker ship, then chemical product is a cargo type of X |
| (=> (instance ?SHIP LiquefiedGasTankerShip) (cargoType ?SHIP (ExtensionFn Liquid))) |
Transportation.kif 2575-2577 | If X is an instance of liquefied gas tanker ship, then the class corresponding to liquid is a cargo type of X |
|