MerchantMarine(merchant marine) more pictures... | cargo_ships, merchant_marine, merchant_vessels, shipping |
appearance as argument number 1 |
(documentation MerchantMarine EnglishLanguage "MerchantMarine is a class of Collections of Ships, each collection belonging to a particular Nation or GeopoliticalArea, in whose ShipRegister the member ships are enrolled. For example, the merchant marine of France.") | Transportation.kif 958-961 | |
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Salica_Frigo_cropped.jpg") | pictureList.kif 7316-7316 | |
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ FS_Le_Four_1.jpg") | pictureList.kif 7317-7317 | |
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Merchant_marine_by_country.PNG") | pictureList.kif 7326-7326 | |
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 7/ 75/ Supertanker_AbQaiq.jpg") | pictureList.kif 7318-7318 | |
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ a/ a4/ YarmouthNS_FishingBoats.jpg") | pictureList.kif 7319-7319 | |
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ CMA_CGM_Balzac.jpg") | pictureList.kif 7320-7320 | |
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Usmm-seal.png") | pictureList.kif 7327-7327 | |
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ b/ b6/ CrushedStoneBarge.jpg") | pictureList.kif 7321-7321 | |
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ d/ dc/ CelebrityCruises_Century.jpg") | pictureList.kif 7322-7322 | |
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Sabrina_I.jpg") | pictureList.kif 7323-7323 | |
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/en/ 0/ 0f/ ChiCheemaun.jpeg") | pictureList.kif 6698-6698 | |
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/en/ 8/ 83/ Resim_057.jpg") | pictureList.kif 7324-7324 | |
(subclass MerchantMarine Collection) | Transportation.kif 957-957 | Merchant marine is a subclass of collection |
appearance as argument number 2 |
(range MerchantMarineFn MerchantMarine) | Transportation.kif 966-966 | The range of merchant marine is an instance of merchant marine |
(termFormat ChineseLanguage MerchantMarine "商船") | domainEnglishFormat.kif 37186-37186 | The range of merchant marine is an instance of merchant marine |
(termFormat ChineseTraditionalLanguage MerchantMarine "商船") | domainEnglishFormat.kif 37185-37185 | The range of merchant marine is an instance of merchant marine |
(termFormat EnglishLanguage MerchantMarine "merchant marine") | domainEnglishFormat.kif 37184-37184 | The range of merchant marine is an instance of merchant marine |
appearance as argument number 3 |
(domain fOCShipsByOrigin 1 MerchantMarine) | Transportation.kif 1054-1054 | The number 1 argument of fOC ships by origin is an instance of merchant marine |
(domain marineInventory 1 MerchantMarine) | Transportation.kif 1048-1048 | The number 1 argument of marine inventory is an instance of merchant marine |
antecedent |
(=> (and (instance ?AREA GeopoliticalArea) (instance (MerchantMarineFn ?AREA) MerchantMarine)) (possesses ?AREA (MerchantMarineFn ?AREA))) |
Transportation.kif 978-982 |
|