MerchantMarine - Sigma Knowledge base Browser

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 37183-37183	The range of merchant marine is an instance of merchant marine
(termFormat ChineseTraditionalLanguage MerchantMarine "商船")	domainEnglishFormat.kif 37182-37182	The range of merchant marine is an instance of merchant marine
(termFormat EnglishLanguage MerchantMarine "merchant marine")	domainEnglishFormat.kif 37181-37181	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

If a geopolitical area is an instance of geopolitical area and the merchant marine of the geopolitical area is an instance of merchant marine,
then the geopolitical area possesses the merchant marine of the geopolitical area

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: