Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CombinationBulkOilCarrierShip(combination bulk oil carrier ship) |
| appearance as argument number 1 |
|
| (subclass CombinationBulkOilCarrierShip CombinationBulkCarrierShip) | Transportation.kif 2586-2586 | Combination bulk oil carrier ship is a subclass of combination bulk carrier ship |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CombinationBulkOilCarrierShip "combination bulk oil carrier ship") | Transportation.kif 2583-2583 |
| antecedent |
|
|
| (=> (instance ?SHIP CombinationBulkOilCarrierShip) (cargoType ?SHIP Object)) |
Transportation.kif 2588-2590 | If X is an instance of combination bulk oil carrier ship, then object is a cargo type of X |
| (=> (instance ?SHIP CombinationBulkOilCarrierShip) (cargoType ?SHIP Petroleum)) |
Transportation.kif 2592-2594 | If X is an instance of combination bulk oil carrier ship, then petroleum is a cargo type of X |
|