Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MerchantMarine
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 932-935
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Salica_Frigo_cropped.jpg") pictureList.kif 7319-7319 "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Salica_Frigo_cropped.jpg" is a URL depicting merchant marine
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ FS_Le_Four_1.jpg") pictureList.kif 7320-7320 "http://upload.wikimedia.org/wikipedia/commons/7/72/ FS_Le_Four_1.jpg" is a URL depicting merchant marine
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Merchant_marine_by_country.PNG") pictureList.kif 7329-7329 "http://upload.wikimedia.org/wikipedia/commons/7/72/ Merchant_marine_by_country.PNG" is a URL depicting merchant marine
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 7/ 75/ Supertanker_AbQaiq.jpg") pictureList.kif 7321-7321 "http://upload.wikimedia.org/wikipedia/commons/7/75/ Supertanker_AbQaiq.jpg" is a URL depicting merchant marine
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ a/ a4/ YarmouthNS_FishingBoats.jpg") pictureList.kif 7322-7322 "http://upload.wikimedia.org/wikipedia/commons/a/a4/ YarmouthNS_FishingBoats.jpg" is a URL depicting merchant marine
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ CMA_CGM_Balzac.jpg") pictureList.kif 7323-7323 "http://upload.wikimedia.org/wikipedia/commons/a/ad/ CMA_CGM_Balzac.jpg" is a URL depicting merchant marine
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Usmm-seal.png") pictureList.kif 7330-7330 "http://upload.wikimedia.org/wikipedia/commons/a/ae/ Usmm-seal.png" is a URL depicting merchant marine
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ b/ b6/ CrushedStoneBarge.jpg") pictureList.kif 7324-7324 "http://upload.wikimedia.org/wikipedia/commons/b/b6/ CrushedStoneBarge.jpg" is a URL depicting merchant marine
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ d/ dc/ CelebrityCruises_Century.jpg") pictureList.kif 7325-7325 "http://upload.wikimedia.org/wikipedia/commons/d/dc/ CelebrityCruises_Century.jpg" is a URL depicting merchant marine
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Sabrina_I.jpg") pictureList.kif 7326-7326 "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Sabrina_I.jpg" is a URL depicting merchant marine
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/en/ 0/ 0f/ ChiCheemaun.jpeg") pictureList.kif 6700-6700 "http://upload.wikimedia.org/wikipedia/en/0/0f/ChiCheemaun.jpeg" is a URL depicting merchant marine
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/en/ 8/ 83/ Resim_057.jpg") pictureList.kif 7327-7327 "http://upload.wikimedia.org/wikipedia/en/8/83/Resim_057.jpg" is a URL depicting merchant marine
(subclass MerchantMarine Collection) Transportation.kif 931-931 Merchant marine is a subclass of collection

appearance as argument number 2
-------------------------


(range MerchantMarineFn MerchantMarine) Transportation.kif 940-940 The range of merchant marine is an instance of merchant marine
(termFormat EnglishLanguage MerchantMarine "merchant marine") domainEnglishFormat.kif 6613-6613 "merchant marine" is the printable form of merchant marine in english language

appearance as argument number 3
-------------------------


(domain fOCShipsByOrigin 1 MerchantMarine) Transportation.kif 1028-1028 The number 1 argument of fOC ships by origin is an instance of merchant marine
(domain marineInventory 1 MerchantMarine) Transportation.kif 1022-1022 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 952-956


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners