more pictures...
| MerchantMarine
more pictures... | |
| 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 947-950 | |
| (externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Salica_Frigo_cropped.jpg") | pictureList.kif 7319-7319 | externalImage MerchantMarine and "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Salica_Frigo_cropped.jpg" |
| (externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ FS_Le_Four_1.jpg") | pictureList.kif 7320-7320 | externalImage MerchantMarine and "http://upload.wikimedia.org/wikipedia/commons/7/72/ FS_Le_Four_1.jpg" |
| (externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Merchant_marine_by_country.PNG") | pictureList.kif 7329-7329 | externalImage MerchantMarine and "http://upload.wikimedia.org/wikipedia/commons/7/72/ Merchant_marine_by_country.PNG" |
| (externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 7/ 75/ Supertanker_AbQaiq.jpg") | pictureList.kif 7321-7321 | externalImage MerchantMarine and "http://upload.wikimedia.org/wikipedia/commons/7/75/ Supertanker_AbQaiq.jpg" |
| (externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ a/ a4/ YarmouthNS_FishingBoats.jpg") | pictureList.kif 7322-7322 | externalImage MerchantMarine and "http://upload.wikimedia.org/wikipedia/commons/a/a4/ YarmouthNS_FishingBoats.jpg" |
| (externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ CMA_CGM_Balzac.jpg") | pictureList.kif 7323-7323 | externalImage MerchantMarine and "http://upload.wikimedia.org/wikipedia/commons/a/ad/ CMA_CGM_Balzac.jpg" |
| (externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Usmm-seal.png") | pictureList.kif 7330-7330 | externalImage MerchantMarine and "http://upload.wikimedia.org/wikipedia/commons/a/ae/ Usmm-seal.png" |
| (externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ b/ b6/ CrushedStoneBarge.jpg") | pictureList.kif 7324-7324 | externalImage MerchantMarine and "http://upload.wikimedia.org/wikipedia/commons/b/b6/ CrushedStoneBarge.jpg" |
| (externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ d/ dc/ CelebrityCruises_Century.jpg") | pictureList.kif 7325-7325 | externalImage MerchantMarine and "http://upload.wikimedia.org/wikipedia/commons/d/dc/ CelebrityCruises_Century.jpg" |
| (externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Sabrina_I.jpg") | pictureList.kif 7326-7326 | externalImage MerchantMarine and "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Sabrina_I.jpg" |
| (externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/en/ 0/ 0f/ ChiCheemaun.jpeg") | pictureList.kif 6700-6700 | externalImage MerchantMarine and "http://upload.wikimedia.org/wikipedia/en/0/0f/ChiCheemaun.jpeg" |
| (externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/en/ 8/ 83/ Resim_057.jpg") | pictureList.kif 7327-7327 | externalImage MerchantMarine and "http://upload.wikimedia.org/wikipedia/en/8/83/Resim_057.jpg" |
| (subclass MerchantMarine Collection) | Transportation.kif 946-946 | subclass MerchantMarine and Collection |
| appearance as argument number 2 |
|
|
| (range MerchantMarineFn MerchantMarine) | Transportation.kif 955-955 | range MerchantMarineFn and MerchantMarine |
| (termFormat ChineseLanguage MerchantMarine "商船") | domainEnglishFormat.kif 37081-37081 | termFormat ChineseLanguage, MerchantMarine and "商船" |
| (termFormat ChineseTraditionalLanguage MerchantMarine "商船") | domainEnglishFormat.kif 37080-37080 | termFormat ChineseTraditionalLanguage, MerchantMarine and "商船" |
| (termFormat EnglishLanguage MerchantMarine "merchant marine") | domainEnglishFormat.kif 37079-37079 | termFormat EnglishLanguage, MerchantMarine and "merchant marine" |
| appearance as argument number 3 |
|
|
| (domain fOCShipsByOrigin 1 MerchantMarine) | Transportation.kif 1043-1043 | domain fOCShipsByOrigin, 1 and MerchantMarine |
| (domain marineInventory 1 MerchantMarine) | Transportation.kif 1037-1037 | domain marineInventory, 1 and MerchantMarine |
| antecedent |
|
|
| (=> (and (instance ?AREA GeopoliticalArea) (instance (MerchantMarineFn ?AREA) MerchantMarine)) (possesses ?AREA (MerchantMarineFn ?AREA))) |
Transportation.kif 967-971 |
|
|
|