CargoShip
|
|
appearance as argument number 1 |
(documentation CargoShip EnglishLanguage "CargoShip is the subclass of Ships that transport goods in exchange for payment. CargoShip includes ships that carry all kinds of cargo, including oil and bulk products as well as packaged, palletized, or containerized goods.") | Mid-level-ontology.kif 30063-30066 | |
(externalImage CargoShip "http://articulatesoftware.com/SUMOpictures/transportation/ boats_1/ Cargo_Ship_08.png") | pictureList.kif 323-323 | |
(externalImage CargoShip "http://upload.wikimedia.org/wikipedia/en/c/c5/ Cargoship06b.jpg") | pictureList.kif 1690-1690 | |
(subclass CargoShip Ship) | Mid-level-ontology.kif 30062-30062 | 子類 貨船 and 船 |
appearance as argument number 2 |
(names "freighter" CargoShip) | Transportation.kif 2316-2316 | 名 "freighter" and 貨船 |
(subclass BargeCarrierShip CargoShip) | Transportation.kif 2325-2325 | 子類 駁船運輸船 and 貨船 |
(subclass ChemicalTankerShip CargoShip) | Transportation.kif 2371-2371 | 子類 化學品船 and 貨船 |
(subclass CombinationBulkCarrierShip CargoShip) | Transportation.kif 2395-2395 | 子類 組合散裝批貨船 and 貨船 |
(subclass ContainerShip CargoShip) | Transportation.kif 2332-2332 | 子類 集裝箱船 and 貨船 |
(subclass DryBulkCarrierShip CargoShip) | Transportation.kif 2418-2418 | 子類 乾散貨船 and 貨船 |
(subclass GeneralCargoShip CargoShip) | Transportation.kif 2315-2315 | 子類 普通貨船 and 貨船 |
(subclass LiquefiedGasTankerShip CargoShip) | Transportation.kif 2382-2382 | 子類 液化氣罐船 and 貨船 |
(subclass LivestockCarrierShip CargoShip) | Transportation.kif 2327-2327 | 子類 牲畜運輸船 and 貨船 |
(subclass MultifunctionalLargeLoadCarrierShip CargoShip) | Transportation.kif 2359-2359 | 子類 多功能大型承載船 and 貨船 |
(subclass OceanLiner CargoShip) | Transportation.kif 2483-2483 | 子類 遠洋班輪 and 貨船 |
(subclass PassengerAndCargoShip CargoShip) | Transportation.kif 2433-2433 | 子類 客貨船 and 貨船 |
(subclass PetroleumTankerShip CargoShip) | Transportation.kif 2363-2363 | 子類 石油油輪船 and 貨船 |
(subclass RefrigeratedCargoShip CargoShip) | Transportation.kif 2337-2337 | 子類 冷藏貨船 and 貨船 |
(subclass RollOnRollOffCargoShip CargoShip) | Transportation.kif 2340-2340 | 子類 滾上滾下貨船 and 貨船 |
(subclass SpecializedTankerShip CargoShip) | Transportation.kif 2427-2427 | 子類 專業油輪 and 貨船 |
(termFormat ChineseLanguage CargoShip "货船") | domainEnglishFormat.kif 13236-13236 | |
(termFormat ChineseTraditionalLanguage CargoShip "貨船") | domainEnglishFormat.kif 13235-13235 | |
(termFormat EnglishLanguage CargoShip "cargo ship") | domainEnglishFormat.kif 13234-13234 |
antecedent |
(=> (instance ?F CargoShip) (exists (?T ?OBJ) (and (instance ?T Transportation) (instance ?OBJ Object) (hasPurpose ?F (and (agent ?T ?F) (patient ?T ?OBJ)))))) |
Mid-level-ontology.kif 30068-30077 |
consequent |