![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
SpecializedTankerShip
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SpecializedTankerShip CargoShip) | Transportation.kif 2615-2615 | Specialized tanker ship is a subclass of cargo ship |
| (externalImage SpecializedTankerShip "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 75/ Supertanker_AbQaiq.jpg") | pictureList.kif 1997-1997 | Specialized tanker ship is a subclass of cargo ship |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?SHIP SpecializedTankerShip) (cargoType ?SHIP (ExtensionFn Fluid))) |
Transportation.kif 2616-2618 | If X is an instance of specialized tanker ship, then the class corresponding to fluid is a cargo type of X |