![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
LivestockCarrierShip
|
|
|
| appearance as argument number 1 |
|
|
| (subclass LivestockCarrierShip CargoShip) | Transportation.kif 2512-2512 | Livestock carrier ship is a subclass of cargo ship |
| (externalImage LivestockCarrierShip "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2c/ Flock_of_sheep.jpg") | pictureList.kif 2484-2484 | Livestock carrier ship is a subclass of cargo ship |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?SHIP LivestockCarrierShip) (cargoType ?SHIP Livestock)) |
Transportation.kif 2513-2515 | If X is an instance of livestock carrier ship, then livestock is a cargo type of X |