| appearance as argument number 1 |
|
| (subclass CombinationOre-OilCarrierShip CombinationBulkCarrierShip) | Transportation.kif 2397-2397 | Combination ore- oil carrier ship is a subclass of combination bulk carrier ship |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CombinationOre-OilCarrierShip "组合矿石油运输船") | domainEnglishFormat.kif 15661-15661 | |
| (termFormat ChineseTraditionalLanguage CombinationOre-OilCarrierShip "組合礦石油運輸船") | domainEnglishFormat.kif 15660-15660 | |
| (termFormat EnglishLanguage CombinationOre-OilCarrierShip "combination ore- oil carrier ship") | domainEnglishFormat.kif 15659-15659 |
| antecedent |
|
|
| (=> (instance ?SHIP CombinationOre-OilCarrierShip) (cargoType ?SHIP Mineral)) |
Transportation.kif 2399-2401 |
|
| (=> (instance ?SHIP CombinationOre-OilCarrierShip) (cargoType ?SHIP Petroleum)) |
Transportation.kif 2403-2405 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners