Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CombinationOreOilCarrierShip(combination ore- oil carrier ship) |
| appearance as argument number 1 |
|
| (subclass CombinationOreOilCarrierShip CombinationBulkCarrierShip) | Transportation.kif 2596-2596 | Combination ore- oil carrier ship is a subclass of combination bulk carrier ship |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CombinationOreOilCarrierShip "combination ore- oil carrier ship") | domainEnglishFormat.kif 15738-15738 | |
| (termFormat ChineseTraditionalLanguage CombinationOreOilCarrierShip "組合礦石油運輸船") | domainEnglishFormat.kif 15739-15739 | |
| (termFormat ChineseLanguage CombinationOreOilCarrierShip "组合矿石油运输船") | domainEnglishFormat.kif 15740-15740 |
| antecedent |
|
|
| (=> (instance ?SHIP CombinationOreOilCarrierShip) (cargoType ?SHIP Mineral)) |
Transportation.kif 2598-2600 | If X is an instance of combination ore- oil carrier ship, then mineral is a cargo type of X |
| (=> (instance ?SHIP CombinationOreOilCarrierShip) (cargoType ?SHIP Petroleum)) |
Transportation.kif 2602-2604 | If X is an instance of combination ore- oil carrier ship, then petroleum is a cargo type of X |
|