Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ChemicalTankerShip
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ChemicalTankerShip CargoShip) | Transportation.kif 2557-2557 | Chemical tanker ship is a subclass of cargo ship |
| (documentation ChemicalTankerShip EnglishLanguage "ChemicalTankerShip is the subclass of ships that carry ChemicalProducts.") | Transportation.kif 2564-2565 | Chemical tanker ship is a subclass of cargo ship |
| (externalImage ChemicalTankerShip "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 75/ Supertanker_AbQaiq.jpg") | pictureList.kif 1695-1695 | Chemical tanker ship is a subclass of cargo ship |
| appearance as argument number 2 |
|
|
| (names "chemical carrier" ChemicalTankerShip) | Transportation.kif 2558-2558 | Chemical tanker ship has name "chemical carrier" |
| (subclass Chemical_OilTankerShip ChemicalTankerShip) | Transportation.kif 2566-2566 | Chemical- oil tanker ship is a subclass of chemical tanker ship |
| (termFormat EnglishLanguage ChemicalTankerShip "chemical tanker ship") | domainEnglishFormat.kif 14340-14340 | Chemical- oil tanker ship is a subclass of chemical tanker ship |
| (termFormat ChineseTraditionalLanguage ChemicalTankerShip "化學品船") | domainEnglishFormat.kif 14341-14341 | Chemical- oil tanker ship is a subclass of chemical tanker ship |
| (termFormat ChineseLanguage ChemicalTankerShip "化学品船") | domainEnglishFormat.kif 14342-14342 | Chemical- oil tanker ship is a subclass of chemical tanker ship |
| antecedent |
|
|
| (=> (instance ?SHIP ChemicalTankerShip) (cargoType ?SHIP ChemicalProduct)) |
Transportation.kif 2560-2562 | If X is an instance of chemical tanker ship, then chemical product is a cargo type of X |
|
