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 947-950
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Salica_Frigo_cropped.jpg") pictureList.kif 7319-7319
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ FS_Le_Four_1.jpg") pictureList.kif 7320-7320
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Merchant_marine_by_country.PNG") pictureList.kif 7329-7329
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ 7/ 75/ Supertanker_AbQaiq.jpg") pictureList.kif 7321-7321
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ a/ a4/ YarmouthNS_FishingBoats.jpg") pictureList.kif 7322-7322
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ CMA_CGM_Balzac.jpg") pictureList.kif 7323-7323
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Usmm-seal.png") pictureList.kif 7330-7330
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ b/ b6/ CrushedStoneBarge.jpg") pictureList.kif 7324-7324
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ d/ dc/ CelebrityCruises_Century.jpg") pictureList.kif 7325-7325
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Sabrina_I.jpg") pictureList.kif 7326-7326
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/en/ 0/ 0f/ ChiCheemaun.jpeg") pictureList.kif 6700-6700
(externalImage MerchantMarine "http://upload.wikimedia.org/wikipedia/en/ 8/ 83/ Resim_057.jpg") pictureList.kif 7327-7327
(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 37078-37078
(termFormat ChineseTraditionalLanguage MerchantMarine "商船") domainEnglishFormat.kif 37077-37077
(termFormat EnglishLanguage MerchantMarine "merchant marine") domainEnglishFormat.kif 37076-37076

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


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