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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " 1/ 1b/ Salica_Frigo_cropped.jpg") pictureList.kif 7319-7319 externalImage MerchantMarine and " Salica_Frigo_cropped.jpg"
(externalImage MerchantMarine " 7/ 72/ FS_Le_Four_1.jpg") pictureList.kif 7320-7320 externalImage MerchantMarine and " FS_Le_Four_1.jpg"
(externalImage MerchantMarine " 7/ 72/ Merchant_marine_by_country.PNG") pictureList.kif 7329-7329 externalImage MerchantMarine and " Merchant_marine_by_country.PNG"
(externalImage MerchantMarine " 7/ 75/ Supertanker_AbQaiq.jpg") pictureList.kif 7321-7321 externalImage MerchantMarine and " Supertanker_AbQaiq.jpg"
(externalImage MerchantMarine " a/ a4/ YarmouthNS_FishingBoats.jpg") pictureList.kif 7322-7322 externalImage MerchantMarine and " YarmouthNS_FishingBoats.jpg"
(externalImage MerchantMarine " a/ ad/ CMA_CGM_Balzac.jpg") pictureList.kif 7323-7323 externalImage MerchantMarine and " CMA_CGM_Balzac.jpg"
(externalImage MerchantMarine " a/ ae/ Usmm-seal.png") pictureList.kif 7330-7330 externalImage MerchantMarine and " Usmm-seal.png"
(externalImage MerchantMarine " b/ b6/ CrushedStoneBarge.jpg") pictureList.kif 7324-7324 externalImage MerchantMarine and " CrushedStoneBarge.jpg"
(externalImage MerchantMarine " d/ dc/ CelebrityCruises_Century.jpg") pictureList.kif 7325-7325 externalImage MerchantMarine and " CelebrityCruises_Century.jpg"
(externalImage MerchantMarine " e/ e8/ Sabrina_I.jpg") pictureList.kif 7326-7326 externalImage MerchantMarine and " Sabrina_I.jpg"
(externalImage MerchantMarine " 0/ 0f/ ChiCheemaun.jpeg") pictureList.kif 6700-6700 externalImage MerchantMarine and ""
(externalImage MerchantMarine " 8/ 83/ Resim_057.jpg") pictureList.kif 7327-7327 externalImage MerchantMarine and ""
(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


        (instance ?AREA GeopoliticalArea)
            (MerchantMarineFn ?AREA) MerchantMarine))
    (possesses ?AREA
        (MerchantMarineFn ?AREA)))
Transportation.kif 967-971

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