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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MerchantMarine
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 958-961
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Salica_Frigo_cropped.jpg") pictureList.kif 7317-7317
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ FS_Le_Four_1.jpg") pictureList.kif 7318-7318
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Merchant_marine_by_country.PNG") pictureList.kif 7327-7327
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 7/ 75/ Supertanker_AbQaiq.jpg") pictureList.kif 7319-7319
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ a/ a4/ YarmouthNS_FishingBoats.jpg") pictureList.kif 7320-7320
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ CMA_CGM_Balzac.jpg") pictureList.kif 7321-7321
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Usmm-seal.png") pictureList.kif 7328-7328
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ b/ b6/ CrushedStoneBarge.jpg") pictureList.kif 7322-7322
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ d/ dc/ CelebrityCruises_Century.jpg") pictureList.kif 7323-7323
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Sabrina_I.jpg") pictureList.kif 7324-7324
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/en/ 0/ 0f/ ChiCheemaun.jpeg") pictureList.kif 6699-6699
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/en/ 8/ 83/ Resim_057.jpg") pictureList.kif 7325-7325
(subclass MerchantMarine Collection) Transportation.kif 957-957 商船群体subclass

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


(range MerchantMarineFn MerchantMarine) Transportation.kif 966-966 商船range商船 的实例
(termFormat ChineseLanguage MerchantMarine "商船") domainEnglishFormat.kif 37157-37157
(termFormat ChineseTraditionalLanguage MerchantMarine "商船") domainEnglishFormat.kif 37156-37156
(termFormat EnglishLanguage MerchantMarine "merchant marine") domainEnglishFormat.kif 37155-37155

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


(domain fOCShipsByOrigin 1 MerchantMarine) Transportation.kif 1054-1054 fOC按原产地出货 的 1 数量 是 商船instance
(domain marineInventory 1 MerchantMarine) Transportation.kif 1048-1048 海运库存 的 1 数量 是 商船instance

antecedent
-------------------------


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MerchantMarineFn ?AREA) MerchantMarine))
    (possesses ?AREA
        (MerchantMarineFn ?AREA)))
Transportation.kif 978-982


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