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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MarineDumpingConvention
MarineDumpingConvention(海洋倾倒公约)

appearance as argument number 1
-------------------------


(instance MarineDumpingConvention Agreement) Geography.kif 3259-3259 海洋倾倒公约协议instance

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


(conventionalLongName "Convention on the Prevention of Marine Pollution by Dumping Wastes and Other Matter" MarineDumpingConvention) Geography.kif 3261-3262 海洋倾倒公约 是 "Convention on the Prevention of Marine Pollution by Dumping Wastes and Other Matter" 的 conventional 全名
(conventionalShortName "London Convention" MarineDumpingConvention) Geography.kif 3265-3265 海洋倾倒公约 是 "London Convention" 的 conventional 简称
(conventionalShortName "Marine Dumping" MarineDumpingConvention) Geography.kif 3264-3264 海洋倾倒公约 是 "Marine Dumping" 的 conventional 简称
(termFormat ChineseLanguage MarineDumpingConvention "海洋倾倒公约") domainEnglishFormat.kif 36161-36161
(termFormat ChineseTraditionalLanguage MarineDumpingConvention "海洋傾倒公約") domainEnglishFormat.kif 36160-36160
(termFormat EnglishLanguage MarineDumpingConvention "marine dumping convention") domainEnglishFormat.kif 36159-36159


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