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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - MarineDumpingConvention

appearance as argument number 1

(instance MarineDumpingConvention Agreement) Geography.kif 3181-3181

appearance as argument number 2

(conventionalLongName "Convention on the Prevention of Marine Pollution by Dumping Wastes and Other Matter" MarineDumpingConvention) Geography.kif 3183-3184
(conventionalShortName "London Convention" MarineDumpingConvention) Geography.kif 3187-3187
(conventionalShortName "Marine Dumping" MarineDumpingConvention) Geography.kif 3186-3186
(termFormat ChineseLanguage MarineDumpingConvention "海洋倾倒公约") domainEnglishFormat.kif 36144-36144
(termFormat ChineseTraditionalLanguage MarineDumpingConvention "海洋傾倒公約") domainEnglishFormat.kif 36143-36143
(termFormat EnglishLanguage MarineDumpingConvention "marine dumping convention") domainEnglishFormat.kif 36142-36142

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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