Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Chemical_OilTankerShip(chemical- oil tanker ship) |
| appearance as argument number 1 |
|
| (subclass Chemical_OilTankerShip ChemicalTankerShip) | Transportation.kif 2566-2566 | Chemical- oil tanker ship is a subclass of chemical tanker ship |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Chemical_OilTankerShip "chemical- oil tanker ship") | domainEnglishFormat.kif 14274-14274 | |
| (termFormat ChineseTraditionalLanguage Chemical_OilTankerShip "化學品 - 油輪船") | domainEnglishFormat.kif 14275-14275 | |
| (termFormat ChineseLanguage Chemical_OilTankerShip "化學品 - 油輪船") | domainEnglishFormat.kif 14276-14276 |
|